![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Shoal ChineseLanguage "Shoal 是一处 LandForm,它靠近 WaterArea,并且 大部分的范围被 %BodyOfWater 淹没。") | Geography.kif 5599-5600 | |
(documentation Shoal EnglishLanguage "A Shoal is a LandForm near a WaterArea with most of it is covered by a %BodyOfWater.") | Geography.kif 5597-5598 | |
(externalImage Shoal "http://upload.wikimedia.org/wikipedia/commons/6/66/ WayaWayasewa.jpg") | pictureList.kif 6856-6856 | |
(externalImage Shoal "http://upload.wikimedia.org/wikipedia/en/4/43/SandbarLongIsland1.jpg") | pictureList.kif 7848-7848 | |
(externalImage Shoal "http://upload.wikimedia.org/wikipedia/en/e/ea/Mississippi_River-sand_bars.jpg") | pictureList.kif 7849-7849 | |
(subclass Shoal LandForm) | Geography.kif 5601-5601 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Shoal "浅滩") | domainEnglishFormat.kif 52737-52737 | |
(termFormat ChineseTraditionalLanguage Shoal "淺灘") | domainEnglishFormat.kif 52736-52736 | |
(termFormat EnglishLanguage Shoal "shoal") | domainEnglishFormat.kif 52735-52735 |
antecedent |
![]() |
(=> (and (instance ?S Shoal) (instance ?B WaterVehicle)) (maritimeHazard ?S ?B)) |
Geography.kif 5619-5623 | |
(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 5610-5617 | |
(=> (instance ?LAND Shoal) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 5603-5608 |
![]() |
![]() |