Property: theorem:aUnPrincipe

Types

owl:TransitiveProperty
owl:ObjectProperty

Super Properties

theorem:aUneScience

Domain

owl:Thing

Range

theorem:MetaScience

Inverse Property

theorem:estUnPrincipe

Characteristics

Transitive

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1.1#aUnPrincipe super(urn:oid:1.3.6.1.4.1.27630.3.1.1#aUneScience)
                                                          inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1.1#estUnPrincipe)
                                                          Transitive
                                                          domain(http://www.w3.org/2002/07/owl#Thing)
                                                          range(urn:oid:1.3.6.1.4.1.27630.3.1.1#MetaScience))

Generated with OWLDoc