|
|
   Grinding
|
|
|
| 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 是 Breaking 的 subclass |
| (subclass Grinding Crushing) | Food.kif 1005-1005 | Grinding 是 Crushing 的 subclass |
| 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 |
|
|
|