Property: axiom:estUneInterpretation

Types

owl:ObjectProperty

Super Properties

axiom:estUneInference

Domain

axiom:Consistence

Inverse Property

axiom:aUneInterpretation

Characteristics

Inverse Functional

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#estUneInterpretation super(urn:oid:1.3.6.1.4.1.27630.3.1#estUneInference)
                                                                 inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#aUneInterpretation)
                                                                 InverseFunctional
                                                                 domain(urn:oid:1.3.6.1.4.1.27630.3.1#Consistence))
Generated with OWLDoc