Property: axiom:estUneLogique

Types

owl:ObjectProperty

Super Properties

axiom:estUnTheoreme

Domain

axiom:Informe

Inverse Property

axiom:aUneLogique

Characteristics

Inverse Functional

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#estUneLogique super(urn:oid:1.3.6.1.4.1.27630.3.1#estUnTheoreme)
                                                          inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#aUneLogique)
                                                          InverseFunctional
                                                          domain(urn:oid:1.3.6.1.4.1.27630.3.1#Informe))
Generated with OWLDoc