TreeView Knowledge Base Browser - Cleaning

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 5552-5553
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5551-5551	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 5575-5575	Washing is a subclass of cleaning
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15084-15084
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15083-15083
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15082-15082

antecedent

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

Mid-level-ontology.kif 5555-5562

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 4025-4038	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 5591-5597	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 1923-1933	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 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