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

Formal Language: 



Term 1: Term 2:

(subclass Berry Fruit) Food.kif 2198-2198 Berry is a subclass of fruit
(subclass Blueberry Berry) Food.kif 2204-2204 Blueberry is a subclass of berry
(subclass Bilberry Berry) Food.kif 2214-2214 Bilberry is a subclass of berry
(subclass Blackberry Berry) Food.kif 2225-2225 Blackberry is a subclass of berry
(subclass Blackcurrent Berry) Food.kif 2230-2230 Black current is a subclass of berry
(subclass Cranberry Berry) Food.kif 2235-2235 Cranberry is a subclass of berry
(subclass Elderberry Berry) Food.kif 2241-2241 Elderberry is a subclass of berry
(subclass Gooseberry Berry) Food.kif 2247-2247 Gooseberry is a subclass of berry
(subclass Huckleberry Berry) Food.kif 2252-2252 Huckleberry is a subclass of berry
(subclass Lingonberry Berry) Food.kif 2258-2258 Lingonberry is a subclass of berry
(subclass MadeiraBlueberry Berry) Food.kif 2265-2265 Madeira blueberry is a subclass of berry
(subclass Raspberry Berry) Food.kif 2271-2271 Raspberry is a subclass of berry
(subclass Redcurrent Berry) Food.kif 2276-2276 Red current is a subclass of berry


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