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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankO10

 Sigma KEE - USMilitaryRankO10
USMilitaryRankO10

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


No TPTP formula. May not be expressible in strict first order. Military.kif 582-582 USMilitaryRankO10 e' uma instancia de FlagOfficerRank
No TPTP formula. May not be expressible in strict first order. Military.kif 583-583 USMilitaryRankO10 e' uma instancia de USMilitaryRank
No TPTP formula. May not be expressible in strict first order. Military.kif 584-584 USMilitaryRankO10 e' um sub-atributo de Soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 594-594 USMilitaryRankO10 e' um atributo sucessor immediato de USMilitaryRankSpecial

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


No TPTP formula. May not be expressible in strict first order. Military.kif 581-581 USMilitaryRankO9 e' um atributo sucessor immediato de USMilitaryRankO10
No TPTP formula. May not be expressible in strict first order. Military.kif 589-589
No TPTP formula. May not be expressible in strict first order. Military.kif 588-588
No TPTP formula. May not be expressible in strict first order. Military.kif 591-591
No TPTP formula. May not be expressible in strict first order. Military.kif 590-590
No TPTP formula. May not be expressible in strict first order. Military.kif 592-592
No TPTP formula. May not be expressible in strict first order. Military.kif 586-586
No TPTP formula. May not be expressible in strict first order. Military.kif 585-585
No TPTP formula. May not be expressible in strict first order. Military.kif 587-587
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60962-60962
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60961-60961
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60960-60960


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