semi-formal natural language axiom
IRI: https://spec.industrialontologies.org/ontology/annotation/semiFormalNaturalLanguageAxiom
Defined In: https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/
Type: Annotation Property
SubProperty Of: logic axiom
Definition
logic axiom expressed in natural language
Usage Notes
Semi-formal natural language axioms MAY be provided if the term is primitive (is primitive is true). A construct MAY include more than one semi-formal natural language axiom annotation.
Description Logic
SubPropertyOf: av:logicAxiom