Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  BucaramangaColombia
|
|
|
| appearance as argument number 1 |
|
|
| (instance BucaramangaColombia City) | CountriesAndRegions.kif 1576-1576 | Bucaramanga colombia is an instance of city |
| (documentation BucaramangaColombia EnglishLanguage "The City of Bucaramanga in Colombia.") | CountriesAndRegions.kif 1577-1577 | Bucaramanga colombia is an instance of city |
| (geographicSubregion BucaramangaColombia Colombia) | CountriesAndRegions.kif 2686-2686 | Bucaramanga colombia is a geographic subregion of colombia |
| (externalImage BucaramangaColombia "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 7f/ MunsSantander_bucaramanga.png/ 250px_MunsSantander_bucaramanga.png") | pictureList.kif 1334-1334 | Bucaramanga colombia is a geographic subregion of colombia |
| appearance as argument number 2 |
|
|
| (names "Bucaramanga" BucaramangaColombia) | CountriesAndRegions.kif 2687-2687 | Bucaramanga colombia has name "Bucaramanga" |
| (termFormat EnglishLanguage BucaramangaColombia "bucaramanga colombia") | domainEnglishFormat.kif 12209-12209 | Bucaramanga colombia has name "Bucaramanga" |
| (termFormat ChineseTraditionalLanguage BucaramangaColombia "布卡拉曼加哥倫比亞") | domainEnglishFormat.kif 12210-12210 | Bucaramanga colombia has name "Bucaramanga" |
| (termFormat ChineseLanguage BucaramangaColombia "布卡拉曼加哥伦比亚") | domainEnglishFormat.kif 12211-12211 | Bucaramanga colombia has name "Bucaramanga" |
|
