CoffeeRobusta |
appearance as argument number 1 |
(documentation CoffeeRobusta EnglishLanguage "CoffeeRobusta are CoffeeBeans harvested from CoffeaRobusta CoffeePlant. Arabica beans consist of 1.7-4.0% caffeine.[Wikipedia]") | Economy.kif 4661-4662 | |
(subclass CoffeeRobusta CoffeeBean) | Economy.kif 4660-4660 | CoffeeRobusta ist eine teilkategorie von CoffeeBean |
appearance as argument number 2 |
(termFormat EnglishLanguage CoffeeRobusta "coffee robusta") | Economy.kif 4663-4663 |
antecedent |
(=> (and (instance ?C CoffeeRobusta) (measure ?C (MeasureFn ?X Gram)) (instance ?CC Caffeine) (part ?CC ?C) (measure ?CC (MeasureFn ?Y Gram)) (equal ?Z (DivisionFn ?Y ?X))) (and (greaterThanOrEqualTo ?Z 0.017) (lessThanOrEqualTo ?Z 0.04))) |
Economy.kif 4669-4682 |
|
(=> (instance ?P (PlantFn CoffeeRobusta)) (instance ?P CoffeaRobusta)) |
Economy.kif 4665-4667 |
|