TreeView 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 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	subclass Evacuation and IntentionalProcess

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	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 ProcessA は組織 Organization の一部では %n 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 2626-2642	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 ProcessA は組織 Organization の一部では %n member ProcessA and Organization equal ProcessA and Organization
(=> (and (instance ?EV Evacuation) (agent ?EV ?H)) (instance ?H CognitiveAgent))	MilitaryProcesses.kif 2541-2545	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 2533-2537	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 2590-2604	instance Process and Evacuation experiencer Process and Agent agent Process and Organization Process ProcessA instance Process and TherapeuticProcess subProcess Process and Process ProcessA は組織 Organization の一部では %n 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 2572-2586	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 ProcessA は組織 Organization の一部では %n 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 2553-2568	instance Process and Evacuation origin Process and Object agent Process and Organization Process ProcessA instance Process and Transportation destination Process and Object ProcessA は組織 Organization の一部では %n 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 2515-2529	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 2500-2510	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: