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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cyprus

 Sigma KEE - Cyprus
Cyprus(cyprus)
Cyprus, Republic_of_Cyprus

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3093-3093 Euro dollar is a currency type of cyprus
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1221-1221
No TPTP formula. May not be expressible in strict first order. Economy.kif 639-639 Developing country is an economy type of cyprus
No TPTP formula. May not be expressible in strict first order. Economy.kif 255-255 Less developed country is an economy type of cyprus
No TPTP formula. May not be expressible in strict first order. pictureList.kif 380-380
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 242-242 Cyprus is a geographic subregion of middle east region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 243-243 Cyprus is an instance of nation
No TPTP formula. May not be expressible in strict first order. Government.kif 3201-3201 Cyprus 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 3109-3109 Larnaca cyprus is a geographic subregion of cyprus
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4002-4002 Cyprus has name "Cyprus"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18294-18294
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18293-18293
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18292-18292

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2683-2683 "CY" in ISO-3166-1-alpha-2 denotes cyprus


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