MilitaryOrganization - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 16764-16766
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16763-16763	子類軍事組織 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16762-16762	子類軍事組織 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 856-856	子類空軍 - 服務單位 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 6043-6043	子類 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 866-866	子類海軍陸戰隊_支部 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9142-9142	子類軍事後備力量 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9110-9110	子類兵役 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9127-9127	子類軍事單位 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Military.kif 871-871	子類 NavalAirForceBranchOfService and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Military.kif 874-874	子類 NavyBranchOfService and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23629-23629	子類維護和平任務 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 37705-37705	子類特種作戰部隊 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37704-37704	子類特種作戰部隊 and 軍事組織
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37703-37703	子類特種作戰部隊 and 軍事組織

appearance as argument number 3

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

Military.kif 883-883

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

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 472-477	attribute Organization and 和平國家例 Organization and 軍事組織 Position 是 Organization 的 leader 職位 Organization 是對於 %3 的 subordinate 職位
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 484-489	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 23584-23589	例 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.	MilitaryPersons.kif 339-343	例 Human and 軍事組織 Human 是 Human 的 leader 佔據位置 Human, 軍事指揮官 and Human
No TPTP formula. May not be expressible in strict first order.	Military.kif 846-851	例軍事組織 and 軍事組織 GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea GeopoliticalArea 是軍事組織的 military 區域

consequent

No TPTP formula. May not be expressible in strict first order.	Military.kif 353-364	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 20093-20102	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 23577-23582	持有期間 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 18922-18928	例 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 9179-9189	例 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 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