| appearance as argument number 1 |
|
|
| (documentation Coral EnglishLanguage "Corals are gastrovascular marine cnidarians (phylum Cnidaria, class Anthozoa) existing as small anemone-like polyps, typically forming colonies of many individuals. The group includes the important reef builders known as hermatypic corals, found in tropical oceans, and belonging to the subclass Zoantharia of order Scleractinia (formerly Madreporaria). The hermatypic corals obtain much of their nutrient requirement from symbiotic unicellular algae called zooxanthellae, and so are dependent upon growing in sunlight. As a result, these corals are usually found not far beneath the surface, although in clear waters corals can grow at depths of 60 m (200 ft). Corals breed by spawning, with all corals of the same species in a region releasing gametes simultaneously over a period of one to several nights around a full moon. (from Wikipedia)") | Geography.kif 5967-5978 | |
| (externalImage Coral "http://articulatesoftware.com/SUMOpictures/animals/ aquatic/ Coral_12.png") | pictureList.kif 367-367 | |
| (subclass Coral Invertebrate) | Geography.kif 5965-5965 | Coral is a subclass of invertebrate |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Coral "珊瑚") | domainEnglishFormat.kif 17332-17332 | |
| (termFormat ChineseTraditionalLanguage Coral "珊瑚") | domainEnglishFormat.kif 17331-17331 | |
| (termFormat EnglishLanguage Coral "coral") | domainEnglishFormat.kif 17330-17330 |
| consequent |
|
|
| (=> (instance ?REEF CoralReef) (exists (?CORAL) (and (instance ?CORAL Coral) (part ?CORAL ?REEF)))) |
Geography.kif 5986-5991 |
|
| (=> (instance ?Reef Reef) (exists (?Stuff) (and (or (instance ?Stuff Sand) (instance ?Stuff Rock) (instance ?Stuff Coral)) (part ?Stuff ?Reef)))) |
Geography.kif 5949-5957 |
|
|
|
|