![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(subclass Calamari CookedDish) | Food.kif 2408-2408 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Calamari "calamari") | domainEnglishFormat.kif 64587-64587 |
antecedent |
![]() |
(=> (instance ?C Calamari) (exists (?S) (and (meatOfAnimal ?S Squid) (material ?S ?C)))) |
Food.kif 2410-2415 |
![]() |
![]() |