| CoralReef(coral reef)
| | Florida_key, Great_Barrier_Reef, cay, coral_reef, key |
| appearance as argument number 1 |
|
|
| (documentation CoralReef EnglishLanguage "CoralReef is the subclass of Reefs that are formed from living organisms that produce the limestone formations of the reef. Coral reefs include fringing reefs, barrier reefs, and Atolls.") | Geography.kif 6051-6053 | |
| (externalImage CoralReef "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Coral_reef_diagram.jpg") | pictureList.kif 926-926 | |
| (subclass CoralReef Reef) | Geography.kif 6049-6049 | Coral reef is a subclass of reef |
| appearance as argument number 2 |
|
|
| (subclass Atoll CoralReef) | Geography.kif 6062-6062 | Atoll is a subclass of coral reef |
| (termFormat ChineseLanguage CoralReef "珊瑚礁") | domainEnglishFormat.kif 17337-17337 | Atoll is a subclass of coral reef |
| (termFormat ChineseTraditionalLanguage CoralReef "珊瑚礁") | domainEnglishFormat.kif 17336-17336 | Atoll is a subclass of coral reef |
| (termFormat EnglishLanguage CoralReef "coral reef") | domainEnglishFormat.kif 17335-17335 | Atoll is a subclass of coral reef |
| antecedent |
|
|
| (=> (instance ?REEF CoralReef) (exists (?CORAL) (and (instance ?CORAL Coral) (part ?CORAL ?REEF)))) |
Geography.kif 6055-6060 |
|
|
|
|