Property: axiom:aUneSubstance

Types

owl:ObjectProperty
owl:TransitiveProperty

Super Properties

axiom:aUneExistence

Domain

owl:Thing

Range

axiom:Entite

Inverse Property

axiom:estUneSubstance

Characteristics

Functional
Transitive

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#aUneSubstance super(urn:oid:1.3.6.1.4.1.27630.3.1#aUneExistence)
                                                          inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#estUneSubstance)
                                                          Transitive
                                                          Functional
                                                          domain(http://www.w3.org/2002/07/owl#Thing)
                                                          range(urn:oid:1.3.6.1.4.1.27630.3.1#Entite))
Generated with OWLDoc