appearance as argument number 1 |
![]() |
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) | Merge.kif 14259-14259 | Invertebrate is disjointly decomposed into 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 14260-14260 | |
(externalImage Invertebrate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Asterias.png") | pictureList.kif 1488-1488 | |
(subclass Invertebrate Animal) | Merge.kif 14258-14258 | Invertebrate is a subclass of animal |
appearance as argument number 2 |
![]() |
(subclass Arthropod Invertebrate) | Merge.kif 14279-14279 | Arthropod is a subclass of invertebrate |
(subclass Coral Invertebrate) | Geography.kif 5862-5862 | Coral is a subclass of invertebrate |
(subclass Mollusk Invertebrate) | Merge.kif 14274-14274 | Mollusk is a subclass of invertebrate |
(subclass Worm Invertebrate) | Merge.kif 14262-14262 | Worm is a subclass of invertebrate |
(termFormat ChineseLanguage Invertebrate "无脊椎动物") | chinese_format.kif 977-977 | |
(termFormat EnglishLanguage Invertebrate "invertebrate") | english_format.kif 1161-1161 |
appearance as argument number 3 |
![]() |
(partition Animal Vertebrate Invertebrate) | Merge.kif 14202-14202 | Animal is exhaustively partitioned into 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 11067-11074 |
|
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 11211-11216 |
|
![]() |
![]() |