Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 21651-21660
(roomTempState Caffeine Solid) Mid-level-ontology.kif 31572-31572 roomTempState Caffeine and 固体
(subclass Caffeine Diuretic) Mid-level-ontology.kif 21648-21648 CaffeineDiureticsubclass
(subclass Caffeine Molecule) Mid-level-ontology.kif 21646-21646 Caffeine分子subclass
(subclass Caffeine Stimulant) Mid-level-ontology.kif 21647-21647 Caffeine刺激物subclass
(typicallyContainsPart Caffeine Coffee) Food.kif 635-635 咖啡 typicallypart Caffeine

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Caffeine "caffeine") Mid-level-ontology.kif 21649-21649

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
(=>
    (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
(=>
    (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

consequent
-------------------------


(=>
    (and
        (attribute ?F DecafAttribute)
        (instance ?F Food))
    (not
        (exists (?C)
            (and
                (instance ?C Caffeine)
                (piece ?C ?F)))))
Food.kif 437-445
(=>
    (and
        (instance ?F Food)
        (attribute ?F CaffeinatedAttribute))
    (exists (?CAF)
        (and
            (instance ?CAF Caffeine)
            (piece ?CAF ?F))))
Food.kif 411-418


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