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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRankO4
USMilitaryRankO4(美國軍銜o4)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 513-513 例 美國軍銜o4 and 現場等級軍官等級
No TPTP formula. May not be expressible in strict first order. Military.kif 514-514 例 美國軍銜o4 and 美國軍銜
No TPTP formula. May not be expressible in strict first order. Military.kif 515-515 子屬性 美國軍銜o4 and 士兵
No TPTP formula. May not be expressible in strict first order. Military.kif 522-522 繼承屬性 美國軍銜o4 and 美國軍銜o5

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


No TPTP formula. May not be expressible in strict first order. Military.kif 512-512 繼承屬性 美國軍銜o3 and 美國軍銜o4
No TPTP formula. May not be expressible in strict first order. Military.kif 520-520
No TPTP formula. May not be expressible in strict first order. Military.kif 519-519
No TPTP formula. May not be expressible in strict first order. Military.kif 517-517
No TPTP formula. May not be expressible in strict first order. Military.kif 516-516
No TPTP formula. May not be expressible in strict first order. Military.kif 518-518
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60980-60980
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60979-60979
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60978-60978

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 742-743 聯盟 美國軍銜o3 and 美國軍銜o4 是 公司- 軍事 的 command 梯隊等級


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