Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Caffeine(caffeine) |
| appearance as argument number 1 |
|
| (subclass Caffeine Molecule) | Mid-level-ontology.kif 23919-23919 | Caffeine is a subclass of molecule |
| (subclass Caffeine Stimulant) | Mid-level-ontology.kif 23920-23920 | Caffeine is a subclass of stimulant |
| (subclass Caffeine Diuretic) | Mid-level-ontology.kif 23921-23921 | Caffeine is a subclass of diuretic |
| (documentation Caffeine EnglishLanguage "Caffeine is a central nervous system (CNS) Stimulant of the methylxanthine class. It is the world's most widely consumed psychoactive drug. Unlike many other psychoactive substances, it is Legal and unregulated in nearly all parts of the world. There are several known mechanisms of action to explain the effects of caffeine. The most prominent is that it reversibly blocks the action of adenosine on its receptors and consequently prevents the onset of drowsiness induced by adenosine. Caffeine also stimulates certain portions of the autonomic NervousSystem.[from Wikipedia]") | Mid-level-ontology.kif 23924-23933 | Caffeine is a subclass of diuretic |
| (roomTempState Caffeine Solid) | Mid-level-ontology.kif 34039-34039 | room temperature state caffeine and solid |
| (typicallyContainsPart Caffeine Coffee) | Food.kif 611-611 | A coffee typically has a part caffeine |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Caffeine "caffeine") | Mid-level-ontology.kif 23922-23922 |
| 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 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 |
| (=> (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 |
| (=> (and (instance ?F Food) (attribute ?F DecafAttribute) (piece ?C ?F) (instance ?C Caffeine)) (exists (?R) (and (instance ?R Removing) (destination ?R ?F) (patient ?R ?C)))) |
Food.kif 401-411 | If X is an instance of food, decaf is an attribute of X, Y is a piece of X, and Y is an instance of caffeine, then there exists Z such that Z is an instance of removing, Z ends up at X, and Y is a patient of Z |
| consequent |
|
|
| (=> (and (instance ?F Food) (attribute ?F CaffeinatedAttribute)) (exists (?CAF) (and (instance ?CAF Caffeine) (piece ?CAF ?F)))) |
Food.kif 387-394 | If X is an instance of food and caffeinated is an attribute of X, then there exists Y such that Y is an instance of caffeine and Y is a piece of X |
| (=> (and (attribute ?F DecafAttribute) (instance ?F Food)) (not (exists (?C) (and (instance ?C Caffeine) (piece ?C ?F))))) |
Food.kif 413-421 | If decaf is an attribute of X and X is an instance of food, then there doesn't exist Y such that Y is an instance of caffeine and Y is a piece of X |
|