Class: axiom:Informe

"Logique informelle. Nature informelle de la logique de l'Univers, ou non nécessairement formelle." [lang: fr]

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

Super Classes

axiom:Metalogique

Equivalent Classes (Necessary and Sufficient Conditions)

axiom:Conclusions OR axiom:Observables OR axiom:Premisses

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1#Informe complete annotation(http://www.w3.org/2000/01/rdf-schema#comment "Logique informelle. Nature informelle de la logique de l'Univers, ou non nécessairement formelle."@fr)
                                                    unionOf(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))

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

Usage

Class Description/Definition (Necessary Conditions)

axiom:Conclusions, axiom:Informe, axiom:Observables, axiom:Premisses, axiom:Univers

Domain of

axiom:estUneLogique
Generated with OWLDoc