Sigma KB Term Intersection

(=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem))))	Economy.kif 5485-5493	Wenn Process ist ein fall von Felling %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann es gibt EntityTEM um Entity ist ein fall von DeadFn EntityTEM %n{nicht} und ** EntityTEM ist eine teilkategorie von PlantStem
(subclass Felling Cutting)	Economy.kif 5468-5468	Felling ist eine teilkategorie von Cutting
(subclass Felling Harvesting)	Economy.kif 5469-5469	Felling ist eine teilkategorie von Harvesting