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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Brazil

Sigma KEE - Brazil
Brazil(brazil)
Brasil, Brazil, Federative_Republic_of_Brazil

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3025-3025 Brazilian real is a currency type of brazil
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1199-1199
No TPTP formula. May not be expressible in strict first order. pictureList.kif 289-289
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 500-500 Brazil is a geographic subregion of eastern south america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 501-501 Brazil is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4125-4125 Brazil has name "Brazil"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11843-11843
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11842-11842
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11841-11841

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2665-2665 "BR" in ISO-3166-1-alpha-2 denotes brazil


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