Property: axiom:estUnTout

Types

owl:ObjectProperty

Super Properties

axiom:estUneInference

Domain

axiom:Completude

Inverse Property

axiom:aUneHomogeneite

Characteristics

Inverse Functional

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#estUnTout 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#aUneHomogeneite)
                                                      InverseFunctional
                                                      domain(urn:oid:1.3.6.1.4.1.27630.3.1#Completude))
Generated with OWLDoc