| appearance as argument number 1 |
|
| (documentation MiranShahPakistan EnglishLanguage "The City of MiranShah in Pakistan.") | CountriesAndRegions.kif 2063-2063 | |
| (geographicSubregion MiranShahPakistan Pakistan) | CountriesAndRegions.kif 3241-3241 | Miran shah pakistan is a geographic subregion of pakistan |
| (instance MiranShahPakistan City) | CountriesAndRegions.kif 2062-2062 | Miran shah pakistan is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Miran Shah " MiranShahPakistan) | CountriesAndRegions.kif 3242-3242 | Miran shah pakistan has name "Miran Shah " |
| (termFormat ChineseLanguage MiranShahPakistan "米兰沙巴基斯坦") | domainEnglishFormat.kif 37967-37967 | |
| (termFormat ChineseTraditionalLanguage MiranShahPakistan "米蘭沙巴基斯坦") | domainEnglishFormat.kif 37966-37966 | |
| (termFormat EnglishLanguage MiranShahPakistan "miran shah pakistan") | domainEnglishFormat.kif 37965-37965 |
|
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