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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))
Geography.kif 6088-6096
(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))
Geography.kif 6098-6106
(subclass Plant Organism) Merge.kif 14138-14138 Plant is a subclass of organism
(subclass FloweringPlant Plant) Merge.kif 14143-14143 Flowering plant is a subclass of plant
(subclass NonFloweringPlant Plant) Merge.kif 14147-14147 Non flowering plant is a subclass of plant
(subclass Alfalfa Plant) Economy.kif 4315-4315 Alfalfa is a subclass of plant
(subclass Clover Plant) Economy.kif 4319-4319 Clover is a subclass of plant
(subclass ForageCrop Plant) Economy.kif 4324-4324 Forage crop is a subclass of plant


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