| Milk
| |
| 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 11083-11086 | |
| (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 11082-11082 | |
| (roomTempState Milk Liquid) | Mid-level-ontology.kif 31683-31683 | |
| (subclass Milk LiquidBodySubstance) | Mid-level-ontology.kif 11081-11081 |
| appearance as argument number 2 |
|
|
| (subclass CowMilk Milk) | Food.kif 2841-2841 | |
| (subclass GoatMilk Milk) | Food.kif 3038-3038 | |
| (subclass SheepMilk Milk) | Food.kif 3048-3048 | |
| (subclass WaterBuffaloMilk Milk) | Food.kif 3052-3052 | |
| (subclass YakMilk Milk) | Food.kif 3056-3056 | |
| (termFormat ChineseLanguage Milk "乳") | domainEnglishFormat.kif 37810-37810 | |
| (termFormat ChineseTraditionalLanguage Milk "奶") | domainEnglishFormat.kif 37809-37809 | |
| (termFormat EnglishLanguage Milk "milk") | domainEnglishFormat.kif 37808-37808 |
| 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 | |
| (=> (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 | |
| (=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 11088-11095 |
| 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 | |
| (=> (initialPart DairyArtifact ?CLASS) (equal ?CLASS Milk)) |
Food.kif 2822-2824 | |
| (=> (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 | |
| (=> (instance ?C Cream) (exists (?CH ?M) (and (instance ?CH Separating) (patient ?CH ?M) (instance ?M Milk) (result ?CH Cream)))) |
Food.kif 3115-3122 | |
| (=> (instance ?C CurdlingMilk) (exists (?M) (and (instance ?M Milk) (patient ?C ?M)))) |
Food.kif 3219-3224 | |
| (=> (instance ?FM FermentedMilkProduct) (exists (?M ?F) (and (instance ?M Milk) (instance ?F Fermentation) (patient ?F ?M) (result ?F ?FM)))) |
Food.kif 3157-3164 | |
| (=> (subclass ?BF ButterFat) (initialPart ?BF Milk)) |
Food.kif 2936-2938 |
|
|
|