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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Evacuation
Evacuation(evacuation)
more pictures...
evacuate, evacuation

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


s__documentation(s__Evacuation,s__EnglishLanguage,'"Emergency evacuation is the movement of persons from a dangerous place due to the threat or occurrence of a disastrous event (see also Evacuation). Examples are the evacuation of a building due to a bomb threat or fire and the evacuation of a district because of a flood or bombardment or an evacuation from a city due to a Hurricane. In situations involving hazardous materials or possible contamination, evacuees may be decontaminated prior to being transported out of the contaminated area. (from Wikipedia)"')

MilitaryProcesses.kif 2470-2477
s__externalImage(s__Evacuation,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 47/ Evacuation_route_sign3.jpg"')

pictureList.kif 11002-11002
s__externalImage(s__Evacuation,'"http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ I-45_%26_Louetta_Rita_Evacuation.jpg"')

pictureList.kif 11003-11003
s__externalImage(s__Evacuation,'"http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Volcano_evacuation_route_sign.jpg"')

pictureList.kif 11004-11004
s__externalImage(s__Evacuation,'"http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Hurricane_Route_sign_Tulane_Avenue_floodlines.jpg"')

pictureList.kif 11005-11005
s__externalImage(s__Evacuation,'"http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ MetairieCauseway_08_31_2005.jpg"')

pictureList.kif 11006-11006
s__externalImage(s__Evacuation,'"http://upload.wikimedia.org/wikipedia/en/0/03/ Exit_sign.jpg"')

pictureList.kif 10026-10026
s__instance(s__IntentionalProcess,s__SetOrClass)

s__instance(s__Evacuation,s__SetOrClass)

s__subclass(s__Evacuation,s__IntentionalProcess)

MilitaryProcesses.kif 2469-2469 Evacuation is a subclass of intentional process

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


s__termFormat(s__ChineseLanguage,s__Evacuation,'"疏散"')

domainEnglishFormat.kif 22611-22611
s__termFormat(s__ChineseTraditionalLanguage,s__Evacuation,'"疏散"')

domainEnglishFormat.kif 22610-22610
s__termFormat(s__EnglishLanguage,s__Evacuation,'"evacuation"')

domainEnglishFormat.kif 22609-22609

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


( ! [V__EV,V__P,V__A] :
   (((s__instance(V__P,s__Agent) &
         s__instance(V__A,s__Organization))
       =>
       (((s__instance(V__EV,s__Evacuation) &
             s__agent(V__EV,V__A)
           &
           s__experiencer(V__EV,V__P))
       =>
       (( ? [V__C, V__CA] :
           ((s__instance(V__CA,s__Organization) &
               (s__instance(V__C,s__Classifying) &
                 s__subProcess(V__C,V__EV)
               &
               s__experiencer(V__C,V__P)
             &
             (s__subOrganization(V__CA,V__A)
             |
             s__member(V__CA,V__A)
           |
           (V__CA = V__A))
         &
         s__agent(V__C,V__CA)))))))))
)
)

MilitaryProcesses.kif 2589-2603
( ! [V__O,V__EV,V__A] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__A,s__Organization))
       =>
       (((s__instance(V__EV,s__Evacuation) &
             s__agent(V__EV,V__A)
           &
           s__origin(V__EV,V__O))
       =>
       (( ? [V__T, V__TA] :
           ((s__instance(V__TA,s__Organization) &
               (s__instance(V__T,s__Translocation) &
                 s__subProcess(V__T,V__EV)
               &
               s__origin(V__T,V__O)
             &
             (s__experiencer(V__T,V__TA)
             |
             s__agent(V__T,V__TA))
         &
         (s__subOrganization(V__TA,V__A)
         |
         s__member(V__TA,V__A)
       |
       (V__TA = V__A))))))))))
)
)

MilitaryProcesses.kif 2607-2623
( ! [V__EV,V__H] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__EV,s__Evacuation) &
             s__agent(V__EV,V__H))
         =>
         (s__instance(V__H,s__CognitiveAgent)))))
   )
)

MilitaryProcesses.kif 2522-2526
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 133-140
( ! [V__EV,V__H] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__EV,s__Evacuation) &
             s__experiencer(V__EV,V__H))
         =>
         (s__instance(V__H,s__Human)))))
   )
)

MilitaryProcesses.kif 2514-2518
( ! [V__EV,V__P,V__A] :
   (((s__instance(V__P,s__Agent) &
         s__instance(V__A,s__Organization))
       =>
       (((s__instance(V__EV,s__Evacuation) &
             s__experiencer(V__EV,V__P)
           &
           s__agent(V__EV,V__A))
       =>
       (( ? [V__M, V__MA] :
           ((s__instance(V__MA,s__Organization) &
               (s__instance(V__M,s__TherapeuticProcess) &
                 s__subProcess(V__M,V__EV)
               &
               (s__subOrganization(V__MA,V__A)
               |
               s__member(V__MA,V__A)
             |
             (V__MA = V__A))
           &
           s__agent(V__M,V__MA)
         &
         s__experiencer(V__M,V__P)))))))))
)
)

MilitaryProcesses.kif 2571-2585
( ! [V__O,V__EV,V__A] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__A,s__Organization))
       =>
       (((s__instance(V__EV,s__Evacuation) &
             s__origin(V__EV,V__O)
           &
           s__agent(V__EV,V__A))
       =>
       (( ? [V__M, V__MA] :
           ((s__instance(V__MA,s__Organization) &
               (s__instance(V__M,s__Maintaining) &
                 s__eventLocated(V__M,V__O)
               &
               s__subProcess(V__M,V__EV)
             &
             (s__subOrganization(V__MA,V__A)
             |
             s__member(V__MA,V__A)
           |
           (V__MA = V__A))
         &
         s__agent(V__M,V__MA)))))))))
)
)

MilitaryProcesses.kif 2553-2567
( ! [V__O,V__EV,V__A] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__A,s__Organization))
       =>
       (((s__instance(V__EV,s__Evacuation) &
             s__origin(V__EV,V__O)
           &
           s__agent(V__EV,V__A))
       =>
       (( ? [V__T, V__TA] :
           ((s__instance(V__TA,s__Organization) &
               (s__instance(V__T,s__Transportation) &
                 s__destination(V__T,V__O)
               &
               (s__subOrganization(V__TA,V__A)
               |
               s__member(V__TA,V__A)
             |
             (V__TA = V__A))
           &
           (s__agent(V__T,V__TA)
           |
           s__patient(V__T,V__TA))))))))))
)
)

MilitaryProcesses.kif 2534-2549
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2496-2510
( ! [V__EV,V__OR,V__D] :
   ((s__instance(V__OR,s__Object) =>
       (((s__instance(V__EV,s__Evacuation) &
             s__origin(V__EV,V__OR)
           &
           s__destination(V__EV,V__D))
       =>
       (( ? [V__L] :
           ((s__instance(V__L,s__Translocation) &
               s__subProcess(V__L,V__EV)
             &
             s__destination(V__L,V__D)
           &
           s__origin(V__L,V__OR))))))))
)
)

MilitaryProcesses.kif 2481-2491

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 120-131


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