Calamari(calamari) | calamari, calamary, squid |
appearance as argument number 1 |
(subclass Calamari CookedDish) | Food.kif 2408-2408 | Calamari is a subclass of cooked dish |
appearance as argument number 2 |
(termFormat EnglishLanguage Calamari "calamari") | domainEnglishFormat.kif 64589-64589 |
antecedent |
(=> (instance ?C Calamari) (exists (?S) (and (meatOfAnimal ?S Squid) (material ?S ?C)))) |
Food.kif 2410-2415 |
|