Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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 除却移動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 5564-5564 Sweeping除却subclass では %n
(subclass Washing Removing) Mid-level-ontology.kif 5574-5574 Washing除却subclass では %n
(subclass HairRemoval Removing) Mid-level-ontology.kif 11805-11805 HairRemoval除却subclass では %n
(subclass Peeling Removing) Mid-level-ontology.kif 11816-11816 Peeling除却subclass では %n
(subclass Harvesting Removing) Mid-level-ontology.kif 18072-18072 Harvesting除却subclass では %n
(subclass Circumision Removing) Mid-level-ontology.kif 21055-21055 Circumision除却subclass では %n
(subclass Aborting Removing) Mid-level-ontology.kif 21491-21491 Aborting除却subclass では %n
(subclass Birth Removing) Mid-level-ontology.kif 24008-24008 出生除却subclass では %n
(subclass Biopsy Removing) Mid-level-ontology.kif 24085-24085 Biopsy除却subclass では %n
(subclass Uncovering Removing) Merge.kif 11393-11393 除覆除却subclass では %n
(subclass Drying Removing) Merge.kif 12773-12773 乾燥除却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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners