TreeView Knowledge Base Browser - Evacuation

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

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2490-2497
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10976-10976
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10977-10977
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10978-10978
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10979-10979
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10980-10980
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10008-10008
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2489-2489	Evacuating is a subclass of intentional process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22618-22618
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22617-22617
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22616-22616
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2835-2835

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2609-2623	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2542-2546	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2534-2538	If a process is an instance of evacuating and an agent experiences the process, then the agent is an instance of human
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2516-2530	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2501-2511	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6532-6543	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 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