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

Formal Language: 



Term 1: Term 2:

(subclass Coconut TropicalFruit) Food.kif 2370-2370 Coconut ist eine teilkategorie von TropicalFruit
(subclass Coconut
    (FoodForFn Animal))		 Food.kif 2371-2371 Coconut 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