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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankE8

 Sigma KEE - USMilitaryRankE8
USMilitaryRankE8

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 USMilitaryRankE8 e' uma instancia de SeniorNCORank
No TPTP formula. May not be expressible in strict first order. Military.kif 438-438 USMilitaryRankE8 e' uma instancia de USMilitaryRank
No TPTP formula. May not be expressible in strict first order. Military.kif 439-439 USMilitaryRankE8 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 449-449 USMilitaryRankE8 e' um atributo sucessor immediato de USMilitaryRankE9

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


No TPTP formula. May not be expressible in strict first order. Military.kif 436-436 USMilitaryRankE7 e' um atributo sucessor immediato de USMilitaryRankE8
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