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 13526-13527 | |
(externalImage Insect "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Chorthippus_biguttulus_f_8835.jpg") | pictureList.kif 4737-4737 | |
(subclass Insect Arthropod) | Merge.kif 13525-13525 |
appearance as argument number 2 |
![]() |
appearance as argument number 4 |
![]() |
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) | Merge.kif 13513-13513 |
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 5642-5651 |
![]() |
![]() |