Invertebrate(无脊椎动物) |
appearance as argument number 1 |
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) | Merge.kif 14526-14526 | 无脊椎动物 分拆成不相交的 蠕虫, 软体动物, 和 节肢动物 |
(documentation Invertebrate ChineseLanguage "这是一种无脊椎 Animal。") | chinese_format.kif 3400-3400 | |
(documentation Invertebrate EnglishLanguage "An Animal which has no spinal column.") | Merge.kif 14527-14527 | |
(externalImage Invertebrate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Asterias.png") | pictureList.kif 1487-1487 | |
(subclass Invertebrate Animal) | Merge.kif 14525-14525 | 无脊椎动物 是 动物 的 subclass |
appearance as argument number 2 |
(subclass Arthropod Invertebrate) | Merge.kif 14546-14546 | 节肢动物 是 无脊椎动物 的 subclass |
(subclass Coral Invertebrate) | Geography.kif 5965-5965 | 珊瑚 是 无脊椎动物 的 subclass |
(subclass Mollusk Invertebrate) | Merge.kif 14541-14541 | 软体动物 是 无脊椎动物 的 subclass |
(subclass Worm Invertebrate) | Merge.kif 14529-14529 | 蠕虫 是 无脊椎动物 的 subclass |
(termFormat ChineseLanguage Invertebrate "无脊椎动物") | chinese_format.kif 977-977 | |
(termFormat EnglishLanguage Invertebrate "invertebrate") | english_format.kif 1161-1161 | |
(termFormat FrenchLanguage Invertebrate "invertebr�") | french_format.kif 654-654 | |
(termFormat Hindi Invertebrate "akasherukI") | terms-hindi.txt 185-185 | |
(termFormat ItalianLanguage Invertebrate "Invertebrato") | terms-it.txt 188-188 | |
(termFormat JapaneseLanguage Invertebrate "無脊椎動物") | japanese_format.kif 2338-2338 | |
(termFormat PortugueseLanguage Invertebrate "Invertebrado") | portuguese_format.kif 606-606 | |
(termFormat cz Invertebrate "invertebrate") | terms-cz.txt 222-222 | |
(termFormat ro Invertebrate "nevertebratã") | relations-ro.kif 675-675 | |
(termFormat tg Invertebrate "") | terms-tg.txt 189-189 |
appearance as argument number 3 |
(partition Animal Vertebrate Invertebrate) | Merge.kif 14469-14469 | 动物 详尽无遗地 partition 成 脊椎动物 和 无脊椎动物 |
consequent |
(=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile))) |
Mid-level-ontology.kif 11530-11537 | |
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 11674-11679 |