Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
CoralReef(coral reef)
|  | Florida_key, Great_Barrier_Reef, cay, coral_reef, key |
| appearance as argument number 1 |
|
|
| (subclass CoralReef Reef) | Geography.kif 7580-7580 | Coral reef is a subclass of reef |
| (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 7582-7584 | Coral reef is a subclass of reef |
| (externalImage CoralReef "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Coral_reef_diagram.jpg") | pictureList.kif 926-926 | Coral reef is a subclass of reef |
| appearance as argument number 2 |
|
|
| (subclass Atoll CoralReef) | Geography.kif 7593-7593 | Atoll is a subclass of coral reef |
| (termFormat EnglishLanguage CoralReef "coral reef") | domainEnglishFormat.kif 17322-17322 | Atoll is a subclass of coral reef |
| (termFormat ChineseTraditionalLanguage CoralReef "珊瑚礁") | domainEnglishFormat.kif 17323-17323 | Atoll is a subclass of coral reef |
| (termFormat ChineseLanguage CoralReef "珊瑚礁") | domainEnglishFormat.kif 17324-17324 | Atoll is a subclass of coral reef |
| antecedent |
|
|
| (=> (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 |
|