Property: theorem:estUnRaisonnement

Types

owl:ObjectProperty
owl:TransitiveProperty

Super Properties

theorem:estUneVerite

Domain

owl:Thing

Inverse Property

theorem:aUnRaisonnement

Characteristics

Transitive

Abstract Syntax

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