|
|
   CoralReef
|
|
|
| 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 5982-5984 | |
| (externalImage CoralReef "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Coral_reef_diagram.jpg") | pictureList.kif 926-926 | |
| (subclass CoralReef Reef) | Geography.kif 5980-5980 | CoralReef est une sous-classe de Reef |
| appearance as argument number 2 |
|
|
| (subclass Atoll CoralReef) | Geography.kif 5993-5993 | Atoll est une sous-classe de CoralReef |
| (termFormat ChineseLanguage CoralReef "珊瑚礁") | domainEnglishFormat.kif 17322-17322 | |
| (termFormat ChineseTraditionalLanguage CoralReef "珊瑚礁") | domainEnglishFormat.kif 17321-17321 | |
| (termFormat EnglishLanguage CoralReef "coral reef") | domainEnglishFormat.kif 17320-17320 |
| antecedent |
|
|
| (=> (instance ?REEF CoralReef) (exists (?CORAL) (and (instance ?CORAL Coral) (part ?CORAL ?REEF)))) |
Geography.kif 5986-5991 |
|
|
|
