Sigma KB Term Intersection

(=> (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	Wenn Entity ist ein fall von Meat %n{nicht} und Meat ist eine teilkategorie von Seafood, dann es gibt Organism, EntityEA, and und Animal um meatOfAnimal Meat and Animal und Organism ist ein fall von Animal %n{nicht} und EntityEA ist ein fall von BodyOfWater %n{nicht} und Organism wohnt in ** EntityEA
(=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish))))	Food.kif 3377-3383	Wenn Object ist ein fall von Seafood %n{nicht}, dann es gibt Object und OrganicObject um Object ist ein fall von DeadFn OrganicObject %n{nicht} und Object ist ein teil von Object %n{nicht} und OrganicObject ist eine teilkategorie von Fish
(subclass Seafood Meat)	Food.kif 1921-1921	Seafood ist eine teilkategorie von Meat
(subclass FishMeat Seafood)	Food.kif 1939-1939	FishMeat ist eine teilkategorie von Seafood
(subclass Shellfish Seafood)	Food.kif 1946-1946	Shellfish ist eine teilkategorie von Seafood
(subclass MolluskMeat Seafood)	Food.kif 1982-1982	MolluskMeat ist eine teilkategorie von Seafood