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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankE8

 Sigma KEE - USMilitaryRankE8
USMilitaryRankE8(美国军衔e8)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 440-442
No TPTP formula. May not be expressible in strict first order. Military.kif 437-437 美国军衔e8 是 高级NCO排名 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 438-438 美国军衔e8 是 美国军衔 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 439-439 美国军衔e8 是 士兵 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Military.kif 449-449 美国军衔e8 是 美国军衔e9 的直接后续属性

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


No TPTP formula. May not be expressible in strict first order. Military.kif 436-436 美国军衔e7 是 美国军衔e8 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Military.kif 445-445
No TPTP formula. May not be expressible in strict first order. Military.kif 443-443
No TPTP formula. May not be expressible in strict first order. Military.kif 447-447
No TPTP formula. May not be expressible in strict first order. Military.kif 446-446
No TPTP formula. May not be expressible in strict first order. Military.kif 444-444
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60938-60938
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60937-60937
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60936-60936


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