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 17513-17514 | |
(subclass Reversing Motion) | Mid-level-ontology.kif 17512-17512 |
appearance as argument number 2 |
(termFormat ChineseLanguage Reversing "逆") | domainEnglishFormat.kif 49874-49874 | |
(termFormat ChineseTraditionalLanguage Reversing "逆") | domainEnglishFormat.kif 49873-49873 | |
(termFormat EnglishLanguage Reversing "reversing") | domainEnglishFormat.kif 49872-49872 |
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 17516-17521 |