Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Breaking(breaking) |  | break, dash, fracture, shatter, smash, stave_in |
| appearance as argument number 1 |
|
|
| (subclass Breaking Damaging) | Merge.kif 12788-12788 | Breaking is a subclass of damaging |
| (subclass Breaking Separating) | Merge.kif 12789-12789 | Breaking is a subclass of separating |
| (documentation Breaking EnglishLanguage "A Damaging that involves Separating the parts of a CorpuscularObject.") | Merge.kif 12790-12791 | Breaking is a subclass of separating |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Crushing Breaking) | Food.kif 942-942 | Crushing is internally related to breaking |
| (subclass Grinding Breaking) | Food.kif 984-984 | Grinding is a subclass of breaking |
| (termFormat EnglishLanguage Breaking "breaking") | domainEnglishFormat.kif 64569-64569 | Grinding is a subclass of breaking |
| consequent |
|
|
| (=> (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 |
|