Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| UrenaVenezuela(urena venezuela) |
| appearance as argument number 1 |
|
| (instance UrenaVenezuela City) | CountriesAndRegions.kif 2417-2417 | Urena venezuela is an instance of city |
| (documentation UrenaVenezuela EnglishLanguage "The City of Urena in Venezuela.") | CountriesAndRegions.kif 2418-2418 | Urena venezuela is an instance of city |
| (geographicSubregion UrenaVenezuela Venezuela) | CountriesAndRegions.kif 3630-3630 | Urena venezuela is a geographic subregion of venezuela |
| appearance as argument number 2 |
|
|
| (names "Urena" UrenaVenezuela) | CountriesAndRegions.kif 3631-3631 | Urena venezuela has name "Urena" |
| (termFormat EnglishLanguage UrenaVenezuela "urena venezuela") | domainEnglishFormat.kif 60713-60713 | Urena venezuela has name "Urena" |
| (termFormat ChineseTraditionalLanguage UrenaVenezuela "urena委內瑞拉") | domainEnglishFormat.kif 60714-60714 | Urena venezuela has name "Urena" |
| (termFormat ChineseLanguage UrenaVenezuela "urena委内瑞拉") | domainEnglishFormat.kif 60715-60715 | Urena venezuela has name "Urena" |
|