TreeView Knowledge Base Browser - Stirring

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Stirring

Stirring

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17557-17558
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17556-17556	Stirring e' uma sub-classe de Combinar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17555-17555	Stirring e' uma sub-classe de LiquidMotion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55376-55376
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55375-55375
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55374-55374

consequent

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

Food.kif 128-151

Processo e' uma instancia de DryRoasting Entidade e' uma instancia de Comida Entidade e' um patient de Processo
Entidade Entidade Entidade e' uma instancia de Aquecer Entidade e' uma instancia de Stirring Entidade e' um sub-processo de Processo Entidade e' um sub-processo de Processo tempo de existencia de Entidade acontece durante tempo de existencia de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade Entidade Entidade e' uma instancia de Oil Entidade e' uma instancia de DrinkingWater Entidade e' um patient de Processo Entidade e' um patient de Processo vale durante 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