appearance as argument number 1 |
![]() |
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) | Merge.kif 14599-14599 | 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 14600-14601 | 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 14598-14598 | Arthropod is a subclass of invertebrate |
appearance as argument number 2 |
![]() |
appearance as argument number 4 |
![]() |
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) | Merge.kif 14578-14578 | Invertebrate is disjointly decomposed into worm, mollusk, and arthropod |
![]() |
![]() |