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

Formal Language: 



Term 1: Term 2:

(subclass Avocado Fruit) Food.kif 2281-2281 Avocado ist eine teilkategorie von Fruit
(subclass Avocado
    (FoodForFn Animal))		 Food.kif 2282-2282 Avocado ist eine teilkategorie von FoodForFn Animal


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