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

Formal Language: 



Term 1: Term 2:

(=>
    (equal ?X
        (PlantFn EmmerWheatGrain))
    (subclass ?X EmmerWheatGrass))		 Economy.kif 4086-4089
(subclass EmmerWheatGrain WheatGrain) Economy.kif 4081-4081 EmmerWheatGrain ist eine teilkategorie von WheatGrain


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