![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
CupiaguaColombia
|
|
|
| appearance as argument number 1 |
|
|
| (instance CupiaguaColombia City) | CountriesAndRegions.kif 1650-1650 | Cupiagua colombia is an instance of city |
| (documentation CupiaguaColombia EnglishLanguage "The City of Cupiagua in Colombia.") | CountriesAndRegions.kif 1651-1651 | Cupiagua colombia is an instance of city |
| (geographicSubregion CupiaguaColombia Colombia) | CountriesAndRegions.kif 2765-2765 | Cupiagua colombia is a geographic subregion of colombia |
| appearance as argument number 2 |
|
|
| (names "Cupiagua" CupiaguaColombia) | CountriesAndRegions.kif 2766-2766 | Cupiagua colombia has name "Cupiagua" |
| (termFormat EnglishLanguage CupiaguaColombia "cupiagua colombia") | domainEnglishFormat.kif 18030-18030 | Cupiagua colombia has name "Cupiagua" |
| (termFormat ChineseTraditionalLanguage CupiaguaColombia "cupiagua哥倫比亞") | domainEnglishFormat.kif 18031-18031 | Cupiagua colombia has name "Cupiagua" |
| (termFormat ChineseLanguage CupiaguaColombia "cupiagua哥伦比亚") | domainEnglishFormat.kif 18032-18032 | Cupiagua colombia has name "Cupiagua" |