Class: theorem:Autres

•owl:Thing
        •theorem:EtreHumain
                •theorem:Identite
                        •theorem:Autres

Super Classes

axiom:estUnRythme SOME axiom:Temps
theorem:aUneQualite ONLY theorem:Psyche
theorem:aUneQualite ONLY theorem:Artificiel
theorem:aUneQualite ONLY theorem:CorpsHumain
theorem:Identite
axiom:estUneMesure SOME axiom:Observables

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1.1#Autres partial restriction(urn:oid:1.3.6.1.4.1.27630.3.1#estUnRythme someValuesFrom(urn:oid:1.3.6.1.4.1.27630.3.1#Temps))
                                                    restriction(urn:oid:1.3.6.1.4.1.27630.3.1.1#aUneQualite allValuesFrom(urn:oid:1.3.6.1.4.1.27630.3.1.1#Psyche))
                                                    restriction(urn:oid:1.3.6.1.4.1.27630.3.1.1#aUneQualite allValuesFrom(urn:oid:1.3.6.1.4.1.27630.3.1.1#Artificiel))
                                                    restriction(urn:oid:1.3.6.1.4.1.27630.3.1.1#aUneQualite allValuesFrom(urn:oid:1.3.6.1.4.1.27630.3.1.1#CorpsHumain))
                                                    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:Psyche
Generated with OWLDoc