Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Invertebrate
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Invertebrate Animal) | Merge.kif 14815-14815 | Invertebrate is a subclass of animal |
| (disjointDecomposition Invertebrate Worm Mollusk Arthropod) | Merge.kif 14816-14816 | Invertebrate is disjointly decomposed into worm, mollusk, and arthropod |
| (documentation Invertebrate EnglishLanguage "An Animal which has no spinal column.") | Merge.kif 14817-14817 | Invertebrate is disjointly decomposed into worm, mollusk, and arthropod |
| (externalImage Invertebrate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Asterias.png") | pictureList.kif 1487-1487 | Invertebrate is disjointly decomposed into worm, mollusk, and arthropod |
| appearance as argument number 2 |
|
|
| (subclass Worm Invertebrate) | Merge.kif 14819-14819 | Worm is a subclass of invertebrate |
| (subclass Mollusk Invertebrate) | Merge.kif 14831-14831 | Mollusk is a subclass of invertebrate |
| (subclass Arthropod Invertebrate) | Merge.kif 14836-14836 | Arthropod is a subclass of invertebrate |
| (subclass Coral Invertebrate) | Geography.kif 7565-7565 | Coral is a subclass of invertebrate |
| (termFormat EnglishLanguage Invertebrate "invertebrate") | english_format.kif 1165-1165 | Coral is a subclass of invertebrate |
| appearance as argument number 3 |
|
|
| (partition Animal Vertebrate Invertebrate) | Merge.kif 14759-14759 | 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 13031-13038 | If X is an instance of animal, Y is an instance of animal shell, and Y is a part of X, then X is an instance of invertebrate or X is an instance of reptile |
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 13175-13180 | If X is an instance of animal, Y is an instance of exoskeleton, and Y is a part of X, then X is an instance of invertebrate |
|
