(=> (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 | Felling は 切断 の subclass では %n |
(subclass Felling Harvesting) | Economy.kif 5469-5469 | Felling は Harvesting の subclass では %n |