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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Venezuela

 Sigma KEE - UnitedStatesSenate
UnitedStatesSenate

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4788-4789
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6942-6942
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8169-8169
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8172-8172
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8170-8170
No TPTP formula. May not be expressible in strict first order. Government.kif 4786-4786 UnitedStatesSenate e' uma instancia de LegislativeChamber
No TPTP formula. May not be expressible in strict first order. Government.kif 4787-4787 UnitedStatesSenate e' uma &parte de UnitedStatesCongress

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60424-60424
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60423-60423
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60422-60422


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