Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  defaultValue__1En2Ra3En
|
|
|
| appearance as argument number 1 |
|
|
| (instance RigaLatvia City) | CountriesAndRegions.kif 2243-2243 | Riga latvia is an instance of city |
| (documentation RigaLatvia EnglishLanguage "The City of Riga in Latvia.") | CountriesAndRegions.kif 2244-2244 | Riga latvia is an instance of city |
| (geographicSubregion RigaLatvia Latvia) | CountriesAndRegions.kif 3433-3433 | Riga latvia is a geographic subregion of latvia |
| (externalImage RigaLatvia "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Latvia_Riga_city.png") | pictureList.kif 1388-1388 | Riga latvia is a geographic subregion of latvia |
| appearance as argument number 2 |
|
|
| (names "Riga" RigaLatvia) | CountriesAndRegions.kif 3434-3434 | Riga latvia has name "Riga" |
| (termFormat EnglishLanguage RigaLatvia "riga latvia") | domainEnglishFormat.kif 49995-49995 | Riga latvia has name "Riga" |
| (termFormat ChineseTraditionalLanguage RigaLatvia "裡加拉脫維亞") | domainEnglishFormat.kif 49996-49996 | Riga latvia has name "Riga" |
| (termFormat ChineseLanguage RigaLatvia "里加拉脱维亚") | domainEnglishFormat.kif 49997-49997 | Riga latvia has name "Riga" |
|
