Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LeapYear
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Coral Invertebrate) | Geography.kif 7565-7565 | Coral is a subclass of invertebrate |
| (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 7567-7578 | Coral is a subclass of invertebrate |
| (externalImage Coral "http://articulatesoftware.com/SUMOpictures/animals/ aquatic/ Coral_12.png") | pictureList.kif 367-367 | Coral is a subclass of invertebrate |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |
| (=> (instance ?REEF CoralReef) (exists (?CORAL) (and (instance ?CORAL Coral) (part ?CORAL ?REEF)))) |
Geography.kif 7586-7591 | If X is an instance of coral reef, then there exists Y such that Y is an instance of coral and Y is a part of X |
|
