Property: axiom:aUnElement

Types

owl:ObjectProperty
owl:TransitiveProperty

Super Properties

axiom:aUneReduction

Domain

owl:Thing

Range

axiom:Lithosphere

Inverse Property

axiom:estUnElement

Characteristics

Functional
Transitive

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#aUnElement super(urn:oid:1.3.6.1.4.1.27630.3.1#aUneReduction)
                                                       inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#estUnElement)
                                                       Transitive
                                                       Functional
                                                       domain(http://www.w3.org/2002/07/owl#Thing)
                                                       range(urn:oid:1.3.6.1.4.1.27630.3.1#Lithosphere))
Generated with OWLDoc