Property: theorem:aUneEspece

Types

owl:ObjectProperty
owl:TransitiveProperty

Super Properties

theorem:aUneHumanite

Domain

owl:Thing

Range

theorem:EspeceHumaine

Inverse Property

theorem:estUneEspece

Characteristics

Transitive

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1.1#aUneEspece super(urn:oid:1.3.6.1.4.1.27630.3.1.1#aUneHumanite)
                                                         inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1.1#estUneEspece)
                                                         Transitive
                                                         domain(http://www.w3.org/2002/07/owl#Thing)
                                                         range(urn:oid:1.3.6.1.4.1.27630.3.1.1#EspeceHumaine))

Generated with OWLDoc