(=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem)))) |
Economy.kif 5485-5493 | |
(subclass Felling Cutting) | Economy.kif 5468-5468 | 砍伐 是 切开 的 subclass |
(subclass Felling Harvesting) | Economy.kif 5469-5469 | 砍伐 是 收获 的 subclass |