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 16690-16692
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16689-16689	军事组织是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16688-16688	军事组织是军事力量的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 904-904	联合参谋长是军事组织的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 884-884	联合工作人员是军事组织的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 951-951	美军是军事组织的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 798-798	空军 - 服务单位是军事组织的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 879-879	外部机构是军事组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6057-6057	FleetMarineForce 是军事组织的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1723-1723	联合部队是军事组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Military.kif 808-808	海军陆战队-支部是军事组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8368-8368	军事后备力量是军事组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8336-8336	兵役是军事组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8353-8353	军事单位是军事组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Military.kif 813-813	NavalAirForceBranchOfService 是军事组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Military.kif 816-816	NavyBranchOfService 是军事组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22514-22514	维护和平任务是军事组织的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 299-299	特种作战部队是军事组织的 subclass
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 数量是军事组织的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 461-466	如果和平国家是机构的 attribute 和那个机构是军事组织的 instance 和地位是那个机构的 leader 职位，然后那个机构是对于 %3 的 subordinate 职位
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 473-478	如果战争状态是机构的 attribute 和那个机构是军事组织的 instance 和地位是那个机构的 leader 职位，然后那个机构是对于 %3 的 subordinate 职位
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	如果协议是民政协议的 instance 和那个协议是实体_MIL_THIS 的 party 协议和那个实体_MIL_THIS 是军事组织的 instance 和另一个实体_THIS 是那个实体_MIL_THIS 的 military 区域和那个另外实体_THIS 是国家的 instance 和那个实体_MIL_THIS 是 located 在那个另外实体_FRIENDLY 和那个另外实体_FRIENDLY 是国家的 instance，然后那个另外实体_THIS 不 equal 那个另外实体_FRIENDLY 和 enemy 那个另外实体_THIS and 那个另外实体_FRIENDLY 和有存在那个实体_FRIENDLY 这样那个实体_FRIENDLY 是 located 在那个另外实体_FRIENDLY 和那个协议是那个实体_FRIENDLY 的 party 协议和那个实体_FRIENDLY 不是军事组织的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 133-140	如果过程是疏散的 instance 和施事体是那个过程的 agent 和那个施事体是军事组织的 instance 和另一个施事体经历了那个过程，然后撤离者是那个另外施事体的 attribute 在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22469-22474	如果实体是军事组织的 instance 和另一个实体是那个实体的 member 在时间位置 holdsDuring 和那个另外实体是人类的 instance，然后军人是那个另外实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Military.kif 788-793	如果军事组织是军事组织的 instance，然后有存在地缘政治区域这样那个地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域是那个军事组织的 military 区域

consequent

No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	如果属性是施事体的 attribute 和那个属性是委任军官级别的 instance，然后有存在过程和客体这样那个过程是管理的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个客体是军事组织的 instance 或士兵是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	如果撤离者是施事体的 attribute 在时距 holdsDuring 和那个时距是时距的 instance，然后有存在过程和另一个施事体这样那个过程是疏散的 instance 和那个另外施事体是那个过程的 agent 和那个另外施事体是军事组织的 instance 和那个施事体经历了那个过程和那个过程出现的 time 比那个时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	如果协议是民政协议的 instance 和那个协议是实体_MIL_THIS 的 party 协议和那个实体_MIL_THIS 是军事组织的 instance 和另一个实体_THIS 是那个实体_MIL_THIS 的 military 区域和那个另外实体_THIS 是国家的 instance 和那个实体_MIL_THIS 是 located 在那个另外实体_FRIENDLY 和那个另外实体_FRIENDLY 是国家的 instance，然后那个另外实体_THIS 不 equal 那个另外实体_FRIENDLY 和 enemy 那个另外实体_THIS and 那个另外实体_FRIENDLY 和有存在那个实体_FRIENDLY 这样那个实体_FRIENDLY 是 located 在那个另外实体_FRIENDLY 和那个协议是那个实体_FRIENDLY 的 party 协议和那个实体_FRIENDLY 不是军事组织的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19003-19012	如果军官是施事体的 attribute，然后有存在过程和客体这样那个过程是管理的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个客体是军事组织的 instance 或士兵是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22462-22467	如果军人是实体的 attribute 在时间位置 holdsDuring，然后有存在另一个实体这样那个另外实体是军事组织的 instance 和那个实体是那个另外实体的 member 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17832-17838	如果物理是军事人工品的 instance，然后那个物理的目的是有存在实体这样那个实体是军事组织的 instance 和那个实体 uses 那个物理
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2398-2408	如果过程是民政活动的 instance，然后有存在施事体和另一个施事体这样那个施事体是那个过程的 agent 和那个另外施事体是那个过程的 agent 和那个施事体不 equal 那个另外施事体和那个施事体是军事组织的 instance 和那个另外施事体不是军事组织的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2256-2266	如果过程是民政运作的 instance，然后有存在施事体和另一个施事体这样那个施事体是那个过程的 agent 和那个另外施事体是那个过程的 agent 和那个施事体不 equal 那个另外施事体和那个施事体是军事组织的 instance 和那个另外施事体不是军事组织的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2288-2298	如果过程是民事军事行动的 instance，然后有存在施事体和另一个施事体这样那个施事体是那个过程的 agent 和那个另外施事体是那个过程的 agent 和那个施事体不 equal 那个另外施事体和那个施事体是军事组织的 instance 和那个另外施事体不是军事组织的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8405-8415	如果客体是军事盈余的 instance，然后有存在物理和转移这样那个转移是购买的 instance 和那个物理是那个转移的 patient 和 objectTransferred 那个转移 and 那个客体和那个物理不是军事组织的 instance 和那个物理不是军事组织的 member
No TPTP formula. May not be expressible in strict first order.	Military.kif 137-143	如果物理是军车的 instance，然后那个物理的目的是有存在实体这样那个实体是军事组织的 instance 和那个实体 uses 那个物理

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