Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
KoreanPeninsula(korean peninsula)
|  | Dae-Han-Min-Gook, Han-Gook, Korea, Korean_Peninsula |
| appearance as argument number 1 |
|
|
| (instance KoreanPeninsula Peninsula) | CountriesAndRegions.kif 819-819 | Korean peninsula is an instance of peninsula |
| (part KoreanPeninsula Asia) | CountriesAndRegions.kif 820-820 | Korean peninsula is a part of asia |
| (documentation KoreanPeninsula EnglishLanguage "A Peninsula in Asia that separates the Yellow Sea from the Sea of Japan. It is occupied by the nations of North and South Korea.") | CountriesAndRegions.kif 821-823 | Korean peninsula is a part of asia |
| (externalImage KoreanPeninsula "http://upload.wikimedia.org/wikipedia/commons/ 5/ 52/ Korean_Peninsula.png") | pictureList.kif 4758-4758 | Korean peninsula is a part of asia |
| appearance as argument number 2 |
|
|
|