| appearance as argument number 1 |
|
| (documentation MusMusIsrael EnglishLanguage "The City of MusMus in Israel.") | CountriesAndRegions.kif 2083-2083 | |
| (geographicSubregion MusMusIsrael Israel) | CountriesAndRegions.kif 3268-3268 | Mus mus israel is a geographic subregion of israel |
| (instance MusMusIsrael City) | CountriesAndRegions.kif 2082-2082 | Mus mus israel is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Mus Mus" MusMusIsrael) | CountriesAndRegions.kif 3269-3269 | Mus mus israel has name "Mus Mus" |
| (termFormat ChineseLanguage MusMusIsrael "穆斯林以色列") | domainEnglishFormat.kif 39483-39483 | Mus mus israel has name "Mus Mus" |
| (termFormat ChineseTraditionalLanguage MusMusIsrael "穆斯林以色列") | domainEnglishFormat.kif 39482-39482 | Mus mus israel has name "Mus Mus" |
| (termFormat EnglishLanguage MusMusIsrael "mus mus israel") | domainEnglishFormat.kif 39481-39481 | Mus mus israel has name "Mus Mus" |
|
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