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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankWO3

Sigma KEE - USMilitaryRankWO3
USMilitaryRankWO3(美军军衔W3)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 647-647 美军军衔W3委任军官级别instance
No TPTP formula. May not be expressible in strict first order. Military.kif 646-646 美军军衔W3美国军衔instance
No TPTP formula. May not be expressible in strict first order. Military.kif 645-645 美军军衔W3美国准尉军衔instance
No TPTP formula. May not be expressible in strict first order. Military.kif 648-648 美军军衔W3士兵subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 654-654 美军军衔W3美军军衔o4 的直接后续属性

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


No TPTP formula. May not be expressible in strict first order. Military.kif 644-644 美国军衔o2美军军衔W3 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Military.kif 649-649
No TPTP formula. May not be expressible in strict first order. Military.kif 652-652
No TPTP formula. May not be expressible in strict first order. Military.kif 650-650
No TPTP formula. May not be expressible in strict first order. Military.kif 651-651
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61036-61036
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61035-61035
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61034-61034


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