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 24817-24818
(subclass UniformClothing Clothing) Mid-level-ontology.kif 24816-24816 Uniform is a subclass of clothing

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


(termFormat EnglishLanguage UniformClothing "uniform") Mid-level-ontology.kif 24819-24819 "uniform" is the printable form of uniform in english language

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


(domainSubclass hasUniform 2 UniformClothing) Mid-level-ontology.kif 24804-24804 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 24826-24832
(=>
    (subclass ?X UniformClothing)
    (exists (?GRP)
        (hasUniform ?GRP ?X)))
Mid-level-ontology.kif 24821-24824


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners