|
|
   Crushing
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Crushing EnglishLanguage "Crushing is an Impacting with Compressing Motion appled to an Object, causing it to be broken, thus resulted in a ShapeChange.") | Food.kif 965-966 | |
| (relatedInternalConcept Crushing Breaking) | Food.kif 964-964 | Crushing は Breaking に internally 関連して %n |
| (subclass Crushing Compressing) | Food.kif 962-962 | Crushing は Compressing の subclass では %n |
| (subclass Crushing Impacting) | Food.kif 961-961 | Crushing は 衝撃 の subclass では %n |
| (subclass Crushing ShapeChange) | Food.kif 963-963 | Crushing は 形状変化 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass Grinding Crushing) | Food.kif 1005-1005 | Grinding は Crushing の subclass では %n |
| (termFormat EnglishLanguage Crushing "crushing") | Food.kif 967-967 |
| antecedent |
|
|
| (=> (and (instance ?C Crushing) (patient ?C ?O) (instance ?O Object)) (exists (?B ?SC) (and (instance ?B Breaking) (causes ?C ?B) (subProcess ?B ?SC) (instance ?SC ShapeChange) (patient ?B ?O) (patient ?SC ?O)))) |
Food.kif 980-992 | |
| (=> (and (instance ?C Crushing) (patient ?C ?O) (instance ?O Object)) (exists (?SC) (and (result ?C ?SC) (instance ?SC ShapeChange) (patient ?SC ?O)))) |
Food.kif 994-1003 | |
| (=> (instance ?C Crushing) (exists (?I ?C ?O) (and (instance ?I Impacting) (subProcess ?C ?I) (instance ?C Compressing) (patient ?I ?O) (patient ?C ?O) (instance ?O Object)))) |
Food.kif 969-978 |
|
|
|