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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Evacuation
Evacuation
more pictures...

VerbNet: banish-10.2|evacuate,


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


(documentation Evacuation 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
(externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 47/ Evacuation_route_sign3.jpg") pictureList.kif 11003-11003 externalImage Evacuation and "http://upload.wikimedia.org/wikipedia/commons/4/47/ Evacuation_route_sign3.jpg"
(externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ I-45_%26_Louetta_Rita_Evacuation.jpg") pictureList.kif 11004-11004 externalImage Evacuation and "http://upload.wikimedia.org/wikipedia/commons/a/a7/ I-45_%26_Louetta_Rita_Evacuation.jpg"
(externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Volcano_evacuation_route_sign.jpg") pictureList.kif 11005-11005 externalImage Evacuation and "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Volcano_evacuation_route_sign.jpg"
(externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Hurricane_Route_sign_Tulane_Avenue_floodlines.jpg") pictureList.kif 11006-11006 externalImage Evacuation and "http://upload.wikimedia.org/wikipedia/commons/c/cb/ Hurricane_Route_sign_Tulane_Avenue_floodlines.jpg"
(externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ MetairieCauseway_08_31_2005.jpg") pictureList.kif 11007-11007 externalImage Evacuation and "http://upload.wikimedia.org/wikipedia/commons/d/d0/ MetairieCauseway_08_31_2005.jpg"
(externalImage Evacuation "http://upload.wikimedia.org/wikipedia/en/0/03/ Exit_sign.jpg") pictureList.kif 10027-10027 externalImage Evacuation and "http://upload.wikimedia.org/wikipedia/en/0/03/Exit_sign.jpg"
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2469-2469 subclass Evacuation and IntentionalProcess

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


(termFormat ChineseLanguage Evacuation "疏散") domainEnglishFormat.kif 22549-22549 termFormat ChineseLanguage, Evacuation and "疏散"
(termFormat ChineseTraditionalLanguage Evacuation "疏散") domainEnglishFormat.kif 22548-22548 termFormat ChineseTraditionalLanguage, Evacuation and "疏散"
(termFormat EnglishLanguage Evacuation "evacuation") domainEnglishFormat.kif 22547-22547 termFormat EnglishLanguage, Evacuation and "evacuation"

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


(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?A)
        (experiencer ?EV ?P))
    (exists (?C ?CA)
        (and
            (instance ?C Classifying)
            (subProcess ?C ?EV)
            (experiencer ?C ?P)
            (or
                (subOrganization ?CA ?A)
                (member ?CA ?A)
                (equal ?CA ?A))
            (agent ?C ?CA))))
MilitaryProcesses.kif 2589-2603
(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?A)
        (origin ?EV ?O))
    (exists (?T ?TA)
        (and
            (instance ?T Translocation)
            (subProcess ?T ?EV)
            (origin ?T ?O)
            (or
                (experiencer ?T ?TA)
                (agent ?T ?TA))
            (or
                (subOrganization ?TA ?A)
                (member ?TA ?A)
                (equal ?TA ?A)))))
MilitaryProcesses.kif 2607-2623
(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?H))
    (instance ?H CognitiveAgent))
MilitaryProcesses.kif 2522-2526
(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?MIL)
        (instance ?MIL MilitaryOrganization)
        (experiencer ?EV ?P))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?EV))
        (attribute ?P Evacuee)))
MilitaryPersons.kif 133-140
(=>
    (and
        (instance ?EV Evacuation)
        (experiencer ?EV ?H))
    (instance ?H Human))
MilitaryProcesses.kif 2514-2518
(=>
    (and
        (instance ?EV Evacuation)
        (experiencer ?EV ?P)
        (agent ?EV ?A))
    (exists (?M ?MA)
        (and
            (instance ?M TherapeuticProcess)
            (subProcess ?M ?EV)
            (or
                (subOrganization ?MA ?A)
                (member ?MA ?A)
                (equal ?MA ?A))
            (agent ?M ?MA)
            (experiencer ?M ?P))))
MilitaryProcesses.kif 2571-2585
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?O)
        (agent ?EV ?A))
    (exists (?M ?MA)
        (and
            (instance ?M Maintaining)
            (eventLocated ?M ?O)
            (subProcess ?M ?EV)
            (or
                (subOrganization ?MA ?A)
                (member ?MA ?A)
                (equal ?MA ?A))
            (agent ?M ?MA))))
MilitaryProcesses.kif 2553-2567
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?O)
        (agent ?EV ?A))
    (exists (?T ?TA)
        (and
            (instance ?T Transportation)
            (destination ?T ?O)
            (or
                (subOrganization ?TA ?A)
                (member ?TA ?A)
                (equal ?TA ?A))
            (or
                (agent ?T ?TA)
                (patient ?T ?TA)))))
MilitaryProcesses.kif 2534-2549
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?OR)
        (agent ?EV ?A))
    (exists (?P)
        (and
            (instance ?P Process)
            (geographicSubregion ?OR
                (WhereFn ?P
                    (BeginFn
                        (WhenFn ?EV))))
            (causes ?P ?EV)
            (believes ?A
                (attribute ?P Dangerous)))))
MilitaryProcesses.kif 2496-2510
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?OR)
        (destination ?EV ?D))
    (exists (?L)
        (and
            (instance ?L Translocation)
            (subProcess ?L ?EV)
            (destination ?L ?D)
            (origin ?L ?OR))))
MilitaryProcesses.kif 2481-2491

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


(=>
    (and
        (holdsDuring ?T1
            (attribute ?P Evacuee))
        (instance ?T1 TimeInterval))
    (exists (?EV ?MIL)
        (and
            (instance ?EV Evacuation)
            (agent ?EV ?MIL)
            (instance ?MIL MilitaryOrganization)
            (experiencer ?EV ?P)
            (earlier
                (WhenFn ?EV) ?T1))))
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners