appearance as argument number 1 |
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) | Merge.kif 14571-14571 | 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 14572-14573 | 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 4510-4510 | Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean |
(subclass Arthropod Invertebrate) | Merge.kif 14570-14570 | Arthropod is a subclass of invertebrate |
appearance as argument number 2 |
appearance as argument number 4 |
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) | Merge.kif 14550-14550 | Invertebrate is disjointly decomposed into worm, mollusk, and arthropod |