Insect |
appearance as argument number 1 |
(documentation Insect ChineseLanguage "这是需要呼吸空气的小 Arthropod Class,可以通过它们的 外形把它们从其他几节动物分辨出来。") | chinese_format.kif 3408-3409 | |
(documentation Insect EnglishLanguage "A Class of small Arthropods that are air-breathing and that are distinguished by appearance.") | Merge.kif 14584-14585 | |
(externalImage Insect "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Chorthippus_biguttulus_f_8835.jpg") | pictureList.kif 4736-4736 | |
(subclass Insect Arthropod) | Merge.kif 14583-14583 |
appearance as argument number 2 |
(biologicalAgentCarrier YersiniaPestis Insect) | WMD.kif 408-408 | |
(subclass AntInsect Insect) | Mid-level-ontology.kif 12608-12608 | |
(subclass Bee Insect) | Mid-level-ontology.kif 12615-12615 | |
(subclass Butterfly Insect) | Food.kif 2400-2400 | |
(subclass Caterpillar Insect) | Mid-level-ontology.kif 12622-12622 | |
(subclass FlyInsect Insect) | Mid-level-ontology.kif 12653-12653 | |
(subclass Grasshopper Insect) | Mid-level-ontology.kif 12656-12656 | |
(subclass Louse Insect) | WMD.kif 1973-1973 | |
(subclass Mosquito Insect) | Mid-level-ontology.kif 12663-12663 | |
(subclass Moth Insect) | Mid-level-ontology.kif 12660-12660 | |
(subclass QueenInsect Insect) | Mid-level-ontology.kif 12669-12669 | |
(subclass WorkerInsect Insect) | Mid-level-ontology.kif 12694-12694 | |
(termFormat ChineseLanguage Insect "昆虫") | chinese_format.kif 983-983 | |
(termFormat EnglishLanguage Insect "insect") | english_format.kif 1173-1173 | |
(termFormat FrenchLanguage Insect "insecte") | french_format.kif 660-660 | |
(termFormat Hindi Insect "kIta") | terms-hindi.txt 191-191 | |
(termFormat ItalianLanguage Insect "Insetto") | terms-it.txt 194-194 | |
(termFormat JapaneseLanguage Insect "昆虫") | japanese_format.kif 2344-2344 | |
(termFormat PortugueseLanguage Insect "Inseto") | portuguese_format.kif 612-612 | |
(termFormat cb Insect "mananap") | terms-cb.txt 196-196 | |
(termFormat cz Insect "insect") | terms-cz.txt 228-228 | |
(termFormat ro Insect "insectã") | relations-ro.kif 681-681 | |
(termFormat tg Insect "insekto") | terms-tg.txt 195-195 |
appearance as argument number 4 |
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) | Merge.kif 14571-14571 |
consequent |
(=> (instance ?S Silk) (exists (?M ?T ?I) (and (instance ?M Making) (result ?M ?S) (resource ?M ?T) (part ?T ?I) (instance ?I Insect) (attribute ?I Larval)))) |
Mid-level-ontology.kif 5385-5394 |