Property: axiom:aUneSupposition

Types

owl:TransitiveProperty
owl:ObjectProperty

Super Properties

axiom:aUneLogique

Domain

owl:Thing

Range

axiom:Premisses

Inverse Property

axiom:estUneSupposition

Characteristics

Functional
Transitive

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#aUneSupposition annotation(http://www.w3.org/2000/01/rdf-schema#label "hasPremise"@en)
                                                            super(urn:oid:1.3.6.1.4.1.27630.3.1#aUneLogique)
                                                            inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#estUneSupposition)
                                                            Transitive
                                                            Functional
                                                            domain(http://www.w3.org/2002/07/owl#Thing)
                                                            range(urn:oid:1.3.6.1.4.1.27630.3.1#Premisses))

Generated with OWLDoc