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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankWO1

 Sigma KEE - USMilitaryRankWO1
USMilitaryRankWO1(美国军衔o)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 627-627 美国军衔o 是 美国军衔 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 626-626 美国军衔o 是 美国准尉军衔 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 628-628 美国军衔o 是 士兵 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 634-634 美国军衔o 是 美国军衔o2 的直接后续属性

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


No TPTP formula. May not be expressible in strict first order. Military.kif 632-632
No TPTP formula. May not be expressible in strict first order. Military.kif 630-630
No TPTP formula. May not be expressible in strict first order. Military.kif 631-631
No TPTP formula. May not be expressible in strict first order. Military.kif 629-629
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61022-61022
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61021-61021
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61020-61020


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