![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LaGabarraVenezuela(la gabarra venezuela) |
| appearance as argument number 1 |
|
|
| (instance LaGabarraVenezuela City) | CountriesAndRegions.kif 1942-1942 | La gabarra venezuela is an instance of city |
| (documentation LaGabarraVenezuela EnglishLanguage "The City of LaGabarra in Venezuela.") | CountriesAndRegions.kif 1943-1943 | La gabarra venezuela is an instance of city |
| (geographicSubregion LaGabarraVenezuela Venezuela) | CountriesAndRegions.kif 3102-3102 | La gabarra venezuela is a geographic subregion of venezuela |
| appearance as argument number 2 |
|
|
| (names "La Gabarra" LaGabarraVenezuela) | CountriesAndRegions.kif 3103-3103 | La gabarra venezuela has name "La Gabarra" |
| (termFormat EnglishLanguage LaGabarraVenezuela "la gabarra venezuela") | domainEnglishFormat.kif 33105-33105 | La gabarra venezuela has name "La Gabarra" |
| (termFormat ChineseTraditionalLanguage LaGabarraVenezuela "la gabarra 委內瑞拉") | domainEnglishFormat.kif 33106-33106 | La gabarra venezuela has name "La Gabarra" |
| (termFormat ChineseLanguage LaGabarraVenezuela "la gabarra 委內瑞拉") | domainEnglishFormat.kif 33107-33107 | La gabarra venezuela has name "La Gabarra" |