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

Formal Language: 



Term 1: Term 2:

(subclass Berry Fruit) Food.kif 2198-2198
(subclass Blueberry Berry) Food.kif 2204-2204
(subclass Bilberry Berry) Food.kif 2214-2214
(subclass Blackberry Berry) Food.kif 2225-2225
(subclass Blackcurrent Berry) Food.kif 2230-2230
(subclass Cranberry Berry) Food.kif 2235-2235
(subclass Elderberry Berry) Food.kif 2241-2241
(subclass Gooseberry Berry) Food.kif 2247-2247
(subclass Huckleberry Berry) Food.kif 2252-2252
(subclass Lingonberry Berry) Food.kif 2258-2258
(subclass MadeiraBlueberry Berry) Food.kif 2265-2265
(subclass Raspberry Berry) Food.kif 2271-2271
(subclass Redcurrent Berry) Food.kif 2276-2276


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