Property: theorem:aUnPostulat

Types

owl:ObjectProperty

Super Properties

theorem:aUnRaisonnement

Domain

owl:Thing

Inverse Property

theorem:estUnPostulat

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1.1#aUnPostulat annotation(http://www.w3.org/2000/01/rdf-schema#label "hasPostulate"@en)
                                                          super(urn:oid:1.3.6.1.4.1.27630.3.1.1#aUnRaisonnement)
                                                          inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1.1#estUnPostulat)
                                                          domain(http://www.w3.org/2002/07/owl#Thing))
Generated with OWLDoc