| ProcessedMilk | |
| appearance as argument number 1 |
|
|
| (documentation ProcessedMilk EnglishLanguage "ProcessedMilk is Milk from cows.") | Food.kif 2829-2829 | |
| (subclass ProcessedMilk Beverage) | Food.kif 2827-2827 | |
| (subclass ProcessedMilk CowMilk) | Food.kif 2828-2828 | |
| (subclass ProcessedMilk DairyArtifact) | Food.kif 2826-2826 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Milk ProcessedMilk) | Mid-level-ontology.kif 11082-11082 | |
| (subclass MilkFoam ProcessedMilk) | Food.kif 1227-1227 | |
| (subclass OnePercentMilk ProcessedMilk) | Food.kif 2964-2964 | |
| (subclass SemiSkimmedMilk ProcessedMilk) | Food.kif 2988-2988 | |
| (subclass SkimmedMilk ProcessedMilk) | Food.kif 3013-3013 | |
| (subclass TwoPercentMilk ProcessedMilk) | Food.kif 2940-2940 | |
| (subclass WholeMilk ProcessedMilk) | Food.kif 2845-2845 | |
| (termFormat EnglishLanguage ProcessedMilk "processed milk") | Food.kif 2830-2830 |
| antecedent |
|
|
| (=> (and (instance ?FM FoamingMilk) (instance ?M ProcessedMilk) (patient ?FM ?M)) (exists (?H ?A ?B) (and (instance ?H Heating) (patient ?H ?M) (instance ?A Aerating) (patient ?A ?M) (result ?A ?B) (instance ?B Bubble) (during (WhenFn ?A) (WhenFn ?H))))) |
Food.kif 1190-1205 | |
| (=> (and (instance ?FM FoamingMilk) (patient ?FM ?M) (instance ?M ProcessedMilk) (instance ?A Aerating) (patient ?A ?M)) (subProcess ?A ?FM)) |
Food.kif 1218-1225 | |
| (=> (and (instance ?FM FoamingMilk) (patient ?FM ?M) (instance ?M ProcessedMilk) (instance ?H Heating) (subProcess ?H ?FM) (measure ?M (MeasureFn ?T CelsiusDegree))) (approximateValue ?T 70.0)) |
Food.kif 1207-1216 | |
| (=> (instance ?PM ProcessedMilk) (exists (?P ?M) (and (instance ?P IntentionalProcess) (instance ?M CowMilk) (patient ?P ?M) (result ?P ?PM)))) |
Food.kif 2832-2839 |
| consequent |
|
|
| (=> (instance ?FM FoamingMilk) (exists (?M ?MF) (and (instance ?M ProcessedMilk) (instance ?MF MilkFoam) (patient ?FM ?M) (result ?FM ?MF)))) |
Food.kif 1181-1188 |
|
|
|