Class: theorem:Spiritualite

•owl:Thing
        •theorem:EtreHumain
                •theorem:Identite
                        •theorem:Spiritualite

Super Classes

theorem:Identite
axiom:estUneMesure SOME axiom:Observables

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1.1#Spiritualite partial urn:oid:1.3.6.1.4.1.27630.3.1.1#Identite
                                                          restriction(urn:oid:1.3.6.1.4.1.27630.3.1#estUneMesure someValuesFrom(urn:oid:1.3.6.1.4.1.27630.3.1#Observables)))

Usage

Class Description/Definition (Necessary Conditions)

theorem:Theologie
Generated with OWLDoc