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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankO9

 Sigma KEE - USMilitaryRankO9
USMilitaryRankO9

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


No TPTP formula. May not be expressible in strict first order. Military.kif 569-569 USMilitaryRankO9 e' uma instancia de FlagOfficerRank
No TPTP formula. May not be expressible in strict first order. Military.kif 570-570 USMilitaryRankO9 e' uma instancia de USMilitaryRank
No TPTP formula. May not be expressible in strict first order. Military.kif 571-571 USMilitaryRankO9 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 581-581 USMilitaryRankO9 e' um atributo sucessor immediato de USMilitaryRankO10

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


No TPTP formula. May not be expressible in strict first order. Military.kif 568-568 USMilitaryRankO8 e' um atributo sucessor immediato de USMilitaryRankO9
No TPTP formula. May not be expressible in strict first order. Military.kif 573-573
No TPTP formula. May not be expressible in strict first order. Military.kif 572-572
No TPTP formula. May not be expressible in strict first order. Military.kif 574-574
No TPTP formula. May not be expressible in strict first order. Military.kif 578-578
No TPTP formula. May not be expressible in strict first order. Military.kif 577-577
No TPTP formula. May not be expressible in strict first order. Military.kif 579-579
No TPTP formula. May not be expressible in strict first order. Military.kif 576-576
No TPTP formula. May not be expressible in strict first order. Military.kif 575-575
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61010-61010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61009-61009
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61008-61008


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