TreeView Knowledge Base Browser - Ironing

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Ironing

Ironing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25305-25306
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25304-25304	Ironing e' uma sub-classe de Smoothing

appearance as argument number 2

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

Mid-level-ontology.kif 25307-25307

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25321-25332	Processo e' uma instancia de Ironing Objeto e' um patient de Processo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Tecido ProcessoRON Processo Processo e' uma instancia de Aquecer ProcessoRON e' um patient de Processo ProcessoRON e' uma instancia de FabricIron ProcessoRON e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25309-25319	Processo e' uma instancia de Ironing Objeto e' um patient de Processo Processo ProcessoRON and Objeto Objeto e' uma parte superficial de Objeto Processo e' uma instancia de Aquecer ProcessoRON e' um patient de Processo Objeto e' um patient de Processo ProcessoRON e' um instrumento para Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25259-25270	Fisico e' uma instancia de IroningBoard Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Ironing Entidade e' um patient de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Tecido Entidade e' On em relacao a Fisico vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25238-25244	Fisico e' uma instancia de FabricIron Fisico tem por fim FisicoRON FisicoRON e' uma instancia de Ironing Fisico e' um instrumento para FisicoRON
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.	Hotel.kif 1856-1863	Processo e' uma instancia de IroningService Processo Entidade Entidade e' uma instancia de Roupa Processo e' uma instancia de Ironing Entidade e' um patient de Processo Processo e' um sub-processo de Processo

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