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


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

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


(termFormat EnglishLanguage Evacuation "evacuation") domainEnglishFormat.kif 4191-4191 "evacuation" is the printable form of evacuation in english language

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 2576-2590
(=>
    (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 2594-2610
(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?H))
    (instance ?H CognitiveAgent))
MilitaryProcesses.kif 2509-2513
(=>
    (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 2501-2505
(=>
    (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 2558-2572
(=>
    (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 2540-2554
(=>
    (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 2521-2536
(=>
    (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 2483-2497
(=>
    (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 2468-2478

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