Cleaning - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Cleaning

Cleaning(cleaning)

brush, clean, clean_house, cleanse, dust, houseclean, make_clean, pick, rinse, sponge_down, sponge_off, steam, steam_clean, sweep, wash

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6508-6509
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6507-6507	Cleaning is a subclass of maintaining

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6531-6531	Washing is a subclass of cleaning
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15099-15099	Washing is a subclass of cleaning
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15098-15098	Washing is a subclass of cleaning
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15097-15097	Washing is a subclass of cleaning

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 6511-6518

If a process is an instance of cleaning,
then there exists an entity such that the entity is a patient of the process and clean is an attribute of 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.	Medicine.kif 4028-4041	If obsessive–compulsive disorder is an attribute of a cognitive agent, then there exist a collection and a class such that the class is a member type of the collection and the class is a subclass of investigating or the class is a subclass of cleaning and if the classI is an instance of the class, then the cognitive agent is an agent of the classI and the cognitive agent doesn't want the classI
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6547-6553	If a physical is an instance of cleaning device, then the physical has the purpose there exists an entity such that the entity is an instance of cleaning and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1934-1944	If a service is an instance of service, then there exist a cognitive agent, an object and a process such that maid is an attribute of the cognitive agent and the cognitive agent provides a service during the service and the service is located at the object and the process is a subprocess of the service and the process is an instance of cleaning and the object is a patient of the process and the cognitive agent is an agent of the process

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