CurdlingMilk - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CurdlingMilk

CurdlingMilk(curdling milk)

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	Curdling milk is a subclass of 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	If a process is an instance of curdling milk and a physical is an instance of milk and the physical is a patient of the process, then there exist a real number, another process,, , an entity and another entity such that the measure of the physical is the real number PH value(s) and the other process is an instance of decreasing and the other process is a subprocess of the process and the real number is a patient of the other process and the real number is equal to the entity holds during the beginning of the time of existence of the other process and the real number is equal to the other entity holds during the end of the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3219-3224	If a process is an instance of curdling milk, then there exists an entity such that the entity is an instance of milk and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3249-3256	If a process is an instance of curdling milk, then there exist an entity and another entity such that the entity is a result of the process and the other entity is a result of the process and the entity is an instance of curd and the other entity is an instance of whey

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