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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankE5

 Sigma KEE - USMilitaryRankE5
USMilitaryRankE5(美国军衔e5)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 401-403
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 399-399 美国军衔e5 是 美国军衔 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 400-400 美国军衔e5 是 士兵 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 410-410 美国军衔e5 是 美国军衔e6 的直接后续属性

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


No TPTP formula. May not be expressible in strict first order. Military.kif 397-397 美国军衔e4 是 美国军衔e5 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Military.kif 408-408
No TPTP formula. May not be expressible in strict first order. Military.kif 407-407
No TPTP formula. May not be expressible in strict first order. Military.kif 404-404
No TPTP formula. May not be expressible in strict first order. Military.kif 406-406
No TPTP formula. May not be expressible in strict first order. Military.kif 405-405
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60920-60920
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60919-60919
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60918-60918


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