Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  UniformClothing

Sigma KEE - UniformClothing
UniformClothing(uniform)battle_dress, fatigues, full-dress_uniform, gymslip, khakis, livery, military_uniform, olive-drab_uniform, olive_drab, regimentals, uniform

appearance as argument number 1
-------------------------


(documentation UniformClothing EnglishLanguage "UniformClothing is a type of clothing with a distinctive design worn by members of a particular group as a means of identification") Mid-level-ontology.kif 28585-28586
(subclass UniformClothing Clothing) Mid-level-ontology.kif 28584-28584 Uniform is a subclass of clothing

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage UniformClothing "uniform") Mid-level-ontology.kif 28587-28587

appearance as argument number 3
-------------------------


(domainSubclass hasUniform 2 UniformClothing) Mid-level-ontology.kif 28572-28572 The number 2 argument of has uniform is a subclass of uniform

antecedent
-------------------------


(=>
    (instance ?X UniformClothing)
    (exists (?PROC ?DESIGN)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?DESIGN)
            (represents ?X ?DESIGN))))
Mid-level-ontology.kif 28594-28600
(=>
    (subclass ?X UniformClothing)
    (exists (?GRP)
        (hasUniform ?GRP ?X)))
Mid-level-ontology.kif 28589-28592


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners