Class: axiom:Conclusions

•owl:Thing
        •axiom:Metalogique
                •axiom:Informe
                        •axiom:Conclusions

Super Classes

axiom:Informe

Equivalent Classes (Necessary and Sufficient Conditions)

axiom:Consistence OR axiom:Completude OR axiom:Decidabilite

Disjoint Classes

axiom:Observables, axiom:Premisses

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1#Conclusions complete unionOf(urn:oid:1.3.6.1.4.1.27630.3.1#Consistence
                                                                urn:oid:1.3.6.1.4.1.27630.3.1#Completude
                                                                urn:oid:1.3.6.1.4.1.27630.3.1#Decidabilite))

SubClassOf(urn:oid:1.3.6.1.4.1.27630.3.1#Conclusions urn:oid:1.3.6.1.4.1.27630.3.1#Informe)

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

Usage

Class Description/Definition (Necessary Conditions)

axiom:Completude, axiom:Conclusions, axiom:Consistence, axiom:Decidabilite, axiom:Informe, theorem:Verite
Generated with OWLDoc