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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?MENU BeverageMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X Beverage))		 Dining.kif 208-212
(subclass Beverage PreparedFood) Food.kif 389-389 Beverage ist eine teilkategorie von PreparedFood
(subclass Beverage Colloid) Food.kif 390-390 Beverage ist eine teilkategorie von Colloid
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 10905-10905 AlcoholicBeverage ist eine teilkategorie von Beverage
(subclass Pedialyte Beverage) Medicine.kif 4808-4808 Pedialyte ist eine teilkategorie von Beverage
(subclass Coffee Beverage) Food.kif 628-628 Coffee ist eine teilkategorie von Beverage
(subclass Tea Beverage) Food.kif 1805-1805 Tea ist eine teilkategorie von Beverage
(subclass CaffeinateFreeTea Beverage) Food.kif 1820-1820 CaffeinateFreeTea ist eine teilkategorie von Beverage
(subclass ProcessedMilk Beverage) Food.kif 2827-2827 ProcessedMilk ist eine teilkategorie von Beverage
(subclass ProcessedGoatMilk Beverage) Food.kif 3043-3043 ProcessedGoatMilk ist eine teilkategorie von Beverage
(subclass Soda Beverage) Food.kif 3431-3431 Soda ist eine teilkategorie von Beverage


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