Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
GuilinChina(guilin china)
|
| appearance as argument number 1 |
|
| (instance GuilinChina City) | CountriesAndRegions.kif 1762-1762 | Guilin china is an instance of city |
| (documentation GuilinChina EnglishLanguage "The City of Guilin in China.") | CountriesAndRegions.kif 1763-1763 | Guilin china is an instance of city |
| (geographicSubregion GuilinChina China) | CountriesAndRegions.kif 2892-2892 | Guilin china is a geographic subregion of china |
| (externalImage GuilinChina "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 10/ Guilin_in_Guangxi.png/ 260px_Guilin_in_Guangxi.png") | pictureList.kif 1330-1330 | Guilin china is a geographic subregion of china |
| appearance as argument number 2 |
|
|
| (names "Guilin" GuilinChina) | CountriesAndRegions.kif 2893-2893 | Guilin china has name "Guilin" |
| (termFormat EnglishLanguage GuilinChina "guilin china") | domainEnglishFormat.kif 26984-26984 | Guilin china has name "Guilin" |
| (termFormat ChineseTraditionalLanguage GuilinChina "桂林中國") | domainEnglishFormat.kif 26985-26985 | Guilin china has name "Guilin" |
| (termFormat ChineseLanguage GuilinChina "桂林中国") | domainEnglishFormat.kif 26986-26986 | Guilin china has name "Guilin" |
|