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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CaymanIslands
CaymanIslands(cayman islands)
Cayman_Islands

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3067-3067 Cayman islands dollar is a currency type of cayman islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3747-3747 Cayman islands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3748-3748
No TPTP formula. May not be expressible in strict first order. pictureList.kif 330-330
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 436-436 Cayman islands is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3868-3868 Cayman islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 419-419 Cayman islands is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4092-4092 Cayman islands has name "Cayman Islands"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13587-13587
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13586-13586
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13585-13585

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2836-2836 "KY" in ISO-3166-1-alpha-2 denotes cayman islands


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