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 是 饮料 的 subclass |
(subclass ProcessedMilk CowMilk) | Food.kif 2828-2828 | ProcessedMilk 是 CowMilk 的 subclass |
(subclass ProcessedMilk DairyArtifact) | Food.kif 2826-2826 | ProcessedMilk 是 乳制品 的 subclass |
appearance as argument number 2 |
(relatedInternalConcept Milk ProcessedMilk) | Mid-level-ontology.kif 10891-10891 | 乳 和 ProcessedMilk 是 内部相关 |
(subclass MilkFoam ProcessedMilk) | Food.kif 1227-1227 | MilkFoam 是 ProcessedMilk 的 subclass |
(subclass OnePercentMilk ProcessedMilk) | Food.kif 2964-2964 | OnePercentMilk 是 ProcessedMilk 的 subclass |
(subclass SemiSkimmedMilk ProcessedMilk) | Food.kif 2988-2988 | SemiSkimmedMilk 是 ProcessedMilk 的 subclass |
(subclass SkimmedMilk ProcessedMilk) | Food.kif 3013-3013 | SkimmedMilk 是 ProcessedMilk 的 subclass |
(subclass TwoPercentMilk ProcessedMilk) | Food.kif 2940-2940 | TwoPercentMilk 是 ProcessedMilk 的 subclass |
(subclass WholeMilk ProcessedMilk) | Food.kif 2845-2845 | WholeMilk 是 ProcessedMilk 的 subclass |
(termFormat EnglishLanguage ProcessedMilk "processed milk") | Food.kif 2830-2830 |
antecedent |
consequent |
(=> (instance ?FM FoamingMilk) (exists (?M ?MF) (and (instance ?M ProcessedMilk) (instance ?MF MilkFoam) (patient ?FM ?M) (result ?FM ?MF)))) |
Food.kif 1181-1188 |