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

Formal Language: 



Term 1: Term 2:

(subclass Berry Fruit) Food.kif 2198-2198 Berry è una sottoclasse di Fruit
(subclass Blueberry Berry) Food.kif 2204-2204 Blueberry è una sottoclasse di Berry
(subclass Bilberry Berry) Food.kif 2214-2214 Bilberry è una sottoclasse di Berry
(subclass Blackberry Berry) Food.kif 2225-2225 Blackberry è una sottoclasse di Berry
(subclass Blackcurrent Berry) Food.kif 2230-2230 Blackcurrent è una sottoclasse di Berry
(subclass Cranberry Berry) Food.kif 2235-2235 Cranberry è una sottoclasse di Berry
(subclass Elderberry Berry) Food.kif 2241-2241 Elderberry è una sottoclasse di Berry
(subclass Gooseberry Berry) Food.kif 2247-2247 Gooseberry è una sottoclasse di Berry
(subclass Huckleberry Berry) Food.kif 2252-2252 Huckleberry è una sottoclasse di Berry
(subclass Lingonberry Berry) Food.kif 2258-2258 Lingonberry è una sottoclasse di Berry
(subclass MadeiraBlueberry Berry) Food.kif 2265-2265 MadeiraBlueberry è una sottoclasse di Berry
(subclass Raspberry Berry) Food.kif 2271-2271 Raspberry è una sottoclasse di Berry
(subclass Redcurrent Berry) Food.kif 2276-2276 Redcurrent è una sottoclasse di 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