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 21070-21071
(externalImage Coffee "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ plants/ BW/ coffee.png") pictureList.kif 356-356
(subclass Coffee Beverage) Mid-level-ontology.kif 21068-21068
(subclass Coffee PreparedFood) Mid-level-ontology.kif 21069-21069

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


(subclass Espresso Coffee) Food.kif 542-542
(termFormat ChineseLanguage Coffee "咖啡") domainEnglishFormat.kif 15483-15483
(termFormat ChineseTraditionalLanguage Coffee "咖啡") domainEnglishFormat.kif 15482-15482
(termFormat EnglishLanguage Coffee "coffee") domainEnglishFormat.kif 15481-15481

antecedent
-------------------------


(=>
    (instance ?C Coffee)
    (exists (?CAF)
        (and
            (instance ?CAF Caffeine)
            (piece ?CAF ?C))))
Mid-level-ontology.kif 21073-21078

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


(=>
    (instance ?C Cappuccino)
    (material Coffee ?C))
Food.kif 487-489
(=>
    (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 24883-24891
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners