| appearance as argument number 1 |
|
|
| (disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) | Merge.kif 14700-14700 | Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean |
| (documentation Arthropod ChineseLanguage "这是包括 Arachnid 和 Insects 的 Invertebrate Class。") | chinese_format.kif 3404-3405 | Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean |
| (documentation Arthropod EnglishLanguage "A Class of Invertebrate that includes Arachnids and Insects.") | Merge.kif 14701-14702 | Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean |
| (externalImage Arthropod "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Arthropod_phylogeny.png") | pictureList.kif 4509-4509 | Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean |
| (subclass Arthropod Invertebrate) | Merge.kif 14699-14699 | Arthropod is a subclass of invertebrate |
| appearance as argument number 2 |
|
|
| appearance as argument number 4 |
|
|
| (disjointDecomposition Invertebrate Worm Mollusk Arthropod) | Merge.kif 14679-14679 | Invertebrate is disjointly decomposed into worm, mollusk, and arthropod |
|
|