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

Formal Language: 



Term 1: Term 2:

(=>
    (equal ?X
        (PlantFn EinkornWheatGrain))
    (subclass ?X EinkornWheatGrass))		 Economy.kif 4096-4099
(subclass EinkornWheatGrain WheatGrain) Economy.kif 4091-4091 EinkornWheatGrain 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