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

Formal Language: 



Term 1: Term 2:

(subclass DateFruit Fruit) Food.kif 2188-2188 DateFruit ist eine teilkategorie von Fruit
(subclass DateFruit
    (FoodForFn Animal))		 Food.kif 2189-2189 DateFruit ist eine teilkategorie von FoodForFn Animal
(subclass DateFruit TropicalFruit) Food.kif 2375-2375 DateFruit ist eine teilkategorie von TropicalFruit


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