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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4741-4742
(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 4740-4740
(subclass CoffeeBean Seed) Economy.kif 4739-4739

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


(initialPart Coffee CoffeeBean) Food.kif 634-634
(subclass CoffeeArabica CoffeeBean) Economy.kif 4751-4751
(subclass CoffeeRobusta CoffeeBean) Economy.kif 4775-4775
(termFormat ChineseLanguage CoffeeBean "咖啡豆") domainEnglishFormat.kif 15511-15511
(termFormat ChineseTraditionalLanguage CoffeeBean "咖啡豆") domainEnglishFormat.kif 15510-15510
(termFormat EnglishLanguage CoffeeBean "coffee bean") domainEnglishFormat.kif 15509-15509

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


(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))		 Economy.kif 4744-4749
(=>
    (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 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