| Squid | |
| appearance as argument number 1 |
|
|
| (subclass Squid Mollusk) | Food.kif 2414-2414 |
| appearance as argument number 2 |
|
|
| (meatOfAnimal SquidMeat Squid) | Food.kif 2027-2027 | |
| (termFormat EnglishLanguage Squid "squid") | domainEnglishFormat.kif 65529-65529 |
| consequent |
|
|
| (=> (instance ?C Calamari) (exists (?S) (and (meatOfAnimal ?S Squid) (material ?S ?C)))) |
Food.kif 2417-2422 |
|
|
|