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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoffeeBean

Sigma KEE - CoffeeBean
CoffeeBean

appearance as argument number 1
-------------------------


(documentation CoffeeBean EnglishLanguage "A CoffeeBean is a seed of the CoffeePlant and the source for coffee.") Economy.kif 4626-4627
(externalImage CoffeeBean "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c5/ Roasted_coffee_beans.jpg/ 800px-Roasted_coffee_beans.jpg") pictureList.kif 1433-1433
(subclass CoffeeBean FoodFromPlant) Economy.kif 4625-4625 CoffeeBean est une sous-classe de FoodFromPlant
(subclass CoffeeBean Seed) Economy.kif 4624-4624 CoffeeBean est une sous-classe de Seed

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


(initialPart Coffee CoffeeBean) Food.kif 634-634 initialPart Coffee and CoffeeBean
(subclass CoffeeArabica CoffeeBean) Economy.kif 4636-4636 CoffeeArabica est une sous-classe de CoffeeBean
(subclass CoffeeRobusta CoffeeBean) Economy.kif 4660-4660 CoffeeRobusta est une sous-classe de CoffeeBean
(termFormat ChineseLanguage CoffeeBean "咖啡豆") domainEnglishFormat.kif 15500-15500
(termFormat ChineseTraditionalLanguage CoffeeBean "咖啡豆") domainEnglishFormat.kif 15499-15499
(termFormat EnglishLanguage CoffeeBean "coffee bean") domainEnglishFormat.kif 15498-15498

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


(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))
Economy.kif 4629-4634
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B AmericanRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 210))
Food.kif 547-552
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B CinnamonRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 196))
Food.kif 509-514
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B CityRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 219))
Food.kif 559-564
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B DarkRoast)
        (roastedToTemperature ?B ?T))
    (and
        (greaterThanOrEqualTo ?T 225)
        (lessThanOrEqualTo ?T 245)))
Food.kif 571-578
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B FrenchRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 240))
Food.kif 609-614
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B FullyCityRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 225))
Food.kif 585-590
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B ItalianRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 245))
Food.kif 621-626
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B LightRoast)
        (roastedToTemperature ?B ?T))
    (and
        (greaterThanOrEqualTo ?T 196)
        (lessThanOrEqualTo ?T 205)))
Food.kif 495-502
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B MediumRoast)
        (roastedToTemperature ?B ?T))
    (and
        (greaterThanOrEqualTo ?T 210)
        (lessThanOrEqualTo ?T 219)))
Food.kif 533-540
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B NewEnglandRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 205))
Food.kif 521-526
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B ViennaRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 230))
Food.kif 597-602
(=>
    (and
        (instance ?C CoffeeBean)
        (attribute ?C ?R))
    (instance ?R CoffeeRoastAttribute))
Food.kif 454-458
(=>
    (and
        (roastedToTemperature ?B ?T)
        (instance ?B CoffeeBean)
        (instance ?T RealNumber))
    (modalAttribute
        (exists (?R)
            (and
                (instance ?R DryRoasting)
                (patient ?R ?B))) Likely))
Food.kif 479-488

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


(=>
    (instance ?CG CoffeeGrind)
    (exists (?B ?A ?C)
        (and
            (instance ?B CoffeeBean)
            (attribute ?B ?A)
            (instance ?A CoffeeRoastAttribute)
            (attribute ?CG ?C)
            (instance ?C CoffeeGrindAttribute))))
Food.kif 1044-1052
(=>
    (instance ?CG CoffeeGrind)
    (exists (?G ?CB)
        (and
            (instance ?G Grinding)
            (patient ?G ?CB)
            (instance ?CB CoffeeBean)
            (attribute ?CB CookedAttribute)
            (result ?G ?CG))))
Food.kif 1034-1042
(=>
    (subclass ?CLASS Coffee)
    (initialPart CoffeeBean ?CLASS))
Food.kif 645-647


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