Property: axiom:estUneSupposition

Types

owl:ObjectProperty
owl:TransitiveProperty

Super Properties

axiom:estUneLogique

Domain

axiom:Premisses

Inverse Property

axiom:aUneSupposition

Characteristics

Inverse Functional
Transitive

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#estUneSupposition annotation(http://www.w3.org/2000/01/rdf-schema#label "isContributor"@en)
                                                              super(urn:oid:1.3.6.1.4.1.27630.3.1#estUneLogique)
                                                              inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#aUneSupposition)
                                                              Transitive
                                                              InverseFunctional
                                                              domain(urn:oid:1.3.6.1.4.1.27630.3.1#Premisses))
Generated with OWLDoc