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 water.") Food.kif 632-633
(externalImage Coffee "http://articulatesoftware.com/SUMOpictures/plants/ BW/ coffee.png") pictureList.kif 356-356
(initialPart Coffee CoffeeBean) Food.kif 634-634 initialPart Coffee and CoffeeBean
(relatedInternalConcept Coffee CoffeeGrindAttribute) Food.kif 630-630 Coffee est reli� � l'int�rieur de SUMO � CoffeeGrindAttribute
(relatedInternalConcept Coffee CoffeeRoastAttribute) Food.kif 631-631 Coffee est reli� � l'int�rieur de SUMO � CoffeeRoastAttribute
(roomTempState Coffee Liquid) Food.kif 629-629 roomTempState Coffee and Liquid
(subclass Coffee Beverage) Food.kif 628-628 Coffee est une sous-classe de boisson

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


(subclass Americano Coffee) Food.kif 1303-1303 Americano est une sous-classe de Coffee
(subclass Cappuccino Coffee) Food.kif 1264-1264 Cappuccino est une sous-classe de Coffee
(subclass Espresso Coffee) Food.kif 739-739 Espresso est une sous-classe de Coffee
(subclass FlatWhite Coffee) Food.kif 1334-1334 FlatWhite est une sous-classe de Coffee
(subclass Instant Coffee) Food.kif 1455-1455 Instant est une sous-classe de Coffee
(subclass Latte Coffee) Food.kif 1387-1387 Latte est une sous-classe de Coffee
(subclass LongBlack Coffee) Food.kif 1417-1417 LongBlack est une sous-classe de Coffee
(subclass Lungo Coffee) Food.kif 764-764 Lungo est une sous-classe de Coffee
(subclass Manilo Coffee) Food.kif 1454-1454 Manilo est une sous-classe de Coffee
(subclass TurkishCoffee Coffee) Food.kif 1453-1453 TurkishCoffee est une sous-classe de Coffee
(subclass VietnameseCoffee Coffee) Food.kif 1452-1452 VietnameseCoffee est une sous-classe de Coffee
(termFormat ChineseLanguage Coffee "咖啡") domainEnglishFormat.kif 15488-15488
(termFormat ChineseTraditionalLanguage Coffee "咖啡") domainEnglishFormat.kif 15487-15487
(termFormat EnglishLanguage Coffee "coffee") domainEnglishFormat.kif 15486-15486
(typicallyContainsPart Caffeine Coffee) Food.kif 635-635 typicallyContainsPart Caffeine and Coffee

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


(=>
    (and
        (instance ?M Meal)
        (member ?H ?M)
        (or
            (instance ?H Coffee)
            (instance ?H Tea))
        (member ?J ?M)
        (instance ?J Juice)
        (member ?B ?M)
        (instance ?B BreadOrBiscuit)
        (member ?B ?M)
        (instance ?B Butter)
        (member ?JA ?M)
        (instance ?JA Jam))
    (attribute ?M ContinentalBreakfast))		 Food.kif 1731-1746
(=>
    (instance ?C Coffee)
    (attribute ?C CaffeinatedAttribute))		 Food.kif 637-639
(=>
    (instance ?C Coffee)
    (material DrinkingWater ?C))		 Food.kif 641-643
(=>
    (subclass ?CLASS Coffee)
    (initialPart CoffeeBean ?CLASS))		 Food.kif 645-647

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


(=>
    (instance ?C ElectricCoffeeMaker)
    (hasPurpose ?C
        (exists (?COFFEE ?M)
            (and
                (instance ?M CoffeeMaking)
                (instrument ?M ?C)
                (result ?M ?COFFEE)
                (instance ?COFFEE Coffee)))))		 Food.kif 379-387
(=>
    (instance ?CM CoffeeMaking)
    (exists (?C)
        (and
            (instance ?C Coffee)
            (result ?CM ?C))))		 Food.kif 657-662
(=>
    (instance ?CM CoffeeMaking)
    (exists (?R ?LM ?CG ?W ?F ?C)
        (and
            (subProcess ?R ?CM)
            (instance ?R Removing)
            (origin ?R ?LM)
            (instance ?LM LiquidMixture)
            (part ?W ?LM)
            (instance ?W DrinkingWater)
            (part ?CG ?LM)
            (instance ?CG CoffeeGrind)
            (instrument ?R ?F)
            (instance ?F Filter)
            (result ?R ?C)
            (instance ?C Coffee))))		 Food.kif 686-701
(=>
    (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
(=>
    (instance ?EM EspressoMaking)
    (exists (?C)
        (and
            (result ?EM ?C)
            (instance ?C Coffee))))		 Food.kif 792-797


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