Property: axiom:aUneInterpretation

"a Une Coherence. N'a pas de contradiction." [lang: fr]

Types

owl:ObjectProperty
owl:TransitiveProperty

Super Properties

axiom:aUneInference

Domain

owl:Thing

Range

axiom:Informe OR axiom:Consistence

Inverse Property

axiom:estUneInterpretation

Characteristics

Functional
Transitive

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#aUneInterpretation annotation(http://www.w3.org/2000/01/rdf-schema#comment "a Une Coherence. N'a pas de contradiction."@fr)
                                                               super(urn:oid:1.3.6.1.4.1.27630.3.1#aUneInference)
                                                               inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#estUneInterpretation)
                                                               Transitive
                                                               Functional
                                                               domain(http://www.w3.org/2002/07/owl#Thing)
                                                               range(unionOf(urn:oid:1.3.6.1.4.1.27630.3.1#Informe
                                                                             urn:oid:1.3.6.1.4.1.27630.3.1#Consistence)))
Generated with OWLDoc