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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Reversing

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

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 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