Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Reef(reef)
more pictures... |  | barrier_reef, reef |
| appearance as argument number 1 |
|
|
| (subclass Reef LandForm) | Geography.kif 7537-7537 | Reef is a subclass of land form |
| (documentation Reef EnglishLanguage "A Reef is a ridge of rock, coral, or sand at or near the surface of a WaterArea.") | Geography.kif 7539-7540 | Reef is a subclass of land form |
| (externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/5/54/ Part_of_Great_Barrier_Reef_from_Helecopter.JPG") | pictureList-ImageNet.kif 622-622 | Reef is a subclass of land form |
| (externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1b/ GreatBarrierReef_EO.JPG/ 350px_GreatBarrierReef_EO.JPG") | pictureList-ImageNet.kif 695-695 | Reef is a subclass of land form |
| (externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 96/ EilatFringingReef.jpg/ 380px_EilatFringingReef.jpg") | pictureList-ImageNet.kif 696-696 | Reef is a subclass of land form |
| (externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1b/ Healthy_corals.jpg/ 231px_Healthy_corals.jpg") | pictureList-ImageNet.kif 697-697 | Reef is a subclass of land form |
| (externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Whitetip_reef_shark.JPG") | pictureList-ImageNet.kif 698-698 | Reef is a subclass of land form |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near)))) |
Geography.kif 7542-7547 | If X is an instance of reef, then there exists Y such that Y is an instance of water area and X is near to Y |
| (=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef)))) |
Geography.kif 7549-7557 | If X is an instance of reef, then there exists Y such that Y is an instance of sand, Y is an instance of rock, or Y is an instance of coral and Y is a part of X |
| (=> (and (instance ?R Reef) (instance ?B WaterVehicle)) (maritimeHazard ?R ?B)) |
Geography.kif 7559-7563 | If X is an instance of reef and Y is an instance of water vehicle, then X is hazardous to Y. |
|