TreeView Knowledge Base Browser - MilitaryOrganization

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MilitaryOrganization

Sigma KEE - MilitaryOrganization

MilitaryOrganization(軍事組織)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3731-3732
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16668-16670
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16667-16667	子類軍事組織 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16666-16666	子類軍事組織 and 軍事力量

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 904-904	例聯合參謀長 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 884-884	例聯合工作人員 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 951-951	例美軍 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Military.kif 798-798	子類空軍 - 服務單位 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 879-879	子類外部機構 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6057-6057	子類 FleetMarineForce and 軍事組織
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1723-1723	子類聯合部隊 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Military.kif 808-808	子類海軍陸戰隊-支部 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8369-8369	子類軍事後備力量 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8337-8337	子類兵役 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8354-8354	子類軍事單位 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Military.kif 813-813	子類 NavalAirForceBranchOfService and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Military.kif 816-816	子類 NavyBranchOfService and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22515-22515	子類維護和平任務 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 299-299	子類特種作戰部隊 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37679-37679
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37678-37678
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37677-37677

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Military.kif 825-825

域區域軍事, 1 and 軍事組織

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 461-466	attribute Organization and 和平國家例 Organization and 軍事組織 Position 是 Organization 的 leader 職位 Organization 是對於 %3 的 subordinate 職位
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 473-478	attribute Organization and 戰爭狀態例 Organization and 軍事組織 Position 是 Organization 的 leader 職位 Organization 是對於 %3 的 subordinate 職位
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	例協議 and 民政協議協議是 entity_MIL_THIS 的 party 協議例 entity_MIL_THIS and 軍事組織 entity_THIS 是 entity_MIL_THIS 的 military 區域例 entity_THIS and Nation 位於 entity_MIL_THIS and entity_FRIENDLY 例 entity_FRIENDLY and Nation 等於 entity_THIS and entity_FRIENDLY enemy entity_THIS and entity_FRIENDLY entity_FRIENDLY 位於 entity_FRIENDLY and entity_FRIENDLY 協議是 entity_FRIENDLY 的 party 協議例 entity_FRIENDLY and 軍事組織
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.	Mid-level-ontology.kif 22470-22475	例 Entity and 軍事組織持有期間 TimePosition and 會員 Entity and Entity 例 Entity and Human 持有期間 TimePosition and attribute Entity and 軍人
No TPTP formula. May not be expressible in strict first order.	Military.kif 788-793	例軍事組織 and 軍事組織 GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea GeopoliticalArea 是軍事組織的 military 區域

consequent

No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	attribute AutonomousAgent and Attribute 例 Attribute and 委任軍官級別 Process Object 例 Process and Managing agent Process and AutonomousAgent 患者 Process and Object 例 Object and 軍事組織 attribute Object and 士兵
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.	MilitaryProcesses.kif 2309-2328	例協議 and 民政協議協議是 entity_MIL_THIS 的 party 協議例 entity_MIL_THIS and 軍事組織 entity_THIS 是 entity_MIL_THIS 的 military 區域例 entity_THIS and Nation 位於 entity_MIL_THIS and entity_FRIENDLY 例 entity_FRIENDLY and Nation 等於 entity_THIS and entity_FRIENDLY enemy entity_THIS and entity_FRIENDLY entity_FRIENDLY 位於 entity_FRIENDLY and entity_FRIENDLY 協議是 entity_FRIENDLY 的 party 協議例 entity_FRIENDLY and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19004-19013	attribute AutonomousAgent and 軍官 Process Object 例 Process and Managing agent Process and AutonomousAgent 患者 Process and Object 例 Object and 軍事組織 attribute Object and 士兵
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22463-22468	持有期間 TimePosition and attribute entity and 軍人 Entity 例 Entity and 軍事組織持有期間 TimePosition and 會員 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17833-17839	例 Physical and 軍事人工品有目的 Physical and entity 例 entity and 軍事組織使用 Physical and entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2398-2408	例 Process and 民政活動 AutonomousAgent AutonomousAgent agent Process and AutonomousAgent agent Process and AutonomousAgent 等於 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and 軍事組織例 AutonomousAgent and 軍事組織
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2256-2266	例 Process and 民政運作 AutonomousAgent AutonomousAgent agent Process and AutonomousAgent agent Process and AutonomousAgent 等於 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and 軍事組織例 AutonomousAgent and 軍事組織
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2288-2298	例 Process and 民事軍事行動 AutonomousAgent AutonomousAgent agent Process and AutonomousAgent agent Process and AutonomousAgent 等於 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and 軍事組織例 AutonomousAgent and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8406-8416	例 Object and 軍事盈餘 Physical Transfer 例 Transfer and Buying 患者 Transfer and Physical objectTransferred Transfer and Object 例 Physical and 軍事組織會員 Physical and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Military.kif 137-143	例 Physical and 軍車有目的 Physical and entity 例 entity and 軍事組織使用 Physical and 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