Evacuation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Evacuation

Evacuation(evacuating)

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 2522-2529
(externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 47/ Evacuation_route_sign3.jpg")	pictureList.kif 10969-10969
(externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ I-45_%26_Louetta_Rita_Evacuation.jpg")	pictureList.kif 10970-10970
(externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Volcano_evacuation_route_sign.jpg")	pictureList.kif 10971-10971
(externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ Hurricane_Route_sign_Tulane_Avenue_floodlines.jpg")	pictureList.kif 10972-10972
(externalImage Evacuation "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ MetairieCauseway_08_31_2005.jpg")	pictureList.kif 10973-10973
(externalImage Evacuation "http://upload.wikimedia.org/wikipedia/en/0/03/ Exit_sign.jpg")	pictureList.kif 10006-10006
(subclass Evacuation IntentionalProcess)	MilitaryProcesses.kif 2521-2521	Evacuating is a subclass of intentional process

appearance as argument number 2

(termFormat ChineseLanguage Evacuation "疏散")	domainEnglishFormat.kif 22630-22630
(termFormat ChineseTraditionalLanguage Evacuation "疏散")	domainEnglishFormat.kif 22629-22629
(termFormat EnglishLanguage Evacuation "evacuating")	domainEnglishFormat.kif 22628-22628
(termFormat EnglishLanguage Evacuation "evacuation")	MilitaryProcesses.kif 3005-3005

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 2641-2655	If a process is an instance of evacuating and an organization is an agent of the process and an agent experiences the process, then there exist another process and the other processA such that the other process is an instance of classifying and the other process is a subprocess of the process and the agent experiences the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
(=> (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 2659-2675	If a process is an instance of evacuating and an organization is an agent of the process and the process originates at an object, then there exist another process and the other processA such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process originates at the object and the other processA experiences the other process or the other processA is an agent of the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization
(=> (and (instance ?EV Evacuation) (agent ?EV ?H)) (instance ?H CognitiveAgent))	MilitaryProcesses.kif 2574-2578	If a process is an instance of evacuating and an agent is an agent of the process, then the agent is an instance of cognitive agent
(=> (and (instance ?EV Evacuation) (agent ?EV ?MIL) (instance ?MIL MilitaryOrganization) (experiencer ?EV ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?EV)) (attribute ?P Evacuee)))	MilitaryPersons.kif 133-140	If a process is an instance of evacuating and an agent is an agent of the process and the agent is an instance of military organization and another agent experiences the process, then evacuee is an attribute of the other agent holds during immediately after the time of existence of the process
(=> (and (instance ?EV Evacuation) (experiencer ?EV ?H)) (instance ?H Human))	MilitaryProcesses.kif 2566-2570	If a process is an instance of evacuating and an agent experiences the process, then the agent is an instance of 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 2623-2637	If a process is an instance of evacuating and an agent experiences the process and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of therapeutic process and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process and the agent experiences the other process
(=> (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 2605-2619	If a process is an instance of evacuating and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of maintaining and the other process is located at the object and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
(=> (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 2586-2601	If a process is an instance of evacuating and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of transportation and the other process ends up at the object and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process or the other processA is a patient of the other process
(=> (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 2548-2562	If a process is an instance of evacuating and the process originates at a geographic area and a cognitive agent is an agent of the process, then there exists another process such that the other process is an instance of process and the geographic area is a geographic subregion of the place where the other process was at the beginning of the time of existence of the process and the other process causes the process and the cognitive agent believes dangerous is an attribute of the other process
(=> (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 2533-2543	If a process is an instance of evacuating and the process originates at an object and the process ends up at an entity, then there exists another process such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process ends up at the entity and the other process originates at the 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	If evacuee is an attribute of an agent holds during a time interval and the time interval is an instance of time interval, then there exist a process and another agent such that the process is an instance of evacuating and the other agent is an agent of the process and the other agent is an instance of military organization and the agent experiences the process and the time of existence of the process happens earlier than the time interval
(=> (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 6516-6527	If a transfer is an instance of MoveToEvac and the object transferred in the transfer is an object, then the transfer has the purpose there exists an entity such that the entity is an instance of evacuating and the object transferred in the entity is the object and the time of existence of the transfer happens earlier than the time of existence of the entity

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