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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SriLanka
SriLanka(sri lanka)
Ceylon, Democratic_Socialist_Republic_of_Sri_Lanka, Sri_Lanka

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3479-3479 Sri lankan rupee is a currency type of sri lanka
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1353-1353
No TPTP formula. May not be expressible in strict first order. Economy.kif 713-713 Developing country is an economy type of sri lanka
No TPTP formula. May not be expressible in strict first order. Economy.kif 329-329 Less developed country is an economy type of sri lanka
No TPTP formula. May not be expressible in strict first order. pictureList.kif 754-754
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 582-582 Sri lanka is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 583-583 Sri lanka is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2742-2742 Colombo sri lanka is a geographic subregion of sri lanka
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2878-2878 Gonegalle sri lanka is a geographic subregion of sri lanka
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2963-2963 Jaffna sri lanka is a geographic subregion of sri lanka
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3017-3017 Kalmunai sri lanka is a geographic subregion of sri lanka
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3021-3021 Kandy sri lanka is a geographic subregion of sri lanka
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3162-3162 Madhu sri lanka is a geographic subregion of sri lanka
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3272-3272 Muttur sri lanka is a geographic subregion of sri lanka
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3289-3289 Nallur area sri lanka is a geographic subregion of sri lanka
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3566-3566 Tandy sri lanka is a geographic subregion of sri lanka
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3612-3612 Trincomalee harbor sri lanka is a geographic subregion of sri lanka
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3643-3643 Vavuniya sri lanka is a geographic subregion of sri lanka
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4168-4168 Sri lanka has name "Sri Lanka"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54930-54930
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54929-54929
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54928-54928

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2816-2816 "LK" in ISO-3166-1-alpha-2 denotes sri lanka


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