|
|
   Butterfly
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Butterfly Insect) | Food.kif 2400-2400 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Butterfly "butterfly") | domainEnglishFormat.kif 64603-64603 |
| 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 12824-12834 |
|
|
|