Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Crustacean
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Crustacean Arthropod) | Merge.kif 14853-14853 | Crustacean is a subclass of arthropod |
| (documentation Crustacean EnglishLanguage "A Class of Arthropods that mainly dwells in water and has a segmented body and a chitinous exoskeleton. Includes lobsters, crabs, shrimp, and barnacles.") | Merge.kif 14854-14856 | Crustacean is a subclass of arthropod |
| (externalImage Crustacean "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Fiddler_crab.jpg") | pictureList.kif 947-947 | Crustacean is a subclass of arthropod |
| appearance as argument number 2 |
|
|
| (subclass Prawn Crustacean) | Food.kif 1981-1981 | Shrimp is a subclass of crustacean |
| (subclass Crab Crustacean) | Food.kif 2566-2566 | Crab is a subclass of crustacean |
| (subclass Lobster Crustacean) | Food.kif 2678-2678 | Lobster is a subclass of crustacean |
| (termFormat EnglishLanguage Crustacean "crustacean") | english_format.kif 1179-1179 | Lobster is a subclass of crustacean |
| appearance as argument number 5 |
|
|
| (disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) | Merge.kif 14837-14837 | Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean |
| antecedent |
|
|
| (=> (and (instance ?C Crustacean) (sheddingBodyPart ?C ?S)) (instance ?S AnimalShell)) |
Geography.kif 8098-8102 | If X is an instance of crustacean and X is Removing Y from its body, then Y is an instance of animal shell |
|
