Class: axiom:Observables

•owl:Thing
        •axiom:Metalogique
                •axiom:Informe
                        •axiom:Observables

Super Classes

axiom:Informe

Disjoint Classes

axiom:Conclusions, axiom:Premisses

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1#Observables partial urn:oid:1.3.6.1.4.1.27630.3.1#Informe)

DisjointClasses(urn:oid:1.3.6.1.4.1.27630.3.1#Observables urn:oid:1.3.6.1.4.1.27630.3.1#Conclusions
                                                          urn:oid:1.3.6.1.4.1.27630.3.1#Premisses)

Usage

Class Description/Definition (Necessary Conditions)

axiom:Formes, axiom:Informe, axiom:Proprietes, axiom:Situation, theorem:Artificiel, theorem:Autres, theorem:CorpsHumain, theorem:Psyche, theorem:Spiritualite

Domain of

axiom:estUneMesure
Generated with OWLDoc