(=> (and (instance ?S ?C) (subclass ?C Seafood)) (exists (?X ?SEA ?ANIMAL) (and (meatOfAnimal ?C ?ANIMAL) (instance ?X ?ANIMAL) (instance ?SEA BodyOfWater) (inhabits ?X ?SEA)))) |
Food.kif 1928-1937 | |
(=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish)))) |
Food.kif 3377-3383 | |
(subclass Seafood Meat) | Food.kif 1921-1921 | |
(subclass FishMeat Seafood) | Food.kif 1939-1939 | |
(subclass Shellfish Seafood) | Food.kif 1946-1946 | |
(subclass MolluskMeat Seafood) | Food.kif 1982-1982 |