Milk - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Milk

Milk(milk)

acidophilus_milk, certified_milk, clabber, dried_milk, dry_milk, half-and-half, homogenized_milk, milk, milk_powder, nonfat_dry_milk, pasteurized_milk, powdered_milk, raw_milk, scalded_milk, sour_cream, sour_milk, soured_cream

appearance as argument number 1

(documentation Milk EnglishLanguage "A nutritious BodySubstance produced by Mammals that has evolved to provide nourishment for their offspring duringtheir initial period of life. [Wikipedia] For the 'milk that we drink day_to_day, one should refers to ProcessMilk under Beverage.")	Mid-level-ontology.kif 11761-11764
(externalImage Milk "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0e/ Milk_glass.jpg/ 200px_Milk_glass.jpg")	pictureList.kif 1186-1186
(relatedInternalConcept Milk ProcessedMilk)	Mid-level-ontology.kif 11760-11760	Milk is internally related to processed milk
(roomTempState Milk Liquid)	Mid-level-ontology.kif 32541-32541	roomTempState milk and liquid
(subclass Milk LiquidBodySubstance)	Mid-level-ontology.kif 11759-11759	Milk is a subclass of liquid body substance

appearance as argument number 2

(subclass CowMilk Milk)	Food.kif 2841-2841	Sheep milk is a subclass of milk
(subclass GoatMilk Milk)	Food.kif 3038-3038	Goat milk is a subclass of milk
(subclass SheepMilk Milk)	Food.kif 3048-3048	SheepMilk is a subclass of milk
(subclass WaterBuffaloMilk Milk)	Food.kif 3052-3052	Water buffalo milk is a subclass of milk
(subclass YakMilk Milk)	Food.kif 3056-3056	Yak milk is a subclass of milk
(termFormat ChineseLanguage Milk "乳")	domainEnglishFormat.kif 37807-37807	Yak milk is a subclass of milk
(termFormat ChineseTraditionalLanguage Milk "奶")	domainEnglishFormat.kif 37806-37806	Yak milk is a subclass of milk
(termFormat EnglishLanguage Milk "milk")	domainEnglishFormat.kif 37805-37805	Yak milk is a subclass of milk

antecedent

(=> (and (instance ?C Cream) (part ?C ?O1) (instance ?O1 ButterFat) (measure ?O1 (MeasureFn ?X Gram)) (instance ?M Milk) (part ?M ?O2) (instance ?O2 ButterFat) (measure ?O2 (MeasureFn ?Y Gram))) (greaterThan ?X ?Y))	Food.kif 3124-3136	If an object is an instance of cream and the object is a part of another object and the other object is an instance of butter fat and the measure of the other object is a real number gram(s) and a third object is an instance of milk and the third object is a part of a fourth object and the fourth object is an instance of butter fat and the measure of the fourth object is another real number gram(s), then the real number is greater than the other real number
(=> (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 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
(=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK))))	Mid-level-ontology.kif 11766-11773	If an entity is an instance of milk, then there exist a process and an object such that the object is an instance of mammal and female is an attribute of the object and the object is an instrument for the process and the entity is a result of the process

consequent

(=> (and (instance ?C ChurningButter) (instance ?E Emulsion) (patient ?C ?E)) (exists (?M ?B) (and (holdsDuring (BeginFn (WhenFn ?C)) (and (equal ?E ?M) (instance ?M Milk))) (holdsDuring (EndFn (WhenFn ?C)) (and (equal ?E ?B) (instance ?B Butter))))))	Food.kif 3076-3094	If a process is an instance of churning butter and an entity is an instance of emulsion and the entity is a patient of the process, then there exist another entity and a third entity such that the entity is equal to the other entity and the other entity is an instance of milk holds during the beginning of the time of existence of the process and the entity is equal to the third entity and the third entity is an instance of butter holds during the end of the time of existence of the process
(=> (initialPart DairyArtifact ?CLASS) (equal ?CLASS Milk))	Food.kif 2822-2824	If every dairy product is initially part of a a kind of object, then a kind of object is equal to milk
(=> (instance ?C ChurningButter) (hasPurpose ?C (exists (?M ?R ?B) (and (instance ?M Milk) (instance ?R Rotating) (patient ?R ?M) (result ?R ?B) (instance ?B Butter)))))	Food.kif 3065-3074	If a physical is an instance of churning butter, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of milk and the other entity is an instance of rotating and the entity is a patient of the other entity and the third entity is a result of the other entity and the third entity is an instance of butter
(=> (instance ?C Cream) (exists (?CH ?M) (and (instance ?CH Separating) (patient ?CH ?M) (instance ?M Milk) (result ?CH Cream))))	Food.kif 3115-3122	If an entity is an instance of cream, then there exist the entityH and another entity such that the entityH is an instance of separating and the other entity is a patient of the entityH and the other entity is an instance of milk and cream is a result of the entityH
(=> (instance ?C CurdlingMilk) (exists (?M) (and (instance ?M Milk) (patient ?C ?M))))	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
(=> (instance ?FM FermentedMilkProduct) (exists (?M ?F) (and (instance ?M Milk) (instance ?F Fermentation) (patient ?F ?M) (result ?F ?FM))))	Food.kif 3157-3164	If an entity is an instance of fermented milk product, then there exist another entity and a process such that the other entity is an instance of milk and the process is an instance of fermentation and the other entity is a patient of the process and the entity is a result of the process
(=> (subclass ?BF ButterFat) (initialPart ?BF Milk))	Food.kif 2936-2938	If a kind of object is a subclass of butter fat, then every a kind of object is initially part of a milk

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