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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankE9

 Sigma KEE - USMilitaryRankE9
USMilitaryRankE9(美国军衔e9)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 453-460
No TPTP formula. May not be expressible in strict first order. Military.kif 450-450 美国军衔e9 是 高级NCO排名 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 451-451 美国军衔e9 是 美国军衔 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 452-452 美国军衔e9 是 士兵 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 469-469 美国军衔e9 是 美国军衔e9特别 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Military.kif 482-482 美国军衔e9 是 美国军衔o1 的直接后续属性

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


No TPTP formula. May not be expressible in strict first order. Military.kif 449-449 美国军衔e8 是 美国军衔e9 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Military.kif 462-462
No TPTP formula. May not be expressible in strict first order. Military.kif 461-461
No TPTP formula. May not be expressible in strict first order. Military.kif 463-463
No TPTP formula. May not be expressible in strict first order. Military.kif 467-467
No TPTP formula. May not be expressible in strict first order. Military.kif 466-466
No TPTP formula. May not be expressible in strict first order. Military.kif 464-464
No TPTP formula. May not be expressible in strict first order. Military.kif 465-465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60944-60944
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60943-60943
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60942-60942


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