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 19051-19052
(subclass Reversing Motion)	Mid-level-ontology.kif 19050-19050	Reversing is a subclass of motion

appearance as argument number 2

(termFormat ChineseLanguage Reversing "逆")	domainEnglishFormat.kif 49877-49877
(termFormat ChineseTraditionalLanguage Reversing "逆")	domainEnglishFormat.kif 49876-49876
(termFormat EnglishLanguage Reversing "reversing")	domainEnglishFormat.kif 49875-49875

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

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: