Grinding(grinding) | bray, comminute, crunch, grind, mash |
appearance as argument number 1 |
(documentation Grinding EnglishLanguage "Grinding is a process where an object is experience a Crushing or Breaking resulting in the Object to be broken into small pieces, which were originally a part of the object.") | Food.kif 1007-1009 | |
(subclass Grinding Breaking) | Food.kif 1006-1006 | Grinding is a subclass of breaking |
(subclass Grinding Crushing) | Food.kif 1005-1005 | Grinding is a subclass of crushing |
appearance as argument number 2 |
(termFormat EnglishLanguage Grinding "grinding") | Food.kif 1010-1010 |
antecedent |
(=> (and (instance ?G Grinding) (patient ?G ?O) (instance ?O CorpuscularObject)) (holdsDuring (EndFn (WhenFn ?G)) (exists (?C) (and (result ?G ?C) (instance ?C Collection) (forall (?M) (=> (member ?M ?C) (part ?M ?O))))))) |
Food.kif 1012-1026 |
|
consequent |
(=> (instance ?CG CoffeeGrind) (exists (?G ?CB) (and (instance ?G Grinding) (patient ?G ?CB) (instance ?CB CoffeeBean) (attribute ?CB CookedAttribute) (result ?G ?CG)))) |
Food.kif 1034-1042 |
|
(=> (instance ?F Flour) (exists (?P ?C) (and (instance ?P Grinding) (patient ?P ?C) (instance ?C CerealGrain) (result ?P ?F)))) |
Food.kif 1476-1483 |
|