Sigma KB Term Intersection

(=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject))))	Mid-level-ontology.kif 19655-19663	If a process is an instance of harvesting and an entity is a result of the process, then there exists the entityRG such that the entity is an instance of a dead the entityRG and the entityRG is a subclass of organic object
(subclass Harvesting Removing)	Mid-level-ontology.kif 19643-19643	Harvesting is a subclass of removing
(subclass Harvesting Killing)	Mid-level-ontology.kif 19644-19644	Harvesting is a subclass of killing
(subclass Felling Harvesting)	Economy.kif 5811-5811	Felling is a subclass of harvesting