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

Formal Language: 



Term 1: Term 2:

(subclass TropicalFruit Fruit) Food.kif 2364-2364 TropicalFruit ist eine teilkategorie von Fruit
(subclass Banana TropicalFruit) Food.kif 2366-2366 Banana ist eine teilkategorie von TropicalFruit
(subclass Breadfruit TropicalFruit) Food.kif 2368-2368 Breadfruit ist eine teilkategorie von TropicalFruit
(subclass Coconut TropicalFruit) Food.kif 2370-2370 Coconut ist eine teilkategorie von TropicalFruit
(subclass DateFruit TropicalFruit) Food.kif 2375-2375 DateFruit ist eine teilkategorie von TropicalFruit
(subclass Mango TropicalFruit) Food.kif 2377-2377 Mango ist eine teilkategorie von TropicalFruit
(subclass Papaw TropicalFruit) Food.kif 2379-2379 Papaw ist eine teilkategorie von TropicalFruit
(subclass Papaya TropicalFruit) Food.kif 2383-2383 Papaya ist eine teilkategorie von TropicalFruit
(subclass PassionFruit TropicalFruit) Food.kif 2385-2385 PassionFruit ist eine teilkategorie von TropicalFruit
(subclass Pineapple TropicalFruit) Food.kif 2387-2387 Pineapple ist eine teilkategorie von TropicalFruit
(subclass Plantain TropicalFruit) Food.kif 2389-2389 Plantain 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