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 11400-11400 Spostamento è una sottoclasse di Trasferimento
(subclass Exfiltration Removing) MilitaryProcesses.kif 250-250 Exfiltration è una sottoclasse di Spostamento
(subclass Excreting Removing) Mid-level-ontology.kif 2113-2113 Excreting è una sottoclasse di Spostamento
(subclass Sweeping Removing) Mid-level-ontology.kif 5563-5563 Sweeping è una sottoclasse di Spostamento
(subclass Washing Removing) Mid-level-ontology.kif 5573-5573 Washing è una sottoclasse di Spostamento
(subclass HairRemoval Removing) Mid-level-ontology.kif 11804-11804 HairRemoval è una sottoclasse di Spostamento
(subclass Peeling Removing) Mid-level-ontology.kif 11815-11815 Peeling è una sottoclasse di Spostamento
(subclass Harvesting Removing) Mid-level-ontology.kif 18071-18071 Harvesting è una sottoclasse di Spostamento
(subclass Circumision Removing) Mid-level-ontology.kif 21054-21054 Circumision è una sottoclasse di Spostamento
(subclass Aborting Removing) Mid-level-ontology.kif 21490-21490 Aborting è una sottoclasse di Spostamento
(subclass Birth Removing) Mid-level-ontology.kif 24007-24007 Nascita è una sottoclasse di Spostamento
(subclass Biopsy Removing) Mid-level-ontology.kif 24084-24084 Biopsy è una sottoclasse di Spostamento
(subclass Uncovering Removing) Merge.kif 11415-11415 Scoprire è una sottoclasse di Spostamento
(subclass Drying Removing) Merge.kif 12795-12795 Asciugare è una sottoclasse di Spostamento
(subclass Thoracentesis Removing) Medicine.kif 878-878 Thoracentesis è una sottoclasse di Spostamento
(subclass Amputating Removing) Medicine.kif 6248-6248 Amputating è una sottoclasse di Spostamento
(subclass Deforestation Removing) Geography.kif 2654-2654 Deforestation è una sottoclasse di Spostamento
(subclass Dredging Removing) Geography.kif 2656-2656 Dredging è una sottoclasse di Spostamento
(subclass Erosion Removing) Geography.kif 2674-2674 Erosion è una sottoclasse di Spostamento
(subclass Sanitation Removing) Geography.kif 2915-2915 Sanitation è una sottoclasse di Spostamento
(subclass Moulting Removing) Geography.kif 6442-6442 Moulting è una sottoclasse di Spostamento
(subclass BleedingAir Removing) Cars.kif 1513-1513 BleedingAir è una sottoclasse di Spostamento


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