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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))
Economy.kif 4629-4634
(subclass CoffeePlant Shrub) Economy.kif 4598-4598 CoffeePlant ist eine teilkategorie von Shrub
(subclass CoffeaArabica CoffeePlant) Economy.kif 4611-4611 CoffeaArabica ist eine teilkategorie von CoffeePlant
(subclass CoffeaRobusta CoffeePlant) Economy.kif 4617-4617 CoffeaRobusta ist eine teilkategorie von CoffeePlant


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