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 是 咖啡豆 的 subclass |
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 |
|