Caffeine - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Caffeine

Caffeine(caffeine)

appearance as argument number 1

(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 21909-21918
(roomTempState Caffeine Solid)	Mid-level-ontology.kif 31837-31837	roomTempState caffeine and solid
(subclass Caffeine Diuretic)	Mid-level-ontology.kif 21906-21906	Caffeine is a subclass of diuretic
(subclass Caffeine Molecule)	Mid-level-ontology.kif 21904-21904	Caffeine is a subclass of molecule
(subclass Caffeine Stimulant)	Mid-level-ontology.kif 21905-21905	Caffeine is a subclass of stimulant
(typicallyContainsPart Caffeine Coffee)	Food.kif 635-635	A coffee typically has a part caffeine

appearance as argument number 2

(termFormat EnglishLanguage Caffeine "caffeine")

Mid-level-ontology.kif 21907-21907

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	If an object is an instance of coffee arabica and the measure of the object is a real number gram(s) and the objectC is an instance of caffeine and the objectC is a part of the object and the measure of the objectC is another real number gram(s) and a third real number is equal to the other real number and the real number, then the third real number is greater than or equal to 0.008 and the third real number 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 4669-4682	If an object is an instance of coffee robusta and the measure of the object is a real number gram(s) and the objectC is an instance of caffeine and the objectC is a part of the object and the measure of the objectC is another real number gram(s) and a third real number is equal to the other real number and the real number, then the third real number is greater than or equal to 0.017 and the third real number 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 425-435	If a substance is an instance of food and decaf is an attribute of the substance and another substance is a piece of the substance and the other substance is an instance of caffeine, then there exists a process such that the process is an instance of removing and the process ends up at the substance and the other substance is a patient of the process

consequent

(=> (and (attribute ?F DecafAttribute) (instance ?F Food)) (not (exists (?C) (and (instance ?C Caffeine) (piece ?C ?F)))))	Food.kif 437-445	If decaf is an attribute of a substance and the substance is an instance of food, then there doesn't exist another substance such that the other substance is an instance of caffeine and the other substance is a piece of the substance
(=> (and (instance ?F Food) (attribute ?F CaffeinatedAttribute)) (exists (?CAF) (and (instance ?CAF Caffeine) (piece ?CAF ?F))))	Food.kif 411-418	If a substance is an instance of food and caffeinated is an attribute of the substance, then there exists another substance such that the other substance is an instance of caffeine and the other substance is a piece of the substance

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners