Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Stopping
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Shoal EnglishLanguage "A Shoal is a LandForm near a WaterArea with most of it is covered by a %BodyOfWater.") | Geography.kif 7507-7508 | |
| (documentation Shoal ChineseLanguage "Shoal 是一处 LandForm，它靠近 WaterArea，并且 大部分的范围被 %BodyOfWater 淹没。") | Geography.kif 7509-7510 | |
| (subclass Shoal LandForm) | Geography.kif 7511-7511 | Shoal is a subclass of land form |
| (externalImage Shoal "http://upload.wikimedia.org/wikipedia/commons/6/66/ WayaWayasewa.jpg") | pictureList.kif 6854-6854 | Shoal is a subclass of land form |
| (externalImage Shoal "http://upload.wikimedia.org/wikipedia/en/4/43/SandbarLongIsland1.jpg") | pictureList.kif 7845-7845 | Shoal is a subclass of land form |
| (externalImage Shoal "http://upload.wikimedia.org/wikipedia/en/e/ea/Mississippi_River_sand_bars.jpg") | pictureList.kif 7846-7846 | Shoal is a subclass of land form |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?LAND Shoal) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 7513-7518 | If X is an instance of shoal, then there exists Y such that Y is an instance of water area and X meets Y |
| (=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 7520-7527 | If X is an instance of shoal, then there exist Y, Z such that Y is an instance of land form, Y is most of X, Z is an instance of body of water, and Z covers Y |
| (=> (and (instance ?S Shoal) (instance ?B WaterVehicle)) (maritimeHazard ?S ?B)) |
Geography.kif 7529-7533 | If X is an instance of shoal and Y is an instance of water vehicle, then X is hazardous to Y. |
|
