Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LakeRegion
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LakeRegion GeographicArea) | Geography.kif 7004-7004 | Lake region is a subclass of geographic area |
| (documentation LakeRegion EnglishLanguage "A LakeRegion is a GeographicArea including land surrounding one or more Lakes.") | Geography.kif 7006-7007 | Lake region is a subclass of geographic area |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Glacier_lake_mcdonald.jpg") | pictureList.kif 10085-10085 | Lake region is a subclass of geographic area |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Three_Betula_papyrifera_by_McDonald_Lake.jpg") | pictureList.kif 11310-11310 | Lake region is a subclass of geographic area |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Lake_Tekapo_Township_South_Island.jpg") | pictureList.kif 11311-11311 | Lake region is a subclass of geographic area |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ Yellowstone_Lake_from_space.jpg") | pictureList.kif 11312-11312 | Lake region is a subclass of geographic area |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Willandra_Lakes.png") | pictureList.kif 11313-11313 | Lake region is a subclass of geographic area |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ New_York%27s_Finger_Lakes.jpg") | pictureList.kif 11314-11314 | Lake region is a subclass of geographic area |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Lake_Victoria_vegetation_map_fr.jpg") | pictureList.kif 11315-11315 | Lake region is a subclass of geographic area |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Niagara_Falls_from_space_2.jpg") | pictureList.kif 11316-11316 | Lake region is a subclass of geographic area |
| (externalImage LakeRegion "http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ Lila_Lake_26527.JPG") | pictureList.kif 11317-11317 | Lake region is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?REGION LakeRegion) (exists (?LAKE) (and (instance ?LAKE Lake) (located ?LAKE ?REGION)))) |
Geography.kif 7009-7014 | If X is an instance of lake region, then there exists Y such that Y is an instance of lake and Y is located at X |
|
