|
|
   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 2489-2496 | |
| (externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 47/ Evacuation_route_sign3.jpg") | pictureList.kif 10992-10992 | |
| (externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ I-45_%26_Louetta_Rita_Evacuation.jpg") | pictureList.kif 10993-10993 | |
| (externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Volcano_evacuation_route_sign.jpg") | pictureList.kif 10994-10994 | |
| (externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Hurricane_Route_sign_Tulane_Avenue_floodlines.jpg") | pictureList.kif 10995-10995 | |
| (externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ MetairieCauseway_08_31_2005.jpg") | pictureList.kif 10996-10996 | |
| (externalImage Evacuation "http://upload.wikimedia.org/wikipedia/en/0/03/ Exit_sign.jpg") | pictureList.kif 10017-10017 | |
| (subclass Evacuation IntentionalProcess) | MilitaryProcesses.kif 2488-2488 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Evacuation "疏散") | domainEnglishFormat.kif 22611-22611 | |
| (termFormat ChineseTraditionalLanguage Evacuation "疏散") | domainEnglishFormat.kif 22610-22610 | |
| (termFormat EnglishLanguage Evacuation "evacuation") | domainEnglishFormat.kif 22609-22609 |
| 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 2608-2622 | |
| (=> (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 2626-2642 | |
| (=> (and (instance ?EV Evacuation) (agent ?EV ?H)) (instance ?H CognitiveAgent)) |
MilitaryProcesses.kif 2541-2545 | |
| (=> (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 2533-2537 | |
| (=> (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 2590-2604 | |
| (=> (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 2572-2586 | |
| (=> (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 2553-2568 | |
| (=> (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 2515-2529 | |
| (=> (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 2500-2510 |
| 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 |
|
|
|
