more pictures...| LakeRegion(lake region)
more pictures... |
| appearance as argument number 1 |
|
| (documentation LakeRegion EnglishLanguage "A LakeRegion is a GeographicArea including land surrounding one or more Lakes.") | Geography.kif 5471-5472 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Niagara_Falls_from_space_2.jpg") | pictureList.kif 11316-11316 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Lake_Victoria_vegetation_map_fr.jpg") | pictureList.kif 11315-11315 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Three_Betula_papyrifera_by_McDonald_Lake.jpg") | pictureList.kif 11310-11310 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Lake_Tekapo_Township_South_Island.jpg") | pictureList.kif 11311-11311 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ Yellowstone_Lake_from_space.jpg") | pictureList.kif 11312-11312 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ Lila_Lake_26527.JPG") | pictureList.kif 11317-11317 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ New_York%27s_Finger_Lakes.jpg") | pictureList.kif 11314-11314 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Willandra_Lakes.png") | pictureList.kif 11313-11313 | |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Glacier_lake_mcdonald.jpg") | pictureList.kif 10085-10085 | |
| (subclass LakeRegion GeographicArea) | Geography.kif 5469-5469 | Lake region is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LakeRegion "湖区") | domainEnglishFormat.kif 33173-33173 | |
| (termFormat ChineseTraditionalLanguage LakeRegion "湖區") | domainEnglishFormat.kif 33172-33172 | |
| (termFormat EnglishLanguage LakeRegion "lake region") | domainEnglishFormat.kif 33171-33171 |
| antecedent |
|
|
| (=> (instance ?REGION LakeRegion) (exists (?LAKE) (and (instance ?LAKE Lake) (located ?LAKE ?REGION)))) |
Geography.kif 5474-5479 |
|
|
|
|