Property: axiom:aUnModele

"(temp) aUneCoherence ... aUneDeduction ... aUneAppartenance ... a une methode .. aUne Demonstration" [lang: fr]

Types

owl:ObjectProperty
owl:TransitiveProperty

Super Properties

axiom:aUneInference

Domain

owl:Thing

Range

axiom:Informe OR axiom:Decidabilite

Inverse Property

axiom:estUnModele

Characteristics

Functional
Transitive

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#aUnModele annotation(http://www.w3.org/2000/01/rdf-schema#comment "(temp) aUneCoherence ... aUneDeduction ... aUneAppartenance ... a une methode .. aUne Demonstration"@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#estUnModele)
                                                      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#Decidabilite)))
Generated with OWLDoc