Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LaVictoriaVenezuela(la victoria venezuela) |
| appearance as argument number 1 |
|
| (instance LaVictoriaVenezuela City) | CountriesAndRegions.kif 1948-1948 | La victoria venezuela is an instance of city |
| (documentation LaVictoriaVenezuela EnglishLanguage "The City of LaVictoria in Venezuela.") | CountriesAndRegions.kif 1949-1949 | La victoria venezuela is an instance of city |
| (geographicSubregion LaVictoriaVenezuela Venezuela) | CountriesAndRegions.kif 3108-3108 | La victoria venezuela is a geographic subregion of venezuela |
| appearance as argument number 2 |
|
|
| (names "La Victoria" LaVictoriaVenezuela) | CountriesAndRegions.kif 3109-3109 | La victoria venezuela has name "La Victoria" |
| (termFormat EnglishLanguage LaVictoriaVenezuela "la victoria venezuela") | domainEnglishFormat.kif 33535-33535 | La victoria venezuela has name "La Victoria" |
| (termFormat ChineseTraditionalLanguage LaVictoriaVenezuela "拉維多利亞委內瑞拉") | domainEnglishFormat.kif 33536-33536 | La victoria venezuela has name "La Victoria" |
| (termFormat ChineseLanguage LaVictoriaVenezuela "拉维多利亚委内瑞拉") | domainEnglishFormat.kif 33537-33537 | La victoria venezuela has name "La Victoria" |
|