| Moth
| |
| appearance as argument number 1 |
|
|
| (documentation Moth EnglishLanguage "Nocturnal Insect with a large body and antennae.") | Mid-level-ontology.kif 12661-12661 | |
| (externalImage Moth "http://articulatesoftware.com/SUMOpictures/animals/ bugs/ moth.png") | pictureList.kif 606-606 | |
| (subclass Moth Insect) | Mid-level-ontology.kif 12660-12660 | Moth è una sottoclasse di Insetto |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Moth "蛾") | domainEnglishFormat.kif 38675-38675 | |
| (termFormat ChineseTraditionalLanguage Moth "蛾") | domainEnglishFormat.kif 38674-38674 | |
| (termFormat EnglishLanguage Moth "moth") | domainEnglishFormat.kif 38673-38673 |
| consequent |
|
|
| (=> (instance ?C Caterpillar) (holdsDuring (WhenFn ?C) (exists (?X) (and (equal ?X ?C) (attribute ?X Larval) (or (instance ?X Moth) (instance ?X Butterfly)))))) |
Mid-level-ontology.kif 12633-12643 |
|
|
|
|