more pictures...
| Reef(reef)
more pictures... | | barrier_reef, reef |
| appearance as argument number 1 |
|
|
| (documentation Reef EnglishLanguage "A Reef is a ridge of rock, coral, or sand at or near the surface of a WaterArea.") | Geography.kif 5541-5542 | |
| (externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/5/54/ Part_of_Great_Barrier_Reef_from_Helecopter.JPG") | pictureList-ImageNet.kif 623-623 | |
| (externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Whitetip_reef_shark.JPG") | pictureList-ImageNet.kif 699-699 | |
| (externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1b/ GreatBarrierReef-EO.JPG/ 350px-GreatBarrierReef-EO.JPG") | pictureList-ImageNet.kif 696-696 | |
| (externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1b/ Healthy_corals.jpg/ 231px-Healthy_corals.jpg") | pictureList-ImageNet.kif 698-698 | |
| (externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 96/ EilatFringingReef.jpg/ 380px-EilatFringingReef.jpg") | pictureList-ImageNet.kif 697-697 | |
| (subclass Reef LandForm) | Geography.kif 5539-5539 | Reef is a subclass of land form |
| (subclass Reef MaritimeHazard) | Weather.kif 965-965 | Reef is a subclass of maritime hazard |
| appearance as argument number 2 |
|
|
| (subclass CoralReef Reef) | Geography.kif 5576-5576 | Coral reef is a subclass of reef |
| (termFormat ChineseLanguage Reef "礁") | domainEnglishFormat.kif 48986-48986 | |
| (termFormat ChineseTraditionalLanguage Reef "礁") | domainEnglishFormat.kif 48985-48985 | |
| (termFormat EnglishLanguage Reef "reef") | domainEnglishFormat.kif 48984-48984 |
| antecedent |
|
|
| (=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef)))) |
Geography.kif 5551-5559 |
|
| (=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near)))) |
Geography.kif 5544-5549 |
|
|
|
|