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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankO2

 Sigma KEE - USMilitaryRankO2
USMilitaryRankO2

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


No TPTP formula. May not be expressible in strict first order. Military.kif 493-493 USMilitaryRankO2 e' uma instancia de CompanyGradeRank
No TPTP formula. May not be expressible in strict first order. Military.kif 494-494 USMilitaryRankO2 e' uma instancia de USMilitaryRank
No TPTP formula. May not be expressible in strict first order. Military.kif 495-495 USMilitaryRankO2 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 502-502 USMilitaryRankO2 e' um atributo sucessor immediato de USMilitaryRankO3

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


No TPTP formula. May not be expressible in strict first order. Military.kif 755-755 commandRankOfEchelon Platoon and USMilitaryRankO2
No TPTP formula. May not be expressible in strict first order. Military.kif 492-492 USMilitaryRankO1 e' um atributo sucessor immediato de USMilitaryRankO2
No TPTP formula. May not be expressible in strict first order. Military.kif 497-497
No TPTP formula. May not be expressible in strict first order. Military.kif 496-496
No TPTP formula. May not be expressible in strict first order. Military.kif 498-498
No TPTP formula. May not be expressible in strict first order. Military.kif 500-500
No TPTP formula. May not be expressible in strict first order. Military.kif 499-499
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60968-60968
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60967-60967
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60966-60966


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