Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ChocoColombia
|
|
|
| appearance as argument number 1 |
|
|
| (instance ChocoColombia City) | CountriesAndRegions.kif 1624-1624 | Choco colombia is an instance of city |
| (documentation ChocoColombia EnglishLanguage "The City of Choco in Colombia.") | CountriesAndRegions.kif 1625-1625 | Choco colombia is an instance of city |
| (geographicSubregion ChocoColombia Colombia) | CountriesAndRegions.kif 2735-2735 | Choco colombia is a geographic subregion of colombia |
| (externalImage ChocoColombia "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Republic_of_Colombia_-_Choco.png") | pictureList.kif 9938-9938 | Choco colombia is a geographic subregion of colombia |
| (externalImage ChocoColombia "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ MunsChoco_quibdo.png") | pictureList.kif 10617-10617 | Choco colombia is a geographic subregion of colombia |
| (externalImage ChocoColombia "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Baud%C3%B3-range_Colombia_USGS.gif") | pictureList.kif 10618-10618 | Choco colombia is a geographic subregion of colombia |
| appearance as argument number 2 |
|
|
| (names "Choco" ChocoColombia) | CountriesAndRegions.kif 2736-2736 | Choco colombia has name "Choco" |
| (termFormat EnglishLanguage ChocoColombia "choco colombia") | domainEnglishFormat.kif 14640-14640 | Choco colombia has name "Choco" |
| (termFormat ChineseTraditionalLanguage ChocoColombia "choco 哥倫比亞") | domainEnglishFormat.kif 14641-14641 | Choco colombia has name "Choco" |
| (termFormat ChineseLanguage ChocoColombia "choco 哥伦比亚") | domainEnglishFormat.kif 14642-14642 | Choco colombia has name "Choco" |
|
