Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Reversing
Reversingchange_by_reversal, invert, reverse, reversing, roll_over, turn, turn_back

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 15071-15072
(subclass Reversing Motion) Mid-level-ontology.kif 15070-15070

appearance as argument number 2

(termFormat EnglishLanguage Reversing "reversing") domainEnglishFormat.kif 8736-8736


        (instance ?REVERSE Reversing)
        (patient ?REVERSE ?OBJ)
                (WhenFn ?REVERSE))
                (top ?TOP ?OBJ)
                (bottom ?BOTTOM ?OBJ))))
            (WhenFn ?REVERSE))
            (top ?BOTTOM ?OBJ)
            (bottom ?TOP ?OBJ))))
Mid-level-ontology.kif 15074-15079

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners