Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CarbonDioxide
CarbonDioxide(carbon dioxide)CO2, carbon_dioxide, carbonic_acid_gas

appearance as argument number 1
-------------------------


(subclass CarbonDioxide CompoundSubstance) Food.kif 3444-3444 Carbon dioxide is a subclass of compound substance
(documentation CarbonDioxide EnglishLanguage "Carbon dioxide is a common compound in the Earth's atmosphere, and an essential compound used in the cycle of photosynthesis.") Food.kif 3445-3447 Carbon dioxide is a subclass of compound substance
(roomTempState CarbonDioxide Gas) Food.kif 3448-3448 room temperature state carbon dioxide and gas
(refractiveIndex CarbonDioxide 1.00045) Transportation.kif 5629-5629 The RefractiveIndexFn of carbon dioxide is 1.00045

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


(termFormat EnglishLanguage CarbonDioxide "carbon dioxide") domainEnglishFormat.kif 64598-64598

antecedent
-------------------------


(=>
    (and
        (instance ?CD CarbonDioxide)
        (instance ?CD Molecule))
    (exists (?C ?O1 ?O2)
        (and
            (instance ?C Carbon)
            (instance ?O1 Oxygen)
            (instance ?O2 Oxygen)
            (instance ?C Atom)
            (instance ?O1 Atom)
            (instance ?O2 Atom)
            (part ?C ?CD)
            (part ?O1 ?CD)
            (part ?O2 ?CD)
            (not
                (equal ?O1 ?O2)))))		 Food.kif 3450-3465 If X is an instance of carbon dioxide and X is an instance of molecule, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of carbon (3) Z is an instance of oxygen (4) W is an instance of oxygen (5) Y is an instance of atom (6) Z is an instance of atom (7) W is an instance of atom (8) Y is a part of X (9) Z is a part of X (10) W is a part of X (11) equal Z (12) W
(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 5))		 Medicine.kif 5777-5784 If X is an instance of blood, oxygenated blood is an attribute of X, and the concentration of carbon dioxide in X is Y Milliliter(s) per 100 Milliliter(s), then the approximate value of Y is 5
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 4))		 Medicine.kif 5800-5807 If X is an instance of blood, deoxygenated blood is an attribute of X, and the concentration of carbon dioxide in X is Y Milliliter(s) per 100 Milliliter(s), then the approximate value of Y is 4

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


(=>
    (instance ?S SparklingWater)
    (exists (?P ?W ?CD)
        (and
            (instance ?P Putting)
            (instance ?W DrinkingWater)
            (destination ?P ?CD)
            (instance ?CD CarbonDioxide)
            (result ?P ?S)
            (part ?CD ?S))))		 Food.kif 227-236 If X is an instance of sparkling water, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of putting (3) Z is an instance of potable water (4) Y ends up at W (5) W is an instance of carbon dioxide (6) X is a result of Y (7) W is a part of X
(=>
    (instance ?S Soda)
    (exists (?CD)
        (and
            (instance ?CD CarbonDioxide)
            (part ?CD ?S))))		 Food.kif 3469-3474 If X is an instance of soda, then there exists Y such that Y is an instance of carbon dioxide and Y is a part of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners