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 è una sottoclasse di Bevanda |
(subclass ProcessedMilk CowMilk) | Food.kif 2828-2828 | ProcessedMilk è una sottoclasse di CowMilk |
(subclass ProcessedMilk DairyArtifact) | Food.kif 2826-2826 | ProcessedMilk è una sottoclasse di DairyArtifact |
appearance as argument number 2 |
(relatedInternalConcept Milk ProcessedMilk) | Mid-level-ontology.kif 10891-10891 | Milk è interamente correlato a ProcessedMilk |
(subclass MilkFoam ProcessedMilk) | Food.kif 1227-1227 | MilkFoam è una sottoclasse di ProcessedMilk |
(subclass OnePercentMilk ProcessedMilk) | Food.kif 2964-2964 | OnePercentMilk è una sottoclasse di ProcessedMilk |
(subclass SemiSkimmedMilk ProcessedMilk) | Food.kif 2988-2988 | SemiSkimmedMilk è una sottoclasse di ProcessedMilk |
(subclass SkimmedMilk ProcessedMilk) | Food.kif 3013-3013 | SkimmedMilk è una sottoclasse di ProcessedMilk |
(subclass TwoPercentMilk ProcessedMilk) | Food.kif 2940-2940 | TwoPercentMilk è una sottoclasse di ProcessedMilk |
(subclass WholeMilk ProcessedMilk) | Food.kif 2845-2845 | WholeMilk è una sottoclasse di ProcessedMilk |
(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 |