Evacuation - Sigma Knowledge base Browser

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

appearance as argument number 2

(termFormat ChineseLanguage Evacuation "疏散")	domainEnglishFormat.kif 22543-22543
(termFormat ChineseTraditionalLanguage Evacuation "疏散")	domainEnglishFormat.kif 22542-22542
(termFormat EnglishLanguage Evacuation "evacuation")	domainEnglishFormat.kif 22541-22541

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	instance Process and Evacuation agent Process and Organization experiencer Process and Agent Process ProcessA instance Process and Classifying subProcess Process and Process experiencer Process and Agent subOrganization ProcessA and Organization member ProcessA and Organization equal ProcessA and Organization agent Process and ProcessA
(=> (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	instance Process and Evacuation agent Process and Organization origin Process and Object Process ProcessA instance Process and Translocation subProcess Process and Process origin Process and Object experiencer Process and ProcessA agent Process and ProcessA subOrganization ProcessA and Organization member ProcessA and Organization equal ProcessA and Organization
(=> (and (instance ?EV Evacuation) (agent ?EV ?H)) (instance ?H CognitiveAgent))	MilitaryProcesses.kif 2522-2526	instance Process and Evacuation agent Process and Agent instance Agent and CognitiveAgent
(=> (and (instance ?EV Evacuation) (agent ?EV ?MIL) (instance ?MIL MilitaryOrganization) (experiencer ?EV ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?EV)) (attribute ?P Evacuee)))	MilitaryPersons.kif 133-140	instance Process and Evacuation agent Process and Agent instance Agent and MilitaryOrganization experiencer Process and Agent holdsDuring ImmediateFutureFn WhenFn Process and attribute Agent and Evacuee
(=> (and (instance ?EV Evacuation) (experiencer ?EV ?H)) (instance ?H Human))	MilitaryProcesses.kif 2514-2518	instance Process and Evacuation experiencer Process and Agent instance Agent and Human
(=> (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	instance Process and Evacuation experiencer Process and Agent agent Process and Organization Process ProcessA instance Process and TherapeuticProcess subProcess Process and Process subOrganization ProcessA and Organization member ProcessA and Organization equal ProcessA and Organization agent Process and ProcessA experiencer Process and Agent
(=> (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	instance Process and Evacuation origin Process and Object agent Process and Organization Process ProcessA instance Process and Maintaining eventLocated Process and Object subProcess Process and Process subOrganization ProcessA and Organization member ProcessA and Organization equal ProcessA and Organization agent Process and ProcessA
(=> (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	instance Process and Evacuation origin Process and Object agent Process and Organization Process ProcessA instance Process and Transportation destination Process and Object subOrganization ProcessA and Organization member ProcessA and Organization equal ProcessA and Organization agent Process and ProcessA patient Process and ProcessA
(=> (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	instance Process and Evacuation origin Process and GeographicArea agent Process and CognitiveAgent Process instance Process and Process geographicSubregion GeographicArea and WhereFn Process and BeginFn WhenFn Process causes Process and Process believes CognitiveAgent and attribute Process and Dangerous
(=> (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	instance Process and Evacuation origin Process and Object destination Process and Entity Process instance Process and Translocation subProcess Process and Process destination Process and Entity origin Process and Object

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

holdsDuring TimeInterval and attribute Agent and Evacuee instance TimeInterval and TimeInterval
Process Agent instance Process and Evacuation agent Process and Agent instance Agent and MilitaryOrganization experiencer Process and Agent earlier WhenFn Process and TimeInterval

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: