Sigma KB Term Intersection

(=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal))))	Food.kif 255-261	instance Object and Meat Object Organism instance Object and DeadFn Organism part Object and Object subclass Organism and Animal
(=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORG Organism) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE)))	Mid-level-ontology.kif 250-258	instance Entity and OrganicObject instance Process and Death experiencer Process and Agent instance Agent and AgentTYPE subclass Agent and Organism result Process and Entity instance Entity and DeadFn AgentTYPE
(=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish))))	Food.kif 819-825	instance Object and Seafood Object Organism instance Object and DeadFn Organism part Object and Object subclass Organism and Fish