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 26686-26687
(subclass UniformClothing Clothing) Mid-level-ontology.kif 26685-26685 Uniform is a subclass of clothing

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


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

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


(domainSubclass hasUniform 2 UniformClothing) Mid-level-ontology.kif 26673-26673 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 26695-26701
(=>
    (subclass ?X UniformClothing)
    (exists (?GRP)
        (hasUniform ?GRP ?X)))
Mid-level-ontology.kif 26690-26693


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