| ShapeChange | |
| appearance as argument number 1 |
|
|
| (documentation ShapeChange ChineseLanguage "这是在变 Object 形状的 Process。") | chinese_format.kif 3198-3198 | |
| (documentation ShapeChange EnglishLanguage "The Process of changing the shape of an Object.") | Merge.kif 12758-12759 | |
| (subclass ShapeChange InternalChange) | Merge.kif 12757-12757 |
| appearance as argument number 2 |
|
|
| (subclass Crushing ShapeChange) | Food.kif 963-963 | |
| (subclass Folding ShapeChange) | Mid-level-ontology.kif 3634-3634 | |
| (termFormat ChineseLanguage ShapeChange "形状变化") | chinese_format.kif 1175-1175 | |
| (termFormat EnglishLanguage ShapeChange "shape change") | english_format.kif 1567-1567 | |
| (termFormat FrenchLanguage ShapeChange "changement de forme") | french_format.kif 853-853 | |
| (termFormat Hindi ShapeChange "aakaara parivartana") | terms-hindi.txt 385-385 | |
| (termFormat ItalianLanguage ShapeChange "CambiamentoDiForma") | terms-it.txt 388-388 | |
| (termFormat JapaneseLanguage ShapeChange "形状変化") | japanese_format.kif 2537-2537 | |
| (termFormat PortugueseLanguage ShapeChange "Mudanca de Forma") | portuguese_format.kif 805-805 | |
| (termFormat cz ShapeChange "shape change") | terms-cz.txt 424-424 | |
| (termFormat de ShapeChange "Formaenderung") | terms-de.txt 683-683 | |
| (termFormat ro ShapeChange "schimbare de formã") | relations-ro.kif 874-874 | |
| (termFormat tg ShapeChange "pagpalit ng hugis") | terms-tg.txt 389-389 |
| antecedent |
|
|
| (=> (and (instance ?ALT ShapeChange) (patient ?ALT ?OBJ)) (exists (?PROPERTY) (and (instance ?PROPERTY ShapeAttribute) (or (and (holdsDuring (BeginFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY))))))) |
Merge.kif 12761-12774 |
| 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 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 | |
| (=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ)))) |
Merge.kif 17880-17887 | |
| (=> (and (instance ?P ThreeDPrinting) (instance ?X CompoundSubstance) (patient ?P ?X)) (exists (?SC) (and (instance ?SC ShapeChange) (subProcess ?SC ?P) (patient ?SC ?X)))) |
QoSontology.kif 525-534 | |
| (=> (instance ?L Lathe) (hasPurpose ?L (exists (?PROC ?OBJ) (and (instrument ?PROC ?L) (patient ?PROC ?OBJ) (or (instance ?PROC ShapeChange) (instance ?PROC SurfaceChange)))))) |
Economy.kif 6381-6390 | |
| (=> (instance ?X Sculpting) (exists (?SC ?OBJ) (and (instance ?OBJ Object) (patient ?X ?OBJ) (instance ?SC ShapeChange) (subProcess ?SC ?X) (patient ?SC ?OBJ)))) |
Mid-level-ontology.kif 3749-3757 |
|
|
|