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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?MENU AlcoholMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X AlcoholicBeverage))		 Dining.kif 219-223
(subclass AlcoholicBeverage Beverage) Mid-level-ontology.kif 10904-10904 AlcoholicBeverage ist eine teilkategorie von Beverage
(subclass AlcoholicBeverage Depressant) Mid-level-ontology.kif 10905-10905 AlcoholicBeverage ist eine teilkategorie von Depressant
(subclass Wine AlcoholicBeverage) Mid-level-ontology.kif 10915-10915 Wine ist eine teilkategorie von AlcoholicBeverage
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 10919-10919 DistilledAlcoholicBeverage ist eine teilkategorie von AlcoholicBeverage
(subclass Beer AlcoholicBeverage) Mid-level-ontology.kif 10933-10933 Beer ist eine teilkategorie von AlcoholicBeverage
(subclass Sake AlcoholicBeverage) Medicine.kif 3474-3474 Sake ist eine teilkategorie von AlcoholicBeverage


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