CoffeeArabica
|
|
appearance as argument number 1 |
(documentation CoffeeArabica EnglishLanguage "CoffeeArabica are CoffeeBeans harvested from CoffeaArabic CoffeePlant. Arabica beans consist of 0.8–1.4% caffeine.[Wikipedia]") | Economy.kif 4637-4638 | |
(subclass CoffeeArabica CoffeeBean) | Economy.kif 4636-4636 | CoffeeArabica ist eine teilkategorie von CoffeeBean |
appearance as argument number 2 |
(termFormat EnglishLanguage CoffeeArabica "coffee arabica") | Economy.kif 4639-4639 |
antecedent |
(=> (and (instance ?C CoffeeArabica) (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.008) (lessThanOrEqualTo ?Z 0.014))) |
Economy.kif 4645-4658 |
|
(=> (instance ?P (PlantFn CoffeeArabica)) (instance ?P CoffeaArabica)) |
Economy.kif 4641-4643 |
|