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 4964-4965
(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 4963-4963 子類 咖啡豆 and FoodFromPlant
(subclass CoffeeBean Seed) Economy.kif 4962-4962 子類 咖啡豆 and 種子

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


(initialPart Coffee CoffeeBean) Food.kif 634-634 %每個 咖啡 是 咖啡豆 的 initially part
(subclass CoffeeArabica CoffeeBean) Economy.kif 4974-4974 子類 CoffeeArabica and 咖啡豆
(subclass CoffeeRobusta CoffeeBean) Economy.kif 4998-4998 子類 CoffeeRobusta and 咖啡豆
(termFormat ChineseLanguage CoffeeBean "咖啡豆") domainEnglishFormat.kif 15509-15509 子類 CoffeeRobusta and 咖啡豆
(termFormat ChineseTraditionalLanguage CoffeeBean "咖啡豆") domainEnglishFormat.kif 15508-15508 子類 CoffeeRobusta and 咖啡豆
(termFormat EnglishLanguage CoffeeBean "coffee bean") domainEnglishFormat.kif 15507-15507 子類 CoffeeRobusta and 咖啡豆

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


(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))		 Economy.kif 4967-4972
(=>
    (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 1045-1053
(=>
    (instance ?CG CoffeeGrind)
    (exists (?G ?CB)
        (and
            (instance ?G Grinding)
            (patient ?G ?CB)
            (instance ?CB CoffeeBean)
            (attribute ?CB CookedAttribute)
            (result ?G ?CG))))		 Food.kif 1035-1043
(=>
    (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