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排名 是 非委任军官级别 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Military.kif 306-306 非委任军官级别 分拆成不相交的 初级NCO排名 和 高级NCO排名
No TPTP formula. May not be expressible in strict first order. Military.kif 398-398 美国军衔e5 是 初级NCO排名 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 411-411 美国军衔e6 是 初级NCO排名 的 instance
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