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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankO9

 Sigma KEE - USMilitaryRankO9
USMilitaryRankO9(美国军衔o9)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 569-569 美国军衔o9 是 国旗官员级别 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 570-570 美国军衔o9 是 美国军衔 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 571-571 美国军衔o9 是 士兵 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 581-581 美国军衔o9 是 美军军衔o10 的直接后续属性

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


No TPTP formula. May not be expressible in strict first order. Military.kif 568-568 美国军衔o8 是 美国军衔o9 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Military.kif 573-573
No TPTP formula. May not be expressible in strict first order. Military.kif 572-572
No TPTP formula. May not be expressible in strict first order. Military.kif 574-574
No TPTP formula. May not be expressible in strict first order. Military.kif 578-578
No TPTP formula. May not be expressible in strict first order. Military.kif 577-577
No TPTP formula. May not be expressible in strict first order. Military.kif 579-579
No TPTP formula. May not be expressible in strict first order. Military.kif 576-576
No TPTP formula. May not be expressible in strict first order. Military.kif 575-575
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61010-61010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61009-61009
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61008-61008


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