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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JuniorNCORank

 Sigma KEE - JuniorNCORank
JuniorNCORank(初級NCO排名)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 309-309
No TPTP formula. May not be expressible in strict first order. Military.kif 308-308 子類 初級NCO排名 and 非委任軍官級別

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


No TPTP formula. May not be expressible in strict first order. Military.kif 306-306 不相交分解 非委任軍官級別, 初級NCO排名 and 高級NCO排名
No TPTP formula. May not be expressible in strict first order. Military.kif 398-398 例 美國軍銜e5 and 初級NCO排名
No TPTP formula. May not be expressible in strict first order. Military.kif 411-411 例 美國軍銜e6 and 初級NCO排名
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31921-31921
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31920-31920
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31919-31919


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