MilitaryOperation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MilitaryOperation

MilitaryOperation(軍事行動)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 19-21
No TPTP formula. May not be expressible in strict first order.	Military.kif 23-23	子類軍事行動 and MilitaryProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2432-2432	範圍任務中止 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2362-2362	子類民政活動 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2168-2168	子類反操作 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 388-388	子類直接行動活動 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	Military.kif 49-49	子類食品配送業務 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1905-1905	子類外國內部防禦 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1850-1850	子類信息操作 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1716-1716	子類聯合行動 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 422-422	子類軍事攻擊 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1521-1521	子類運營計劃 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1105-1105	子類心理操作 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 673-673	子類 ReconnaissanceOperation and 軍事行動
No TPTP formula. May not be expressible in strict first order.	Military.kif 80-80	子類安全行動 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 272-272	子類特別行動 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37699-37699	子類特別行動 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37698-37698	子類特別行動 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37697-37697	子類特別行動 and 軍事行動

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2431-2431	域任務中止, 2 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1315-1315	域經營範圍, 2 and 軍事行動

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1326-1331	例軍事行動 and 軍事行動軍事行動是 located 在 Region 例 Region and Region 經營範圍 Region and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1794-1800	例 Entity and OPLAN 代表 Entity and Process 例 Process and 軍事行動子過程 ProcessSUB and Process 代表 Entity and ProcessSUB
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1678-1683	例 Physical and 操作順序例 Entity and 軍事行動有目的 Physical and coordinates Physical and Entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1573-1580	例 Proposition and 運作計劃例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition 例 Process and 軍事行動結果 Process and 內容承載物理代表 Proposition and Process
No TPTP formula. May not be expressible in strict first order.	Military.kif 25-30	例 Entity and 軍事行動 Entity 例 Entity and Plan 代表 Entity and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1293-1303	例 Process and 支持HW 協助體驗者 Process and AutonomousAgent 例 AutonomousAgent and 主辦國 Process 例 Process and 軍事行動例 Process and 幫助體驗者 Process and AutonomousAgent 患者 Process and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2174-2184	例 Physical and 反操作有目的 Physical and entity entity, entity and entity agent Physical and entity enemy entity and entity 子類 entity and 軍事行動例 entity and entity agent entity and entity 防止 Physical 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