Reversing - Sigma Knowledge base Browser

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 18603-18604
(subclass Reversing Motion)	Mid-level-ontology.kif 18602-18602	Reversing is a subclass of motion

appearance as argument number 2

(termFormat ChineseLanguage Reversing "逆")	domainEnglishFormat.kif 49907-49907
(termFormat ChineseTraditionalLanguage Reversing "逆")	domainEnglishFormat.kif 49906-49906
(termFormat EnglishLanguage Reversing "reversing")	domainEnglishFormat.kif 49905-49905

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

If a process is an instance of reversing and an entity is a patient of the process and the top of the entity is another entity and the bottom of the entity is a third entity holds during the beginning of the time of existence of the process,
then the top of the entity is the third entity and the bottom of the entity is the other entity holds during the end of the time of existence of the process

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: