Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  NiueIsland
|
|
|
| appearance as argument number 1 |
|
|
| (instance ChorrosQueroVenezuela City) | CountriesAndRegions.kif 1626-1626 | Chorros quero venezuela is an instance of city |
| (documentation ChorrosQueroVenezuela EnglishLanguage "The City of ChorrosQuero in Venezuela.") | CountriesAndRegions.kif 1627-1627 | Chorros quero venezuela is an instance of city |
| (geographicSubregion ChorrosQueroVenezuela Venezuela) | CountriesAndRegions.kif 2737-2737 | Chorros quero venezuela is a geographic subregion of venezuela |
| appearance as argument number 2 |
|
|
| (names "Chorros_quero" ChorrosQueroVenezuela) | CountriesAndRegions.kif 2738-2738 | Chorros quero venezuela has name "Chorros_quero" |
| (termFormat EnglishLanguage ChorrosQueroVenezuela "chorros quero venezuela") | domainEnglishFormat.kif 14706-14706 | Chorros quero venezuela has name "Chorros_quero" |
| (termFormat ChineseTraditionalLanguage ChorrosQueroVenezuela "chorros quero 委內瑞拉") | domainEnglishFormat.kif 14707-14707 | Chorros quero venezuela has name "Chorros_quero" |
| (termFormat ChineseLanguage ChorrosQueroVenezuela "chorros quero 委内瑞拉") | domainEnglishFormat.kif 14708-14708 | Chorros quero venezuela has name "Chorros_quero" |
|