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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5500-5500
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5499-5499	Dressing is a subclass of putting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20400-20400
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20399-20399
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20398-20398

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5502-5517	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5523-5530	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5211-5231	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