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 17772-17773
(subclass Reversing Motion)	Mid-level-ontology.kif 17771-17771	Reversing is a subclass of motion

appearance as argument number 2

(termFormat ChineseLanguage Reversing "逆")	domainEnglishFormat.kif 49914-49914
(termFormat ChineseTraditionalLanguage Reversing "逆")	domainEnglishFormat.kif 49913-49913
(termFormat EnglishLanguage Reversing "reversing")	domainEnglishFormat.kif 49912-49912

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

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: