Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  PuertoAlviraColombia
|
|
|
| appearance as argument number 1 |
|
|
| (instance PuertoAlviraColombia City) | CountriesAndRegions.kif 2213-2213 | Puerto alvira colombia is an instance of city |
| (documentation PuertoAlviraColombia EnglishLanguage "The City of PuertoAlvira in Colombia.") | CountriesAndRegions.kif 2214-2214 | Puerto alvira colombia is an instance of city |
| (geographicSubregion PuertoAlviraColombia Colombia) | CountriesAndRegions.kif 3403-3403 | Puerto alvira colombia is a geographic subregion of colombia |
| (externalImage PuertoAlviraColombia "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2f/ Republic_of_Colombia_-_Meta.png") | pictureList.kif 5649-5649 | Puerto alvira colombia is a geographic subregion of colombia |
| appearance as argument number 2 |
|
|
| (names "Puerto Alvira" PuertoAlviraColombia) | CountriesAndRegions.kif 3404-3404 | Puerto alvira colombia has name "Puerto Alvira" |
| (termFormat EnglishLanguage PuertoAlviraColombia "puerto alvira colombia") | domainEnglishFormat.kif 48037-48037 | Puerto alvira colombia has name "Puerto Alvira" |
| (termFormat ChineseTraditionalLanguage PuertoAlviraColombia "波爾圖阿爾維拉哥倫比亞") | domainEnglishFormat.kif 48038-48038 | Puerto alvira colombia has name "Puerto Alvira" |
| (termFormat ChineseLanguage PuertoAlviraColombia "波尔图阿尔维拉哥伦比亚") | domainEnglishFormat.kif 48039-48039 | Puerto alvira colombia has name "Puerto Alvira" |
|
