| appearance as argument number 1 |
|
|
| (disjointDecomposition Invertebrate Worm Mollusk Arthropod) | Merge.kif 14550-14550 | Invertebrate is disjointly decomposed into worm, mollusk, and arthropod |
| (documentation Invertebrate ChineseLanguage "这是一种无脊椎 Animal。") | chinese_format.kif 3400-3400 | Invertebrate is disjointly decomposed into worm, mollusk, and arthropod |
| (documentation Invertebrate EnglishLanguage "An Animal which has no spinal column.") | Merge.kif 14551-14551 | 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 |
| (subclass Invertebrate Animal) | Merge.kif 14549-14549 | Invertebrate is a subclass of animal |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition Animal Vertebrate Invertebrate) | Merge.kif 14493-14493 | 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 11749-11756 |
|
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 11893-11898 |
|
|
|
|