Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Coffee

Sigma KEE - Coffee
Coffee(coffee)
cafe_au_lait, cafe_noir, coffee, coffee_substitute, decaf, decaffeinated_coffee, demitasse, drip_coffee, ice_coffee, iced_coffee, instant_coffee, java, mocha, mocha_coffee

appearance as argument number 1
-------------------------


(documentation Coffee EnglishLanguage "A Beverage which is prepared by infusing ground, roasted coffee beans into hot water.") Mid-level-ontology.kif 19500-19501
(externalImage Coffee "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ plants/ BW/ coffee.png") pictureList.kif 356-356
(subclass Coffee Beverage) Mid-level-ontology.kif 19498-19498 Coffee is a subclass of beverage
(subclass Coffee PreparedFood) Mid-level-ontology.kif 19499-19499 Coffee is a subclass of prepared food

appearance as argument number 2
-------------------------


(subclass Espresso Coffee) Food.kif 560-560 Espresso is a subclass of coffee
(termFormat ChineseLanguage Coffee "咖啡") domainEnglishFormat.kif 15415-15415
(termFormat ChineseTraditionalLanguage Coffee "咖啡") domainEnglishFormat.kif 15414-15414
(termFormat EnglishLanguage Coffee "coffee") domainEnglishFormat.kif 15413-15413

consequent
-------------------------


(=>
    (instance ?C Cappuccino)
    (material Coffee ?C))
Food.kif 505-507
(=>
    (instance ?C ElectricCoffeeMaker)
    (hasPurpose ?C
        (exists (?COFFEE ?M)
            (and
                (instance ?M Making)
                (instrument ?M ?C)
                (result ?M ?COFFEE)
                (instance ?COFFEE Coffee)))))
Mid-level-ontology.kif 23521-23529
(=>
    (instance ?COMPANY Coffeeshop)
    (exists (?SERVICE ?BEVERAGE)
        (and
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?COMPANY)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?BEVERAGE)
            (instance ?BEVERAGE Coffee))))
Dining.kif 36-44


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners