TreeView Knowledge Base Browser - UniformClothing

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 28568-28569
(subclass UniformClothing Clothing)	Mid-level-ontology.kif 28567-28567	Uniform is a subclass of clothing

appearance as argument number 2

(termFormat EnglishLanguage UniformClothing "uniform")

Mid-level-ontology.kif 28570-28570

appearance as argument number 3

(domainSubclass hasUniform 2 UniformClothing)

Mid-level-ontology.kif 28555-28555

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 28577-28583	If an entity is an instance of uniform, then there exist a process and another entity such that the process is an instance of intentional process and the other entity is a result of the process and the entity expresses the other entity
(=> (subclass ?X UniformClothing) (exists (?GRP) (hasUniform ?GRP ?X)))	Mid-level-ontology.kif 28572-28575	If a kind of uniform is a subclass of uniform, then there exists a group such that the group has uniform a kind of uniform

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