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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bolivia

Sigma KEE - Bolivia
Bolivia(bolivia)
Bolivia, Republic_of_Bolivia

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3017-3017 Bolivian boliviano is a currency type of bolivia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1196-1196
No TPTP formula. May not be expressible in strict first order. pictureList.kif 278-278
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 495-495 Bolivia is a geographic subregion of central south america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 496-496 Bolivia is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3101-3101 La paz bolivia is a geographic subregion of bolivia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4122-4122 Bolivia has name "Bolivia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11531-11531
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11530-11530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11529-11529

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2664-2664 "BO" in ISO-3166-1-alpha-2 denotes bolivia


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