Seafood(seafood)![]() | ![]() | coquille, freshwater_fish, seafood, seafood_Newburg |
appearance as argument number 1 |
![]() |
(documentation Seafood EnglishLanguage "Seafood refers to Meat from Animal that inhabit BodiesOfWater") | Food.kif 268-269 | |
(externalImage Seafood "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7f/ Mariscada.jpg/ 800px-Mariscada.jpg") | pictureList.kif 937-937 | |
(subclass Seafood Meat) | Food.kif 267-267 | Seafood is a subclass of meat |
appearance as argument number 2 |
![]() |
(subclass FishMeat Seafood) | Food.kif 285-285 | Fish meat is a subclass of seafood |
(subclass MolluskMeat Seafood) | Food.kif 328-328 | Mollusk is a subclass of seafood |
(subclass Shellfish Seafood) | Food.kif 292-292 | Shellfish is a subclass of seafood |
(termFormat ChineseLanguage Seafood "海鲜") | domainEnglishFormat.kif 51591-51591 | |
(termFormat ChineseTraditionalLanguage Seafood "海鮮") | domainEnglishFormat.kif 51590-51590 | |
(termFormat EnglishLanguage Seafood "seafood") | domainEnglishFormat.kif 51589-51589 |
antecedent |
![]() |
(=> (and (instance ?S ?C) (subclass ?C Seafood)) (exists (?X ?SEA) (and (meatOfAnimal ?C ?ANIMAL) (instance ?X ?ANIMAL) (instance ?SEA BodyOfWater) (inhabits ?X ?SEA)))) |
Food.kif 274-283 |
|
(=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish)))) |
Food.kif 819-825 |
|
![]() |
![]() |