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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankO5

 Sigma KEE - USMilitaryRankO5
USMilitaryRankO5(美国军衔o5)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 523-523 美国军衔o5 是 现场等级军官等级 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 524-524 美国军衔o5 是 美国军衔 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 525-525 美国军衔o5 是 士兵 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 532-532 美国军衔o5 是 美国军衔o6 的直接后续属性

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


No TPTP formula. May not be expressible in strict first order. Military.kif 734-734 美国军衔o5 是 营 的 command 梯队等级
No TPTP formula. May not be expressible in strict first order. Military.kif 522-522 美国军衔o4 是 美国军衔o5 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Military.kif 530-530
No TPTP formula. May not be expressible in strict first order. Military.kif 529-529
No TPTP formula. May not be expressible in strict first order. Military.kif 527-527
No TPTP formula. May not be expressible in strict first order. Military.kif 526-526
No TPTP formula. May not be expressible in strict first order. Military.kif 528-528
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60986-60986
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60985-60985
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60984-60984


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