Calamari |
appearance as argument number 1 |
(subclass Calamari CookedDish) | Food.kif 2408-2408 | Calamari ist eine teilkategorie von CookedDish |
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 |
|