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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankE9

 Sigma KEE - USMilitaryRankE9
USMilitaryRankE9

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


No TPTP formula. May not be expressible in strict first order. Military.kif 453-460
No TPTP formula. May not be expressible in strict first order. Military.kif 450-450 USMilitaryRankE9 e' uma instancia de SeniorNCORank
No TPTP formula. May not be expressible in strict first order. Military.kif 451-451 USMilitaryRankE9 e' uma instancia de USMilitaryRank
No TPTP formula. May not be expressible in strict first order. Military.kif 452-452 USMilitaryRankE9 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 469-469 USMilitaryRankE9 e' um atributo sucessor immediato de USMilitaryRankE9special
No TPTP formula. May not be expressible in strict first order. Military.kif 482-482 USMilitaryRankE9 e' um atributo sucessor immediato de USMilitaryRankO1

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


No TPTP formula. May not be expressible in strict first order. Military.kif 449-449 USMilitaryRankE8 e' um atributo sucessor immediato de USMilitaryRankE9
No TPTP formula. May not be expressible in strict first order. Military.kif 462-462
No TPTP formula. May not be expressible in strict first order. Military.kif 461-461
No TPTP formula. May not be expressible in strict first order. Military.kif 463-463
No TPTP formula. May not be expressible in strict first order. Military.kif 467-467
No TPTP formula. May not be expressible in strict first order. Military.kif 466-466
No TPTP formula. May not be expressible in strict first order. Military.kif 464-464
No TPTP formula. May not be expressible in strict first order. Military.kif 465-465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60944-60944
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60943-60943
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60942-60942


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