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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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 20955-20960

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 24766-24774
(=>
    (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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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