| CarbonDioxide | |
| 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 3417-3419 | |
| (roomTempState CarbonDioxide Gas) | Mid-level-ontology.kif 33278-33278 | |
| (subclass CarbonDioxide CompoundSubstance) | Food.kif 3416-3416 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CarbonDioxide "carbon dioxide") | domainEnglishFormat.kif 64618-64618 |
| antecedent |
|
|
| (=> (and (instance ?B Blood) (attribute ?B DeoxygenatedBlood) (concentration (MeasureFn ?N Milliliter) CarbonDioxide (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 4)) |
Medicine.kif 5786-5793 | |
| (=> (and (instance ?B Blood) (attribute ?B OxygenatedBlood) (concentration (MeasureFn ?N Milliliter) CarbonDioxide (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 5)) |
Medicine.kif 5763-5770 | |
| (=> (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 3421-3436 |
| consequent |
|
|
| (=> (instance ?S Soda) (exists (?CD) (and (instance ?CD CarbonDioxide) (part ?CD ?S)))) |
Food.kif 3440-3445 | |
| (=> (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 |
|
|
|