![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
CopenhagenDenmark
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (names "Copenhagen" CopenhagenDenmark) | CountriesAndRegions.kif 2756-2756 | Copenhagen denmark has name "Copenhagen" |
| (termFormat EnglishLanguage CopenhagenDenmark "copenhagen denmark") | domainEnglishFormat.kif 17226-17226 | Copenhagen denmark has name "Copenhagen" |
| (termFormat ChineseTraditionalLanguage CopenhagenDenmark "哥本哈根丹麥") | domainEnglishFormat.kif 17227-17227 | Copenhagen denmark has name "Copenhagen" |
| (termFormat ChineseLanguage CopenhagenDenmark "哥本哈根丹麦") | domainEnglishFormat.kif 17228-17228 | Copenhagen denmark has name "Copenhagen" |