Property: axiom:estUnEspace

Types

owl:ObjectProperty

Super Properties

axiom:estUneTrajectoire

Domain

axiom:Liberte

Inverse Property

axiom:aUnEspace

Characteristics

Inverse Functional

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#estUnEspace super(urn:oid:1.3.6.1.4.1.27630.3.1#estUneTrajectoire)
                                                        inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#aUnEspace)
                                                        InverseFunctional
                                                        domain(urn:oid:1.3.6.1.4.1.27630.3.1#Liberte))
Generated with OWLDoc