| appearance as argument number 1 |
|
| (documentation RadaAmanYemen EnglishLanguage "The City of RadaAman in Yemen.") | CountriesAndRegions.kif 2220-2220 | |
| (geographicSubregion RadaAmanYemen Yemen) | CountriesAndRegions.kif 3411-3411 | Rada aman yemen is a geographic subregion of yemen |
| (instance RadaAmanYemen City) | CountriesAndRegions.kif 2219-2219 | Rada aman yemen is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Rada-Aman" RadaAmanYemen) | CountriesAndRegions.kif 3412-3412 | Rada aman yemen has name "Rada-Aman" |
| (termFormat ChineseLanguage RadaAmanYemen "拉达阿曼也门") | domainEnglishFormat.kif 48454-48454 | Rada aman yemen has name "Rada-Aman" |
| (termFormat ChineseTraditionalLanguage RadaAmanYemen "拉達阿曼也門") | domainEnglishFormat.kif 48453-48453 | Rada aman yemen has name "Rada-Aman" |
| (termFormat EnglishLanguage RadaAmanYemen "rada aman yemen") | domainEnglishFormat.kif 48452-48452 | Rada aman yemen has name "Rada-Aman" |
|
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