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 子類 軍事單位 and 軍事組織

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 635-635 子類 突擊兩棲動物單位 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Military.kif 732-732 子類 營 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Military.kif 714-714 子類 旅 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8382-8382 子類 騎兵部隊 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Military.kif 736-736 子類 公司- 軍事 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Military.kif 672-672 子類 步兵部隊 and 軍事單位
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 509-509 子類 LAR單位 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8378-8378 子類 軍團 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8375-8375 子類 軍隊 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Military.kif 84-84 子類 維和部隊 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Military.kif 745-745 子類 排 and 軍事單位
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 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8425-8425 域 敵對勢力, 2 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Military.kif 705-705 域子類 梯隊指揮等級, 1 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Military.kif 691-691 域子類 次梯隊, 1 and 軍事單位
No TPTP formula. May not be expressible in strict first order. Military.kif 692-692 域子類 次梯隊, 2 and 軍事單位

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