Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoffeeRobusta(coffee robusta) |
| appearance as argument number 1 |
|
| (subclass CoffeeRobusta CoffeeBean) | Economy.kif 4993-4993 | Coffee robusta is a subclass of coffee bean |
| (documentation CoffeeRobusta EnglishLanguage "CoffeeRobusta are CoffeeBeans harvested from CoffeaRobusta CoffeePlant. Arabica beans consist of 1.7-4.0% caffeine.[Wikipedia]") | Economy.kif 4994-4995 | Coffee robusta is a subclass of coffee bean |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CoffeeRobusta "coffee robusta") | Economy.kif 4996-4996 |
| antecedent |
|
|
| (=> (instance ?P (PlantFn CoffeeRobusta)) (instance ?P CoffeaRobusta)) |
Economy.kif 4998-5000 | If X is an instance of plant fn coffee robusta, then X is an instance of coffea robusta |
| (=> (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 5002-5015 | If All of the following hold: (1) X is an instance of coffee robusta (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.017 and V is less than or equal to 0.04 |
|