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

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


(subclass Espresso Coffee) Food.kif 560-560
(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 19873-19878

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 23674-23682
(=>
    (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