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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (subclass ?CLASS PlantStem)
        (equal ?CLASS Alfalfa))
    (initialPart ?CLASS AlfalfaPlant))		 Economy.kif 4825-4829
(subclass Alfalfa Legume) Economy.kif 4831-4831 Alfalfa ist eine teilkategorie von Legume


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