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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Coffee

Sigma KEE - Coffee
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 19377-19378
(externalImage Coffee "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ plants/ BW/ coffee.png") pictureList.kif 356-356
(subclass Coffee Beverage) Mid-level-ontology.kif 19375-19375
(subclass Coffee PreparedFood) Mid-level-ontology.kif 19376-19376

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


(subclass Espresso Coffee) Food.kif 605-605
(termFormat EnglishLanguage Coffee "coffee") domainEnglishFormat.kif 3003-3003

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


(=>
    (instance ?C Cappuccino)
    (material Coffee ?C))
Food.kif 550-552
(=>
    (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 23425-23433
(=>
    (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