Class: theorem:Arts

•owl:Thing
        •theorem:Esthetique
                •theorem:Arts

Super Classes

theorem:Esthetique
axiom:aUneSubstance SOME axiom:Entite

Disjoint Classes

theorem:Valeurs, theorem:Calendriers, theorem:Territoire

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1.1#Arts partial urn:oid:1.3.6.1.4.1.27630.3.1.1#Esthetique
                                                  restriction(urn:oid:1.3.6.1.4.1.27630.3.1#aUneSubstance someValuesFrom(urn:oid:1.3.6.1.4.1.27630.3.1#Entite)))

DisjointClasses(urn:oid:1.3.6.1.4.1.27630.3.1.1#Arts urn:oid:1.3.6.1.4.1.27630.3.1.1#Valeurs
                                                     urn:oid:1.3.6.1.4.1.27630.3.1.1#Calendriers
                                                     urn:oid:1.3.6.1.4.1.27630.3.1.1#Territoire)

Usage

Class Description/Definition (Necessary Conditions)

theorem:Culture, theorem:Esthetique
Generated with OWLDoc