Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MoveToEvac
MoveToEvac(move to evac)

appearance as argument number 1
-------------------------


(subclass MoveToEvac Transportation) Medicine.kif 6578-6578 Move to evac is a subclass of transportation

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage MoveToEvac "move to evac") Medicine.kif 6579-6579

antecedent
-------------------------


(=>
    (and
        (instance ?M MoveToEvac)
        (objectTransferred ?M ?P))
    (hasPurpose ?M
        (exists (?E)
            (and
                (instance ?E Evacuation)
                (objectTransferred ?E ?P)
                (earlier
                    (WhenFn ?M)
                    (WhenFn ?E))))))		 Medicine.kif 6580-6591 If X is an instance of move to evac and the object transferred in X is Y, then X has the purpose there exists Z such that Z is an instance of evacuating, the object transferred in Z is Y, and the time of existence of X happens earlier than the time of existence of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners