TreeView Knowledge Base Browser - MilitaryForce

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MilitaryForce

MilitaryForce(軍事力量)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3729-3730
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16657-16660
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7334-7334
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7335-7335
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7336-7336
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7337-7337
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7338-7338
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7339-7339
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7340-7340
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7341-7341
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6701-6701
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7342-7342
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16656-16656	子類軍事力量 and PoliticalOrganization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 792-792	子類兩棲偵察部隊 and 軍事力量
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2340-2340	子類民政 and 軍事力量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16666-16666	子類軍事組織 and 軍事力量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16672-16672	子類輔助的軍事組織 and 軍事力量
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37625-37625
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37624-37624
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37623-37623

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 285-296	例 Collection and 軍事力量例 AutonomousAgent and Human 例 Process and 監禁會員 AutonomousAgent and Collection agent Process and AutonomousAgent 患者 Process and AutonomousAgent enemy AutonomousAgent and AutonomousAgent Process 是 located 在 Object attribute Object and 戰爭狀態 attribute AutonomousAgent and 戰俘
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16662-16664	例 Object and 軍事力量能力 ViolentContest, agent and Object

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1960-1975	例 Process and 外國內部防禦 agent Process and AutonomousAgent 體驗者 Process and AutonomousAgent 有目的 Process and entity entity 例 entity and Learning 體驗者 entity and entity agent entity and AutonomousAgent AutonomousAgent 是 entity 的 military 區域例 entity and 軍事力量位於 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1582-1604	例 Process and 運營計劃 agent Process and AutonomousAgent 例 AutonomousAgent and 戰鬥指揮官 Process AutonomousAgent 例 Process and Requesting agent Process and AutonomousAgent attribute AutonomousAgent and 主席JCs 原因 Process and Process 例 AutonomousAgent and 統一指揮官 Process AutonomousAgentSUPER and Organization 例 Process and Requesting agent Process and AutonomousAgentSUPER attribute AutonomousAgentSUPER and 軍事指揮官 Organization 是對於 %3 的 subordinate 職位例 Organization and 軍事力量原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 321-326	持有期間 TimePosition and attribute entity and 平民被拘禁者持有期間 TimePosition and 例 entity and 軍事力量
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1357-1373	例 AutonomousAgent and 主辦國 Process Organization, GeopoliticalArea and 軍事組織例 GeopoliticalArea and Nation 例軍事組織 and 軍事力量 GeopoliticalArea 是軍事組織的 military 區域子組織 Organization and 軍事組織等於 AutonomousAgent and GeopoliticalArea enemy AutonomousAgent and GeopoliticalArea 例 Process and Getting agent Process and AutonomousAgent 患者 Process and Organization 例 Organization and 軍事力量位於 Organization and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Military.kif 197-202	例 Object and 軍車例 AutonomousAgent and 軍事力量擁有 AutonomousAgent and Object 能力 MilitaryProcess, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1514-1519	例 Process and MilitaryProcess AutonomousAgent agent Process and AutonomousAgent 例 AutonomousAgent and 軍事力量
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1663-1673	例 Process and 操作順序 AutonomousAgent Position and Organization agent Process and AutonomousAgent 起源 Process and AutonomousAgent 目的地 Process and Position 例 AutonomousAgent and 軍事指揮官例 Position and 軍事指揮官 Organization 是對於 %3 的 subordinate 職位例 Organization and 軍事力量

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