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 5787-5795
(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))
Geography.kif 5796-5804
(subclass Plant Organism) Merge.kif 13347-13347 subclass Plant and Organism
(subclass FloweringPlant Plant) Merge.kif 13352-13352 subclass FloweringPlant and Plant
(subclass NonFloweringPlant Plant) Merge.kif 13356-13356 subclass NonFloweringPlant and Plant
(subclass Alfalfa Plant) Economy.kif 4162-4162 subclass Alfalfa and Plant
(subclass Clover Plant) Economy.kif 4166-4166 subclass Clover and Plant
(subclass ForageCrop Plant) Economy.kif 4171-4171 subclass ForageCrop and Plant


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners