CarbonDioxide - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] 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

(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 3410-3412
(roomTempState CarbonDioxide Gas)	Mid-level-ontology.kif 31839-31839	roomTempState carbon dioxide and gas
(subclass CarbonDioxide CompoundSubstance)	Food.kif 3409-3409	Carbon dioxide is a subclass of compound substance

appearance as argument number 2

(termFormat EnglishLanguage CarbonDioxide "carbon dioxide")

domainEnglishFormat.kif 64643-64643

antecedent

(=> (and (instance ?B Blood) (attribute ?B DeoxygenatedBlood) (concentration (MeasureFn ?N Milliliter) CarbonDioxide (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 4))	Medicine.kif 5775-5782	If a mixture is an instance of blood and deoxygenated blood is an attribute of the mixture and the concentration of carbon dioxide in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 4
(=> (and (instance ?B Blood) (attribute ?B OxygenatedBlood) (concentration (MeasureFn ?N Milliliter) CarbonDioxide (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 5))	Medicine.kif 5752-5759	If a mixture is an instance of blood and oxygenated blood is an attribute of the mixture and the concentration of carbon dioxide in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 5
(=> (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 3414-3429	If an object is an instance of carbon dioxide and the object is an instance of molecule, then there exist another object, a third object and a fourth object such that the other object is an instance of carbon and the third object is an instance of oxygen and the fourth object is an instance of oxygen and the other object is an instance of atom and the third object is an instance of atom and the fourth object is an instance of atom and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object and the third object is not equal to the fourth object

consequent

(=> (instance ?S Soda) (exists (?CD) (and (instance ?CD CarbonDioxide) (part ?CD ?S))))	Food.kif 3433-3438	If an object is an instance of soda, then there exists another object such that the other object is an instance of carbon dioxide and the other object is a part of the object
(=> (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 226-235	If an object is an instance of sparkling water, then there exist a process, an entity and another object such that the process is an instance of putting and the entity is an instance of potable water and the process ends up at the other object and the other object is an instance of carbon dioxide and the object is a result of the process and the other object is a part of the object

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