Washing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Washing

Washing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5570-5571
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6968-6968
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8250-8250
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8251-8251
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5569-5569	Washing est une sous-classe de Cleaning
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5568-5568	Washing est une sous-classe de supprimer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8886-8886	Bathing est une sous-classe de Washing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62261-62261
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62260-62260
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62259-62259

antecedent

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

Mid-level-ontology.kif 5573-5580

Processus est une instance de Washing
objet objet objet est une instance de Detergent objet est un instrument pour processus objet est une instance de FreshWater objet est un instrument pour processus

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20672-20676	Attribut est une instance de Janitor attribut est un attribut de humain occupation humain and OccupationFn Washing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8914-8922	Physique est une instance de WashBasin physique a pour but entit� entit� entit� est une instance de Washing physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de Hand
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2447-2453	Physique est une instance de WashingDevice physique a pour but entit� entit� est une instance de Washing physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1785-1802	Processus est une instance de LaundryService entit� processus, processus and processus entit� est une instance de v�tement entit� est un patient de processus processus est un sous-processus de processus processus est une instance de Washing entit� est un patient de processus Clean est un attribut de entit� est le resultat de processus processus est un sous-processus de processus processus est une instance de s�cher entit� est un patient de processus processus est une instance de Ironing processus est un sous-processus de processus entit� est un patient de processus le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2175-2189	Physique est une instance de Bidet physique a pour but entit� entit� and entit� entit� est une instance de Defecation entit� est une instance de Urination entit� est un instrument pour entit� entit� est une instance de Washing objectTransferred entit� and entit� physique est un instrument pour entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit�

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