Property: theorem:aUnePhilosophie

Types

owl:ObjectProperty

owl:TransitiveProperty

Domain

owl:Thing

Range

theorem:Philosophie

Inverse Property

theorem:estUnePhilosophie

Characteristics

Transitive

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1.1#aUnePhilosophie inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1.1#estUnePhilosophie)
                                                              Transitive
                                                              domain(http://www.w3.org/2002/07/owl#Thing)
                                                              range(urn:oid:1.3.6.1.4.1.27630.3.1.1#Philosophie))

Generated with OWLDoc