Squid |
appearance as argument number 1 |
(subclass Squid Mollusk) | Food.kif 2407-2407 | Squid ist eine teilkategorie von Mollusk |
appearance as argument number 2 |
(meatOfAnimal SquidMeat Squid) | Food.kif 2021-2021 | meatOfAnimal SquidMeat and Squid |
(termFormat EnglishLanguage Squid "squid") | domainEnglishFormat.kif 65537-65537 |
consequent |
(=> (instance ?C Calamari) (exists (?S) (and (meatOfAnimal ?S Squid) (material ?S ?C)))) |
Food.kif 2410-2415 |
|