Squid
|
|
appearance as argument number 1 |
(subclass Squid Mollusk) | Food.kif 2407-2407 | 子類 Squid and Mollusk |
appearance as argument number 2 |
(meatOfAnimal SquidMeat Squid) | Food.kif 2021-2021 | SquidMeat 是 Squid 的 meat |
(termFormat EnglishLanguage Squid "squid") | domainEnglishFormat.kif 65535-65535 |
consequent |
(=> (instance ?C Calamari) (exists (?S) (and (meatOfAnimal ?S Squid) (material ?S ?C)))) |
Food.kif 2410-2415 |
|