| appearance as argument number 1 |
|
|
| (documentation Worm ChineseLanguage "这是一种瘦、长的软体 Invertebrates。") | chinese_format.kif 3401-3401 | |
| (documentation Worm EnglishLanguage "Long, narrow, soft-bodied Invertebrates.") | Merge.kif 14554-14554 | |
| (externalImage Worm "http://upload.wikimedia.org/wikipedia/commons/3/30/ Regenwurm1.jpg") | pictureList.kif 204-204 | |
| (subclass Worm Invertebrate) | Merge.kif 14553-14553 | Worm is a subclass of invertebrate |
| appearance as argument number 2 |
|
|
| (disjointDecomposition Invertebrate Worm Mollusk Arthropod) | Merge.kif 14550-14550 | Invertebrate is disjointly decomposed into worm, mollusk, and arthropod |
| (subclass Leech Worm) | Merge.kif 14556-14556 | Leech is a subclass of worm |
| (termFormat ChineseLanguage Worm "蠕虫") | chinese_format.kif 978-978 | Leech is a subclass of worm |
| (termFormat EnglishLanguage Worm "worm") | english_format.kif 1163-1163 | Leech is a subclass of worm |
| (termFormat FrenchLanguage Worm "ver") | french_format.kif 655-655 | Leech is a subclass of worm |
| (termFormat Hindi Worm "kQmi") | terms-hindi.txt 186-186 | Leech is a subclass of worm |
| (termFormat ItalianLanguage Worm "Verme") | terms-it.txt 189-189 | Leech is a subclass of worm |
| (termFormat JapaneseLanguage Worm "蠕虫") | japanese_format.kif 2339-2339 | Leech is a subclass of worm |
| (termFormat PortugueseLanguage Worm "Verme") | portuguese_format.kif 607-607 | Leech is a subclass of worm |
| (termFormat cb Worm "ulod") | terms-cb.txt 191-191 | Leech is a subclass of worm |
| (termFormat cz Worm "worm") | terms-cz.txt 223-223 | Leech is a subclass of worm |
| (termFormat ro Worm "vierme") | relations-ro.kif 676-676 | Leech is a subclass of worm |
| (termFormat tg Worm "uod") | terms-tg.txt 190-190 | Leech is a subclass of worm |
|
|
|