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(疏散)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2522-2529
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10969-10969
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10970-10970
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10971-10971
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10972-10972
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10973-10973
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10006-10006
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2521-2521	子類疏散 and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22630-22630
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22629-22629
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22628-22628
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 3005-3005

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2641-2655	例 Process and 疏散 agent Process and Organization 體驗者 Process and AutonomousAgent Process ProcessA 例 Process and Classifying 子過程 Process and Process 體驗者 Process and AutonomousAgent 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2659-2675	例 Process and 疏散 agent Process and Organization 起源 Process and Object Process ProcessA 例 Process and 易位子過程 Process and Process 起源 Process and Object 體驗者 Process and ProcessA agent Process and ProcessA 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2574-2578	例 Process and 疏散 agent Process and AutonomousAgent 例 AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 133-140	例 Process and 疏散 agent Process and AutonomousAgent 例 AutonomousAgent and 軍事組織體驗者 Process and AutonomousAgent 持有期間眼前的未來何時 Process and attribute AutonomousAgent and 撤離者
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2566-2570	例 Process and 疏散體驗者 Process and AutonomousAgent 例 AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2623-2637	例 Process and 疏散體驗者 Process and AutonomousAgent agent Process and Organization Process ProcessA 例 Process and TherapeuticProcess 子過程 Process and Process 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2605-2619	例 Process and 疏散起源 Process and Object agent Process and Organization Process ProcessA 例 Process and Maintaining Process 是 located 在 Object 子過程 Process and Process 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2586-2601	例 Process and 疏散起源 Process and Object agent Process and Organization Process ProcessA 例 Process and Transportation 目的地 Process and Object 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA 患者 Process and ProcessA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2548-2562	例 Process and 疏散起源 Process and GeographicArea agent Process and CognitiveAgent Process 例 Process and Process GeographicArea 是哪裡 Process and 開始何時 Process 的 geographic 次要地區原因 Process and Process 相信 CognitiveAgent and attribute Process and 危險
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2533-2543	例 Process and 疏散起源 Process and Object 目的地 Process and Entity Process 例 Process and 易位子過程 Process and Process 目的地 Process and Entity 起源 Process and Object

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	持有期間 TimeInterval and attribute AutonomousAgent and 撤離者例 TimeInterval and TimeInterval Process AutonomousAgent 例 Process and 疏散 agent Process and AutonomousAgent 例 AutonomousAgent and 軍事組織體驗者 Process and AutonomousAgent 早期何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6516-6527	例 Transfer and MoveToEvac objectTransferred Transfer and Object 有目的 Transfer and entity 例 entity and 疏散 objectTransferred entity and Object 早期何時 Transfer and 何時 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