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 28571-28572
(subclass UniformClothing Clothing)	Mid-level-ontology.kif 28570-28570	Uniform is a subclass of clothing

appearance as argument number 2

(termFormat EnglishLanguage UniformClothing "uniform")

Mid-level-ontology.kif 28573-28573

appearance as argument number 3

(domainSubclass hasUniform 2 UniformClothing)

Mid-level-ontology.kif 28558-28558

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 28580-28586	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 28575-28578	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