| Invertebrate(無脊椎動物)
| |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Invertebrate Worm Mollusk Arthropod) | Merge.kif 14657-14657 | 無脊椎動物 は 蠕虫, 軟体動物, + 節足動物 に disjointly decomposed |
| (documentation Invertebrate ChineseLanguage "这是一种无脊椎 Animal。") | chinese_format.kif 3400-3400 | 無脊椎動物 は 蠕虫, 軟体動物, + 節足動物 に disjointly decomposed |
| (documentation Invertebrate EnglishLanguage "An Animal which has no spinal column.") | Merge.kif 14658-14658 | 無脊椎動物 は 蠕虫, 軟体動物, + 節足動物 に disjointly decomposed |
| (externalImage Invertebrate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Asterias.png") | pictureList.kif 1487-1487 | 無脊椎動物 は 蠕虫, 軟体動物, + 節足動物 に disjointly decomposed |
| (subclass Invertebrate Animal) | Merge.kif 14656-14656 | 無脊椎動物 は 動物 の subclass では |
| appearance as argument number 2 |
|
|
| (subclass Arthropod Invertebrate) | Merge.kif 14677-14677 | 節足動物 は 無脊椎動物 の subclass では |
| (subclass Coral Invertebrate) | Geography.kif 6268-6268 | Coral は 無脊椎動物 の subclass では |
| (subclass Mollusk Invertebrate) | Merge.kif 14672-14672 | 軟体動物 は 無脊椎動物 の subclass では |
| (subclass Worm Invertebrate) | Merge.kif 14660-14660 | 蠕虫 は 無脊椎動物 の subclass では |
| (termFormat ChineseLanguage Invertebrate "无脊椎动物") | chinese_format.kif 977-977 | 蠕虫 は 無脊椎動物 の subclass では |
| (termFormat EnglishLanguage Invertebrate "invertebrate") | english_format.kif 1161-1161 | 蠕虫 は 無脊椎動物 の subclass では |
| (termFormat FrenchLanguage Invertebrate "invertebr�") | french_format.kif 654-654 | 蠕虫 は 無脊椎動物 の subclass では |
| (termFormat Hindi Invertebrate "akasherukI") | terms-hindi.txt 185-185 | 蠕虫 は 無脊椎動物 の subclass では |
| (termFormat ItalianLanguage Invertebrate "Invertebrato") | terms-it.txt 188-188 | 蠕虫 は 無脊椎動物 の subclass では |
| (termFormat JapaneseLanguage Invertebrate "無脊椎動物") | japanese_format.kif 2338-2338 | 蠕虫 は 無脊椎動物 の subclass では |
| (termFormat PortugueseLanguage Invertebrate "Invertebrado") | portuguese_format.kif 606-606 | 蠕虫 は 無脊椎動物 の subclass では |
| (termFormat cz Invertebrate "invertebrate") | terms-cz.txt 222-222 | 蠕虫 は 無脊椎動物 の subclass では |
| (termFormat de Invertebrate "wirbelloses Tier") | terms-de.txt 481-481 | 蠕虫 は 無脊椎動物 の subclass では |
| (termFormat ro Invertebrate "nevertebratã") | relations-ro.kif 675-675 | 蠕虫 は 無脊椎動物 の subclass では |
| (termFormat tg Invertebrate "") | terms-tg.txt 189-189 | 蠕虫 は 無脊椎動物 の subclass では |
| appearance as argument number 3 |
|
|
| (partition Animal Vertebrate Invertebrate) | Merge.kif 14600-14600 | 動物 は 脊椎動物 + 無脊椎動物 に exhaustively partitioned |
| consequent |
|
|
| (=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile))) |
Mid-level-ontology.kif 12862-12869 | |
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 13006-13011 |
|
|
|