Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  FormequeColombia
|
|
|
| appearance as argument number 1 |
|
|
| (instance FormequeColombia City) | CountriesAndRegions.kif 1722-1722 | Formeque colombia is an instance of city |
| (documentation FormequeColombia EnglishLanguage "The City of Formeque in Colombia.") | CountriesAndRegions.kif 1723-1723 | Formeque colombia is an instance of city |
| (geographicSubregion FormequeColombia Colombia) | CountriesAndRegions.kif 2851-2851 | Formeque colombia is a geographic subregion of colombia |
| appearance as argument number 2 |
|
|
| (names "Formeque" FormequeColombia) | CountriesAndRegions.kif 2852-2852 | Formeque colombia has name "Formeque" |
| (termFormat EnglishLanguage FormequeColombia "formeque colombia") | domainEnglishFormat.kif 24730-24730 | Formeque colombia has name "Formeque" |
| (termFormat ChineseTraditionalLanguage FormequeColombia "formeque哥倫比亞") | domainEnglishFormat.kif 24731-24731 | Formeque colombia has name "Formeque" |
| (termFormat ChineseLanguage FormequeColombia "formeque哥伦比亚") | domainEnglishFormat.kif 24732-24732 | Formeque colombia has name "Formeque" |
|