ShapeChange(changement de forme) |
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 12653-12654 | |
(subclass ShapeChange InternalChange) | Merge.kif 12652-12652 | Changement de forme est une sous-classe de changement interne |
appearance as argument number 2 |
(subclass Crushing ShapeChange) | Food.kif 963-963 | Crushing est une sous-classe de changement de forme |
(subclass Folding ShapeChange) | Mid-level-ontology.kif 3165-3165 | Folding est une sous-classe de changement de forme |
(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 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 12656-12669 |
|
consequent |