| Reversing | |
| appearance as argument number 1 |
|
|
| (documentation Reversing EnglishLanguage "Moving something in such a way that its top becomes its bottom and vice versa.") | Mid-level-ontology.kif 19065-19066 | |
| (subclass Reversing Motion) | Mid-level-ontology.kif 19064-19064 | Reversing est une sous-classe de d�palcement |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Reversing "逆") | domainEnglishFormat.kif 49878-49878 | |
| (termFormat ChineseTraditionalLanguage Reversing "逆") | domainEnglishFormat.kif 49877-49877 | |
| (termFormat EnglishLanguage Reversing "reversing") | domainEnglishFormat.kif 49876-49876 |
| antecedent |
|
|
| (=> (and (instance ?REVERSE Reversing) (patient ?REVERSE ?OBJ) (holdsDuring (BeginFn (WhenFn ?REVERSE)) (and (top ?TOP ?OBJ) (bottom ?BOTTOM ?OBJ)))) (holdsDuring (EndFn (WhenFn ?REVERSE)) (and (top ?BOTTOM ?OBJ) (bottom ?TOP ?OBJ)))) |
Mid-level-ontology.kif 19068-19073 |
|
|
|
|