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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Latvia
Latvia

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3269-3269 currencyType Latvia and EuroDollar
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1276-1276
No TPTP formula. May not be expressible in strict first order. Economy.kif 587-587 economyType Latvia and CountryInTransition
No TPTP formula. May not be expressible in strict first order. pictureList.kif 550-550
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 300-300 geographicSubregion Latvia and EasternEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 301-301 Latvia est une instance de nation
No TPTP formula. May not be expressible in strict first order. Government.kif 3173-3173 Latvia est un membre de EuropeanMonetaryUnion

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3431-3431 geographicSubregion RigaLatvia and Latvia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4030-4030 Latvia s'appele nom "Latvia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33485-33485
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33484-33484
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33483-33483

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2746-2746 codeMapping ISO-3166-1-alpha-2, "LV" and Latvia


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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