| (=> (and (sheddingLeaves ?T ?L) (instance ?T DeciduousTree) (instance ?L PlantLeaf)) (exists (?SHED ?S) (and (subclass ?SHED Removing) (frequency ?SHED YearDuration) (instance ?S ?SHED) (origin ?S ?T) (patient ?S ?L)))) |
Geography.kif 6393-6404 | |
| (subclass Removing Transfer) | Merge.kif 11400-11400 | 除却 は 移動 の subclass では %n |
| (subclass Exfiltration Removing) | MilitaryProcesses.kif 250-250 | Exfiltration は 除却 の subclass では %n |
| (subclass Excreting Removing) | Mid-level-ontology.kif 2113-2113 | Excreting は 除却 の subclass では %n |
| (subclass Sweeping Removing) | Mid-level-ontology.kif 5563-5563 | Sweeping は 除却 の subclass では %n |
| (subclass Washing Removing) | Mid-level-ontology.kif 5573-5573 | Washing は 除却 の subclass では %n |
| (subclass HairRemoval Removing) | Mid-level-ontology.kif 11804-11804 | HairRemoval は 除却 の subclass では %n |
| (subclass Peeling Removing) | Mid-level-ontology.kif 11815-11815 | Peeling は 除却 の subclass では %n |
| (subclass Harvesting Removing) | Mid-level-ontology.kif 18071-18071 | Harvesting は 除却 の subclass では %n |
| (subclass Circumision Removing) | Mid-level-ontology.kif 21054-21054 | Circumision は 除却 の subclass では %n |
| (subclass Aborting Removing) | Mid-level-ontology.kif 21490-21490 | Aborting は 除却 の subclass では %n |
| (subclass Birth Removing) | Mid-level-ontology.kif 24007-24007 | 出生 は 除却 の subclass では %n |
| (subclass Biopsy Removing) | Mid-level-ontology.kif 24084-24084 | Biopsy は 除却 の subclass では %n |
| (subclass Uncovering Removing) | Merge.kif 11415-11415 | 除覆 は 除却 の subclass では %n |
| (subclass Drying Removing) | Merge.kif 12795-12795 | 乾燥 は 除却 の subclass では %n |
| (subclass Thoracentesis Removing) | Medicine.kif 878-878 | Thoracentesis は 除却 の subclass では %n |
| (subclass Amputating Removing) | Medicine.kif 6248-6248 | Amputating は 除却 の subclass では %n |
| (subclass Deforestation Removing) | Geography.kif 2654-2654 | Deforestation は 除却 の subclass では %n |
| (subclass Dredging Removing) | Geography.kif 2656-2656 | Dredging は 除却 の subclass では %n |
| (subclass Erosion Removing) | Geography.kif 2674-2674 | Erosion は 除却 の subclass では %n |
| (subclass Sanitation Removing) | Geography.kif 2915-2915 | Sanitation は 除却 の subclass では %n |
| (subclass Moulting Removing) | Geography.kif 6442-6442 | Moulting は 除却 の subclass では %n |
| (subclass BleedingAir Removing) | Cars.kif 1513-1513 | BleedingAir は 除却 の subclass では %n |
|
|