Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoffeeArabica(coffee arabica) |
| appearance as argument number 1 |
|
| (subclass CoffeeArabica CoffeeBean) | Economy.kif 4969-4969 | Coffee arabica is a subclass of coffee bean |
| (documentation CoffeeArabica EnglishLanguage "CoffeeArabica are CoffeeBeans harvested from CoffeaArabic CoffeePlant. Arabica beans consist of 0.8–1.4% caffeine.[Wikipedia]") | Economy.kif 4970-4971 | Coffee arabica is a subclass of coffee bean |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CoffeeArabica "coffee arabica") | Economy.kif 4972-4972 |
| antecedent |
|
|
| (=> (instance ?P (PlantFn CoffeeArabica)) (instance ?P CoffeaArabica)) |
Economy.kif 4974-4976 | If X is an instance of plant fn coffee arabica, then X is an instance of coffea arabica |
| (=> (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 4978-4991 | If All of the following hold: (1) X is an instance of coffee arabica (2) the measure of X is Y gram(s) (3) Z is an instance of caffeine (4) Z is a part of X (5) the measure of Z is W gram(s) (6) equal V, W, and Y, then V is greater than or equal to 0.008 and V is less than or equal to 0.014 |
|