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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Latvia
Latvia(latvia)
Latvia, Republic_of_Latvia

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3269-3269 Euro dollar is a currency type of latvia
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 Country in transition is an economy type of latvia
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 Latvia is a geographic subregion of eastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 301-301 Latvia is an instance of nation
No TPTP formula. May not be expressible in strict first order. Government.kif 3209-3209 Latvia is a member of european monetary union

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3431-3431 Riga latvia is a geographic subregion of latvia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4030-4030 Latvia has name "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 "LV" in ISO-3166-1-alpha-2 denotes 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