(=> (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 11378-11378 | Remover e' uma sub-classe de Transferencia |
(subclass Exfiltration Removing) | MilitaryProcesses.kif 250-250 | Exfiltration e' uma sub-classe de Remover |
(subclass Excreting Removing) | Mid-level-ontology.kif 2113-2113 | Excreting e' uma sub-classe de Remover |
(subclass Sweeping Removing) | Mid-level-ontology.kif 5564-5564 | Sweeping e' uma sub-classe de Remover |
(subclass Washing Removing) | Mid-level-ontology.kif 5574-5574 | Washing e' uma sub-classe de Remover |
(subclass HairRemoval Removing) | Mid-level-ontology.kif 11805-11805 | HairRemoval e' uma sub-classe de Remover |
(subclass Peeling Removing) | Mid-level-ontology.kif 11816-11816 | Peeling e' uma sub-classe de Remover |
(subclass Harvesting Removing) | Mid-level-ontology.kif 18072-18072 | Harvesting e' uma sub-classe de Remover |
(subclass Circumision Removing) | Mid-level-ontology.kif 21055-21055 | Circumision e' uma sub-classe de Remover |
(subclass Aborting Removing) | Mid-level-ontology.kif 21491-21491 | Aborting e' uma sub-classe de Remover |
(subclass Birth Removing) | Mid-level-ontology.kif 24008-24008 | Nascimento e' uma sub-classe de Remover |
(subclass Biopsy Removing) | Mid-level-ontology.kif 24085-24085 | Biopsy e' uma sub-classe de Remover |
(subclass Uncovering Removing) | Merge.kif 11393-11393 | Descobrir e' uma sub-classe de Remover |
(subclass Drying Removing) | Merge.kif 12773-12773 | Secar e' uma sub-classe de Remover |
(subclass Thoracentesis Removing) | Medicine.kif 878-878 | Thoracentesis e' uma sub-classe de Remover |
(subclass Amputating Removing) | Medicine.kif 6248-6248 | Amputating e' uma sub-classe de Remover |
(subclass Deforestation Removing) | Geography.kif 2654-2654 | Deforestation e' uma sub-classe de Remover |
(subclass Dredging Removing) | Geography.kif 2656-2656 | Dredging e' uma sub-classe de Remover |
(subclass Erosion Removing) | Geography.kif 2674-2674 | Erosion e' uma sub-classe de Remover |
(subclass Sanitation Removing) | Geography.kif 2915-2915 | Sanitation e' uma sub-classe de Remover |
(subclass Moulting Removing) | Geography.kif 6442-6442 | Moulting e' uma sub-classe de Remover |
(subclass BleedingAir Removing) | Cars.kif 1513-1513 | BleedingAir e' uma sub-classe de Remover |