Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryUnit
MilitaryUnit(军事单位)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8355-8356
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8354-8354 军事单位 是 军事组织 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 635-635 突击两栖动物单位 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 732-732 营 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 714-714 旅 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8382-8382 骑兵部队 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 736-736 公司- 军事 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 672-672 步兵部队 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 509-509 LAR单位 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8378-8378 军团 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8375-8375 军队 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 84-84 维和部队 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 745-745 排 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37763-37763
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37762-37762
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37761-37761

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8424-8424 敌对势力 的 1 数量 是 军事单位 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8425-8425 敌对势力 的 2 数量 是 军事单位 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 705-705 梯队指挥等级 的 1 数量 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 691-691 次梯队 的 1 数量 是 军事单位 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 692-692 次梯队 的 2 数量 是 军事单位 的 subclass

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8358-8367


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