|
|
   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 14277-14278 | |
| (externalImage Insect "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Chorthippus_biguttulus_f_8835.jpg") | pictureList.kif 4737-4737 | |
| (subclass Insect Arthropod) | Merge.kif 14276-14276 |
| appearance as argument number 2 |
|
|
| (biologicalAgentCarrier YersiniaPestis Insect) | WMD.kif 408-408 | |
| (subclass AntInsect Insect) | Mid-level-ontology.kif 12062-12062 | |
| (subclass Bee Insect) | Mid-level-ontology.kif 12069-12069 | |
| (subclass Butterfly Insect) | Food.kif 465-465 | |
| (subclass Caterpillar Insect) | Mid-level-ontology.kif 12076-12076 | |
| (subclass FlyInsect Insect) | Mid-level-ontology.kif 12091-12091 | |
| (subclass Grasshopper Insect) | Mid-level-ontology.kif 12094-12094 | |
| (subclass Louse Insect) | WMD.kif 1964-1964 | |
| (subclass Mosquito Insect) | Mid-level-ontology.kif 12101-12101 | |
| (subclass Moth Insect) | Mid-level-ontology.kif 12098-12098 | |
| (subclass QueenInsect Insect) | Mid-level-ontology.kif 12107-12107 | |
| (subclass WorkerInsect Insect) | Mid-level-ontology.kif 12132-12132 | |
| (termFormat ChineseLanguage Insect "昆虫") | chinese_format.kif 983-983 | |
| (termFormat EnglishLanguage Insect "insect") | english_format.kif 1173-1173 |
| appearance as argument number 4 |
|
|
| (disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) | Merge.kif 14264-14264 |
| 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 5087-5096 |
|
|
|
