Property: axiom:estUnModele

Types

owl:ObjectProperty

Super Properties

axiom:estUneInference

Domain

axiom:Decidabilite

Inverse Property

axiom:aUnModele

Characteristics

Inverse Functional

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#estUnModele 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#aUnModele)
                                                        InverseFunctional
                                                        domain(urn:oid:1.3.6.1.4.1.27630.3.1#Decidabilite))
Generated with OWLDoc