TreeView Knowledge Base Browser - Curdling

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Curdling

Curdling(curdling)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 3180-3183
No TPTP formula. May not be expressible in strict first order.	Food.kif 3179-3179	Curdling is a subclass of state change

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 3213-3213	Curdling milk is a subclass of curdling
No TPTP formula. May not be expressible in strict first order.	Food.kif 3184-3184

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	If a process is an instance of curdling and a substance is a patient of the process and the substance is an instance of colloid, then there exist another process and another substance such that the other process is an instance of separating and the other process is a subprocess of the process and the substance is a patient of the other process and the other substance is a result of the other process and the other substance is a piece of the substance and the other substance is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3186-3197	If a process is an instance of curdling, then there exists an entity such that the entity is a patient of the process and the entity is an instance of colloid holds during the beginning of the time of existence of the process and the entity is not an instance of colloid holds during the end of the time of existence of the process

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