|
|
   LakeRegion
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LakeRegion EnglishLanguage "A LakeRegion is a GeographicArea including land surrounding one or more Lakes.") | Geography.kif 5401-5402 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Niagara_Falls_from_space_2.jpg") | pictureList.kif 11323-11323 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Lake_Victoria_vegetation_map-fr.jpg") | pictureList.kif 11322-11322 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Three_Betula_papyrifera_by_McDonald_Lake.jpg") | pictureList.kif 11317-11317 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Lake_Tekapo_Township_South_Island.jpg") | pictureList.kif 11318-11318 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ Yellowstone_Lake_from_space.jpg") | pictureList.kif 11319-11319 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ Lila_Lake_26527.JPG") | pictureList.kif 11324-11324 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ New_York%27s_Finger_Lakes.jpg") | pictureList.kif 11321-11321 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Willandra_Lakes.png") | pictureList.kif 11320-11320 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Glacier_lake_mcdonald.jpg") | pictureList.kif 10087-10087 | |
| (subclass LakeRegion GeographicArea) | Geography.kif 5399-5399 | 子類 湖區 and GeographicArea |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LakeRegion "湖区") | domainEnglishFormat.kif 33145-33145 | |
| (termFormat ChineseTraditionalLanguage LakeRegion "湖區") | domainEnglishFormat.kif 33144-33144 | |
| (termFormat EnglishLanguage LakeRegion "lake region") | domainEnglishFormat.kif 33143-33143 |
| antecedent |
|
|
| (=> (instance ?REGION LakeRegion) (exists (?LAKE) (and (instance ?LAKE Lake) (located ?LAKE ?REGION)))) |
Geography.kif 5404-5409 |
|
|
|
