Property: axiom:aUnAxiome

Types

owl:ObjectProperty
owl:TransitiveProperty
owl:FunctionalProperty

Domain

owl:Thing

Inverse Property

axiom:estUnTheoreme

Characteristics

Functional
Transitive

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#aUnAxiome inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#estUnTheoreme)
                                                      Transitive
                                                      Functional
                                                      domain(http://www.w3.org/2002/07/owl#Thing))

Generated with OWLDoc