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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankO1

 Sigma KEE - USMilitaryRankO1
USMilitaryRankO1

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


No TPTP formula. May not be expressible in strict first order. Military.kif 483-483 USMilitaryRankO1 e' uma instancia de CompanyGradeRank
No TPTP formula. May not be expressible in strict first order. Military.kif 484-484 USMilitaryRankO1 e' uma instancia de USMilitaryRank
No TPTP formula. May not be expressible in strict first order. Military.kif 485-485 USMilitaryRankO1 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 492-492 USMilitaryRankO1 e' um atributo sucessor immediato de USMilitaryRankO2

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


No TPTP formula. May not be expressible in strict first order. Military.kif 482-482 USMilitaryRankE9 e' um atributo sucessor immediato de USMilitaryRankO1
No TPTP formula. May not be expressible in strict first order. Military.kif 487-487
No TPTP formula. May not be expressible in strict first order. Military.kif 486-486
No TPTP formula. May not be expressible in strict first order. Military.kif 488-488
No TPTP formula. May not be expressible in strict first order. Military.kif 490-490
No TPTP formula. May not be expressible in strict first order. Military.kif 489-489
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60956-60956
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60955-60955
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60954-60954


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