TreeView Knowledge Base Browser - Washing

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 5575-5576
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 5574-5574	Washing e' uma sub-classe de Cleaning
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5573-5573	Washing e' uma sub-classe de Remover

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8858-8858	Bathing e' uma sub-classe de Washing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62259-62259
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62258-62258
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62257-62257

antecedent

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

Mid-level-ontology.kif 5578-5585

Processo e' uma instancia de Washing
Objeto Objeto Objeto e' uma instancia de Detergent Objeto e' um instrumento para Processo Objeto e' uma instancia de FreshWater Objeto e' um instrumento para Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20644-20648	Atributo e' uma instancia de Janitor Atributo e' um atributo de Humano occupation Humano and OccupationFn Washing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8886-8894	Fisico e' uma instancia de WashBasin Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Washing Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Hand
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2454-2460	Fisico e' uma instancia de WashingDevice Fisico tem por fim Entidade Entidade e' uma instancia de Washing Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1785-1802	Processo e' uma instancia de LaundryService Entidade Processo, Processo and Processo Entidade e' uma instancia de Roupa Entidade e' um patient de Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Washing Entidade e' um patient de Processo Clean e' um atributo de Entidade e' o resultado de Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Secar Entidade e' um patient de Processo Processo e' uma instancia de Ironing Processo e' um sub-processo de Processo Entidade e' um patient de Processo o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2182-2196	Fisico e' uma instancia de Bidet Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Defecation Entidade e' uma instancia de Urination Entidade e' um instrumento para Entidade Entidade e' uma instancia de Washing objectTransferred Entidade and Entidade Fisico e' um instrumento para Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade

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