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 | ProcessedMilk ist eine teilkategorie von Beverage |
(subclass ProcessedMilk CowMilk) | Food.kif 2828-2828 | ProcessedMilk ist eine teilkategorie von CowMilk |
(subclass ProcessedMilk DairyArtifact) | Food.kif 2826-2826 | ProcessedMilk ist eine teilkategorie von DairyArtifact |
appearance as argument number 2 |
(relatedInternalConcept Milk ProcessedMilk) | Mid-level-ontology.kif 10891-10891 | Milk ist innerlich verwandt mit ProcessedMilk %n{nicht} |
(subclass MilkFoam ProcessedMilk) | Food.kif 1227-1227 | MilkFoam ist eine teilkategorie von ProcessedMilk |
(subclass OnePercentMilk ProcessedMilk) | Food.kif 2964-2964 | OnePercentMilk ist eine teilkategorie von ProcessedMilk |
(subclass SemiSkimmedMilk ProcessedMilk) | Food.kif 2988-2988 | SemiSkimmedMilk ist eine teilkategorie von ProcessedMilk |
(subclass SkimmedMilk ProcessedMilk) | Food.kif 3013-3013 | SkimmedMilk ist eine teilkategorie von ProcessedMilk |
(subclass TwoPercentMilk ProcessedMilk) | Food.kif 2940-2940 | TwoPercentMilk ist eine teilkategorie von ProcessedMilk |
(subclass WholeMilk ProcessedMilk) | Food.kif 2845-2845 | WholeMilk ist eine teilkategorie von ProcessedMilk |
(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 |
|