| Insect(insecte)
| |
| 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 14691-14692 | |
| (externalImage Insect "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Chorthippus_biguttulus_f_8835.jpg") | pictureList.kif 4735-4735 | |
| (subclass Insect Arthropod) | Merge.kif 14690-14690 | Insecte est une sous-classe de arthropode |
| appearance as argument number 2 |
|
|
| (biologicalAgentCarrier YersiniaPestis Insect) | WMD.kif 408-408 | biologicalAgentCarrier YersiniaPestis and insecte |
| (subclass AntInsect Insect) | Mid-level-ontology.kif 13912-13912 | AntInsect est une sous-classe de insecte |
| (subclass Bee Insect) | Mid-level-ontology.kif 13919-13919 | Bee est une sous-classe de insecte |
| (subclass Butterfly Insect) | Food.kif 2407-2407 | Butterfly est une sous-classe de insecte |
| (subclass Caterpillar Insect) | Mid-level-ontology.kif 13926-13926 | Caterpillar est une sous-classe de insecte |
| (subclass FlyInsect Insect) | Mid-level-ontology.kif 13957-13957 | FlyInsect est une sous-classe de insecte |
| (subclass Grasshopper Insect) | Mid-level-ontology.kif 13960-13960 | Grasshopper est une sous-classe de insecte |
| (subclass Louse Insect) | WMD.kif 1973-1973 | Louse est une sous-classe de insecte |
| (subclass Mosquito Insect) | Mid-level-ontology.kif 13967-13967 | Mosquito est une sous-classe de insecte |
| (subclass Moth Insect) | Mid-level-ontology.kif 13964-13964 | Moth est une sous-classe de insecte |
| (subclass QueenInsect Insect) | Mid-level-ontology.kif 13973-13973 | QueenInsect est une sous-classe de insecte |
| (subclass WorkerInsect Insect) | Mid-level-ontology.kif 13998-13998 | WorkerInsect est une sous-classe de insecte |
| (termFormat ChineseLanguage Insect "昆虫") | chinese_format.kif 983-983 | WorkerInsect est une sous-classe de insecte |
| (termFormat EnglishLanguage Insect "insect") | english_format.kif 1173-1173 | WorkerInsect est une sous-classe de insecte |
| (termFormat FrenchLanguage Insect "insecte") | french_format.kif 660-660 | WorkerInsect est une sous-classe de insecte |
| (termFormat Hindi Insect "kIta") | terms-hindi.txt 191-191 | WorkerInsect est une sous-classe de insecte |
| (termFormat ItalianLanguage Insect "Insetto") | terms-it.txt 194-194 | WorkerInsect est une sous-classe de insecte |
| (termFormat JapaneseLanguage Insect "昆虫") | japanese_format.kif 2344-2344 | WorkerInsect est une sous-classe de insecte |
| (termFormat PortugueseLanguage Insect "Inseto") | portuguese_format.kif 612-612 | WorkerInsect est une sous-classe de insecte |
| (termFormat cb Insect "mananap") | terms-cb.txt 196-196 | WorkerInsect est une sous-classe de insecte |
| (termFormat cz Insect "insect") | terms-cz.txt 228-228 | WorkerInsect est une sous-classe de insecte |
| (termFormat de Insect "Insekt") | terms-de.txt 487-487 | WorkerInsect est une sous-classe de insecte |
| (termFormat ro Insect "insectã") | relations-ro.kif 681-681 | WorkerInsect est une sous-classe de insecte |
| (termFormat tg Insect "insekto") | terms-tg.txt 195-195 | WorkerInsect est une sous-classe de insecte |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 4 |
|
|
| (disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) | Merge.kif 14678-14678 | Arthropode est disjointement decompos� en arachnide, myriapode, insecte, + crustac� |
| 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 6328-6337 |
|
|
|