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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankWO2

 Sigma KEE - USMilitaryRankWO2
USMilitaryRankWO2(美国军衔o2)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 637-637 美国军衔o2 是 委任军官级别 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 636-636 美国军衔o2 是 美国军衔 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 635-635 美国军衔o2 是 美国准尉军衔 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 638-638 美国军衔o2 是 士兵 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 644-644 美国军衔o2 是 美军军衔W3 的直接后续属性

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


No TPTP formula. May not be expressible in strict first order. Military.kif 634-634 美国军衔o 是 美国军衔o2 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Military.kif 639-639
No TPTP formula. May not be expressible in strict first order. Military.kif 642-642
No TPTP formula. May not be expressible in strict first order. Military.kif 640-640
No TPTP formula. May not be expressible in strict first order. Military.kif 641-641
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61028-61028
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61027-61027
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61026-61026


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