Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Evacuation(evacuating)
more pictures... |  | evacuate, evacuation |
| appearance as argument number 1 |
|
|
| (subclass Evacuation IntentionalProcess) | MilitaryProcesses.kif 2564-2564 | Evacuating is a subclass of intentional process |
| (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 2565-2572 | Evacuating is a subclass of intentional process |
| (externalImage Evacuation "http://upload.wikimedia.org/wikipedia/en/0/03/ Exit_sign.jpg") | pictureList.kif 10006-10006 | Evacuating is a subclass of intentional process |
| (externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 47/ Evacuation_route_sign3.jpg") | pictureList.kif 10969-10969 | Evacuating is a subclass of intentional process |
| (externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ I-45_%26_Louetta_Rita_Evacuation.jpg") | pictureList.kif 10970-10970 | Evacuating is a subclass of intentional process |
| (externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Volcano_evacuation_route_sign.jpg") | pictureList.kif 10971-10971 | Evacuating is a subclass of intentional process |
| (externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Hurricane_Route_sign_Tulane_Avenue_floodlines.jpg") | pictureList.kif 10972-10972 | Evacuating is a subclass of intentional process |
| (externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ MetairieCauseway_08_31_2005.jpg") | pictureList.kif 10973-10973 | Evacuating is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?EV Evacuation) (agent ?EV ?MIL) (instance ?MIL MilitaryOrganization) (experiencer ?EV ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?EV)) (attribute ?P Evacuee))) |
MilitaryPersons.kif 134-143 | If X is an instance of evacuating, Y is an agent of X, Y is an instance of military organization, and Z experiences X, then evacuee is an attribute of Z holds during immediately after the time of existence of X |
| (=> (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 2576-2586 | If X is an instance of evacuating, X originates at Y, and X ends up at Z, then there exists W such that W is an instance of translocation, W is a subprocess of X, W ends up at Z, and W originates at Y |
| (=> (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 2591-2605 | If X is an instance of evacuating, X originates at Y, and Z is an agent of X, then there exists W such that W is an instance of process, Y is a geographic subregion of the place where W was at the beginning of the time of existence of X, W causes X, and Z believes dangerous is an attribute of W |
| (=> (and (instance ?EV Evacuation) (experiencer ?EV ?H)) (instance ?H Human)) |
MilitaryProcesses.kif 2609-2613 | If X is an instance of evacuating and Y experiences X, then Y is an instance of human |
| (=> (and (instance ?EV Evacuation) (agent ?EV ?H)) (instance ?H CognitiveAgent)) |
MilitaryProcesses.kif 2617-2621 | If X is an instance of evacuating and Y is an agent of X, then Y is an instance of cognitive agent |
| (=> (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 2629-2644 | If X is an instance of evacuating, X originates at Y, and Z is an agent of X, then there exist W, V such that W is an instance of transportation, W ends up at Y, V is a part of the organization Z, V is a member of Z, equal V, Z, and V is an agent of W, or V is a patient of W |
| (=> (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 2648-2662 | If X is an instance of evacuating, X originates at Y, and Z is an agent of X, then All of the following hold: (1) there exist W (2) V such that W is an instance of maintaining (3) W is located at Y (4) W is a subprocess of X (5) V is a part of the organization Z, V is a member of Z, or equal V (6) Z (7) V is an agent of W |
| (=> (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 2666-2680 | If X is an instance of evacuating, Y experiences X, and Z is an agent of X, then All of the following hold: (1) there exist W (2) V such that W is an instance of therapeutic process (3) W is a subprocess of X (4) V is a part of the organization Z, V is a member of Z, or equal V (5) Z (6) V is an agent of W (7) Y experiences W |
| (=> (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 2684-2698 | If X is an instance of evacuating, Y is an agent of X, and Z experiences X, then All of the following hold: (1) there exist W (2) V such that W is an instance of classifying (3) W is a subprocess of X (4) Z experiences W (5) V is a part of the organization Y, V is a member of Y, or equal V (6) Y (7) V is an agent of W |
| (=> (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 2702-2718 | If X is an instance of evacuating, Y is an agent of X, and X originates at Z, then All of the following hold: (1) there exist W (2) V such that W is an instance of translocation (3) W is a subprocess of X (4) W originates at Z (5) V experiences W, V is an agent of W (6) V is a part of the organization Y, V is a member of Y, or equal V (7) Y |
| consequent |
|
|
| (=> (and (instance ?M MoveToEvac) (objectTransferred ?M ?P)) (hasPurpose ?M (exists (?E) (and (instance ?E Evacuation) (objectTransferred ?E ?P) (earlier (WhenFn ?M) (WhenFn ?E)))))) |
Medicine.kif 6580-6591 | If X is an instance of move to evac and the object transferred in X is Y, then X has the purpose there exists Z such that Z is an instance of evacuating, the object transferred in Z is Y, and the time of existence of X happens earlier than the time of existence of Z |
| (=> (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 121-132 | If evacuee is an attribute of X holds during Y and Y is an instance of timeframe, then there exist Z, W such that Z is an instance of evacuating, W is an agent of Z, W is an instance of military organization, X experiences Z, and the time of existence of Z happens earlier than Y |
|