first-order logic axiom

IRI: https://spec.industrialontologies.org/ontology/annotation/firstOrderLogicAxiom

Defined In: https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/

Type: Annotation Property

SubProperty Of: logic axiom

Definition

logic axiom annotation written in first order logic

Usage Notes

First-order logic axioms MAY be provided if the term is primitive (‘is primitive’ is true ) or non-primitive. A construct MAY include more than one first-order logic axiom annotation.

Description Logic

av:firstOrderLogicAxiom ⊑ av:logicAxiom

SubPropertyOf: av:logicAxiom