Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Crushing(crushing) |  | mill, pestle, pound, stamp |
| appearance as argument number 1 |
|
|
| (subclass Crushing Impacting) | Food.kif 939-939 | Crushing is a subclass of impacting |
| (subclass Crushing Compressing) | Food.kif 940-940 | Crushing is a subclass of compressing |
| (subclass Crushing ShapeChange) | Food.kif 941-941 | Crushing is a subclass of shape change |
| (relatedInternalConcept Crushing Breaking) | Food.kif 942-942 | Crushing is internally related to breaking |
| (documentation Crushing EnglishLanguage "Crushing is an Impacting with Compressing Motion applied to an Object, causing it to be broken, thus resulted in a ShapeChange.") | Food.kif 943-944 | Crushing is internally related to breaking |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Crushing "crushing") | Food.kif 945-945 | |
| (subclass Grinding Crushing) | Food.kif 983-983 | Grinding is a subclass of crushing |
| antecedent |
|
|
| (=> (instance ?C Crushing) (exists (?I ?CO ?O) (and (instance ?I Impacting) (subProcess ?C ?I) (instance ?CO Compressing) (patient ?I ?O) (patient ?CO ?O) (instance ?O Object)))) |
Food.kif 947-956 | If X is an instance of crushing, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of impacting (3) X is a subprocess of Y (4) Z is an instance of compressing (5) W is a patient of Y (6) W is a patient of Z (7) W is an instance of object |
| (=> (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 958-970 | If X is an instance of crushing, Y is a patient of X, and Y is an instance of object, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of breaking (3) X causes Z (4) Z is a subprocess of W (5) W is an instance of shape change (6) Y is a patient of Z (7) Y is a patient of W |
| (=> (and (instance ?C Crushing) (patient ?C ?O) (instance ?O Object)) (exists (?SC) (and (result ?C ?SC) (instance ?SC ShapeChange) (patient ?SC ?O)))) |
Food.kif 972-981 | If X is an instance of crushing, Y is a patient of X, and Y is an instance of object, then there exists Z such that Z is a result of X, Z is an instance of shape change, and Y is a patient of Z |
|