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

(documentation CurdlingMilk EnglishLanguage "CurdlingMilk is the Process in which the pH of the milk decreases and becomes more acidic. Independently floating casein molecules attract one another, forming lumps that float in a translucent whey.[Wikipedia]")	Food.kif 3221-3223
(subclass CurdlingMilk Curdling)	Food.kif 3220-3220	Curdling milk is a subclass of curdling

appearance as argument number 2

(termFormat EnglishLanguage CurdlingMilk "curdling milk")

Food.kif 3224-3224

antecedent

(=> (and (instance ?C CurdlingMilk) (instance ?M Milk) (patient ?C ?M)) (exists (?PH ?D ?H ?L) (and (measure ?M (MeasureFn ?PH PHValue)) (instance ?D Decreasing) (subProcess ?D ?C) (patient ?D ?PH) (holdsDuring (BeginFn (WhenFn ?D)) (equal ?PH ?H) (approximateValue ?H 6.5)) (holdsDuring (EndFn (WhenFn ?D)) (equal ?PH ?L) (approximateValue ?L 4.5)))))	Food.kif 3233-3254	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
(=> (instance ?C CurdlingMilk) (exists (?M) (and (instance ?M Milk) (patient ?C ?M))))	Food.kif 3226-3231	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
(=> (instance ?CM CurdlingMilk) (exists (?C ?W) (and (result ?CM ?C) (result ?CM ?W) (instance ?C Curd) (instance ?W Whey))))	Food.kif 3256-3263	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