Property: axiom:estUneInference

Types

owl:ObjectProperty

Super Properties

axiom:estUneLogique

Domain

owl:Thing

Inverse Property

axiom:aUneInference

Characteristics

Inverse Functional

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#estUneInference super(urn:oid:1.3.6.1.4.1.27630.3.1#estUneLogique)
                                                            inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#aUneInference)
                                                            InverseFunctional
                                                            domain(http://www.w3.org/2002/07/owl#Thing))
Generated with OWLDoc