TreeView Knowledge Base Browser - CurdlingMilk

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CurdlingMilk

CurdlingMilk

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 3214-3216
No TPTP formula. May not be expressible in strict first order.	Food.kif 3213-3213	CurdlingMilk e' uma sub-classe de Curdling

appearance as argument number 2

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

Food.kif 3217-3217

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3226-3247	Processo e' uma instancia de CurdlingMilk Fisico e' uma instancia de Milk Fisico e' um patient de Processo Numero Real Processo, Entidade and Entidade a medida de Fisico e' Numero Real PHValue(s) Processo e' uma instancia de Diminuir Processo e' um sub-processo de Processo Numero Real e' um patient de Processo Numero Real e' igual a Entidade vale durante o comeco de tempo de existencia de Processo Numero Real e' igual a Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3219-3224	Processo e' uma instancia de CurdlingMilk Entidade Entidade e' uma instancia de Milk Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3249-3256	Processo e' uma instancia de CurdlingMilk Entidade Entidade Entidade e' o resultado de Processo Entidade e' o resultado de Processo Entidade e' uma instancia de Curd Entidade e' uma instancia de Whey

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