Dressing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Dressing

Dressing(dressing)

apparel, assume, attire, bedizen, bonnet, bundle_up, clothe, coat, corset, costume, cover, cross-dress, dandify, deck_out, deck_up, dizen, don, dress, dress_down, dress_up, enclothe, enrobe, fancy_up, fig_out, fig_up, fit_out, frock, garb, garment, get_dressed, get_into, get_up, gussy_up, habilitate, habit, hat, have_on, jacket, overclothe, overdress, prim, prim_out, prim_up, prink, put_on, raiment, rig_out, robe, shirt, shoe...

appearance as argument number 1

(documentation Dressing EnglishLanguage "The Process of putting on Clothing.")	Mid-level-ontology.kif 6050-6050
(subclass Dressing Putting)	Mid-level-ontology.kif 6049-6049	Dressing is a subclass of putting

appearance as argument number 2

(termFormat ChineseLanguage Dressing "调味料")	domainEnglishFormat.kif 20415-20415
(termFormat ChineseTraditionalLanguage Dressing "調味料")	domainEnglishFormat.kif 20414-20414
(termFormat EnglishLanguage Dressing "dressing")	domainEnglishFormat.kif 20413-20413

antecedent

(=> (and (instance ?D Dressing) (instance ?O Oqal) (instance ?H Hat) (patient ?D ?O) (patient ?D ?H)) (hasPurpose ?O (exists (?A) (and (instance ?A Attaching) (instrument ?A ?O)))))	ArabicCulture.kif 420-431	If a process is an instance of dressing and a physical is an instance of oqal and an entity is an instance of hat and the physical is a patient of the process and the entity is a patient of the process, then the physical has the purpose there exists another entity such that the other entity is an instance of attaching and the physical is an instrument for the other entity
(=> (and (instance ?DRESS Dressing) (agent ?DRESS ?AGENT) (patient ?DRESS ?CLOTHING)) (and (instance ?CLOTHING Clothing) (holdsDuring (BeginFn (WhenFn ?DRESS)) (not (wears ?AGENT ?CLOTHING))) (holdsDuring (EndFn (WhenFn ?DRESS)) (wears ?AGENT ?CLOTHING))))	Mid-level-ontology.kif 6052-6067	If a process is an instance of dressing and an agent is an agent of the process and an entity is a patient of the process, then the entity is an instance of clothing and the agent doesn't wear the entity holds during the beginning of the time of existence of the process and the agent wears the entity holds during the end of the time of existence of the process

consequent

(=> (instance ?CC ChangingClothing) (exists (?R ?D) (and (instance ?R RemovingClothing) (instance ?D Dressing) (subProcess ?R ?CC) (subProcess ?D ?CC))))	Mid-level-ontology.kif 6073-6080	If a process is an instance of changing clothing, then there exist another process and a third process such that the other process is an instance of removing clothing and the third process is an instance of dressing and the other process is a subprocess of the process and the third process is a subprocess of the process
(=> (instance ?S Sandal) (exists (?H1 ?H2) (and (instance ?H1 HoleRegion) (hole ?H1 ?S) (instance ?H2 HoleRegion) (hole ?H2 ?S) (not (equal ?H1 ?H2)) (hasPurpose ?H1 (exists (?D ?F ?A ?I) (and (instance ?D Dressing) (instance ?F Foot) (agent ?D ?A) (part ?F ?A) (subProcess ?I ?D) (instance ?I Inserting) (patient ?I ?F) (destination ?I ?H1)))))))	Mid-level-ontology.kif 5761-5781	If a self connected object is an instance of sandal, then there exist a hole and another hole such that the hole is an instance of hole and the hole is a hole in the self connected object and the other hole is an instance of hole and the other hole is a hole in the self connected object and the hole is not equal to the other hole and the hole has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of dressing and the other entity is an instance of foot and the third entity is an agent of the entity and the other entity is a part of the third entity and the fourth entity is a subprocess of the entity and the fourth entity is an instance of inserting and the other entity is a patient of the fourth entity and the fourth entity ends up at the hole

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

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