|
|
   Calamari
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Calamari CookedDish) | Food.kif 2408-2408 | Calamari は CookedDish の subclass では %n |
| 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 |
|
|
|