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 では %n |
(subclass ProcessedMilk CowMilk) | Food.kif 2828-2828 | ProcessedMilk は CowMilk の subclass では %n |
(subclass ProcessedMilk DairyArtifact) | Food.kif 2826-2826 | ProcessedMilk は DairyArtifact の subclass では %n |
appearance as argument number 2 |
(relatedInternalConcept Milk ProcessedMilk) | Mid-level-ontology.kif 10864-10864 | Milk は ProcessedMilk に internally 関連して %n |
(subclass MilkFoam ProcessedMilk) | Food.kif 1227-1227 | MilkFoam は ProcessedMilk の subclass では %n |
(subclass OnePercentMilk ProcessedMilk) | Food.kif 2964-2964 | OnePercentMilk は ProcessedMilk の subclass では %n |
(subclass SemiSkimmedMilk ProcessedMilk) | Food.kif 2988-2988 | SemiSkimmedMilk は ProcessedMilk の subclass では %n |
(subclass SkimmedMilk ProcessedMilk) | Food.kif 3013-3013 | SkimmedMilk は ProcessedMilk の subclass では %n |
(subclass TwoPercentMilk ProcessedMilk) | Food.kif 2940-2940 | TwoPercentMilk は ProcessedMilk の subclass では %n |
(subclass WholeMilk ProcessedMilk) | Food.kif 2845-2845 | WholeMilk は ProcessedMilk の subclass では %n |
(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 |