| 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 12421-12422 | |
| (subclass ShapeChange InternalChange) | Merge.kif 12420-12420 |
| appearance as argument number 2 |
|
|
| (subclass Folding ShapeChange) | Mid-level-ontology.kif 3120-3120 | |
| (termFormat ChineseLanguage ShapeChange "形状变化") | chinese_format.kif 1175-1175 | |
| (termFormat EnglishLanguage ShapeChange "shape change") | english_format.kif 1567-1567 |
| 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 12424-12437 |
| consequent |
|
|
| (=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ)))) |
Merge.kif 17490-17497 | |
| (=> (instance ?L Lathe) (hasPurpose ?L (exists (?PROC ?OBJ) (and (instrument ?PROC ?L) (patient ?PROC ?OBJ) (or (instance ?PROC ShapeChange) (instance ?PROC SurfaceChange)))))) |
Economy.kif 5031-5040 | |
| (=> (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 3236-3244 |
|
|
|