| appearance as argument number 1 |
|
| (documentation LarnacaCyprus EnglishLanguage "The City of Larnaca in Cyprus.") | CountriesAndRegions.kif 1951-1951 | |
| (geographicSubregion LarnacaCyprus Cyprus) | CountriesAndRegions.kif 3109-3109 | Larnaca cyprus is a geographic subregion of cyprus |
| (instance LarnacaCyprus City) | CountriesAndRegions.kif 1950-1950 | Larnaca cyprus is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Larnaca" LarnacaCyprus) | CountriesAndRegions.kif 3110-3110 | Larnaca cyprus has name "Larnaca" |
| (termFormat ChineseLanguage LarnacaCyprus "拉纳卡塞浦路斯") | domainEnglishFormat.kif 33402-33402 | Larnaca cyprus has name "Larnaca" |
| (termFormat ChineseTraditionalLanguage LarnacaCyprus "拉納卡塞浦路斯") | domainEnglishFormat.kif 33401-33401 | Larnaca cyprus has name "Larnaca" |
| (termFormat EnglishLanguage LarnacaCyprus "larnaca cyprus") | domainEnglishFormat.kif 33400-33400 | Larnaca cyprus has name "Larnaca" |
|
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