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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankE5

 Sigma KEE - USMilitaryRankE5
USMilitaryRankE5

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


No TPTP formula. May not be expressible in strict first order. Military.kif 401-403
No TPTP formula. May not be expressible in strict first order. Military.kif 398-398 USMilitaryRankE5 e' uma instancia de JuniorNCORank
No TPTP formula. May not be expressible in strict first order. Military.kif 399-399 USMilitaryRankE5 e' uma instancia de USMilitaryRank
No TPTP formula. May not be expressible in strict first order. Military.kif 400-400 USMilitaryRankE5 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 410-410 USMilitaryRankE5 e' um atributo sucessor immediato de USMilitaryRankE6

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


No TPTP formula. May not be expressible in strict first order. Military.kif 397-397 USMilitaryRankE4 e' um atributo sucessor immediato de USMilitaryRankE5
No TPTP formula. May not be expressible in strict first order. Military.kif 408-408
No TPTP formula. May not be expressible in strict first order. Military.kif 407-407
No TPTP formula. May not be expressible in strict first order. Military.kif 404-404
No TPTP formula. May not be expressible in strict first order. Military.kif 406-406
No TPTP formula. May not be expressible in strict first order. Military.kif 405-405
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60920-60920
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60919-60919
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60918-60918


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