| Invertebrate
| |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Invertebrate Worm Mollusk Arthropod) | Merge.kif 13469-13469 | disjointDecomposition Invertebrate, Worm, Mollusk and Arthropod |
| (documentation Invertebrate ChineseLanguage "这是一种无脊椎 Animal。") | chinese_format.kif 3400-3400 | |
| (documentation Invertebrate EnglishLanguage "An Animal which has no spinal column.") | Merge.kif 13470-13470 | |
| (externalImage Invertebrate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Asterias.png") | pictureList.kif 1488-1488 | |
| (subclass Invertebrate Animal) | Merge.kif 13468-13468 | subclass Invertebrate and Animal |
| appearance as argument number 2 |
|
|
| (subclass Arthropod Invertebrate) | Merge.kif 13480-13480 | subclass Arthropod and Invertebrate |
| (subclass Coral Invertebrate) | Geography.kif 5561-5561 | subclass Coral and Invertebrate |
| (subclass Mollusk Invertebrate) | Merge.kif 13475-13475 | subclass Mollusk and Invertebrate |
| (subclass Worm Invertebrate) | Merge.kif 13472-13472 | subclass Worm and Invertebrate |
| (termFormat ChineseLanguage Invertebrate "无脊椎动物") | chinese_format.kif 977-977 | |
| (termFormat EnglishLanguage Invertebrate "invertebrate") | english_format.kif 1166-1166 |
| appearance as argument number 3 |
|
|
| (partition Animal Vertebrate Invertebrate) | Merge.kif 13412-13412 | partition Animal, Vertebrate and Invertebrate |
| consequent |
|
|
| (=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile))) |
Mid-level-ontology.kif 9749-9756 | |
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 9891-9896 |
|
|
|