| 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 3410-3412 | |
| (roomTempState CarbonDioxide Gas) | Mid-level-ontology.kif 31839-31839 | |
| (subclass CarbonDioxide CompoundSubstance) | Food.kif 3409-3409 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CarbonDioxide "carbon dioxide") | domainEnglishFormat.kif 64620-64620 |
| antecedent |
|
|
| (=> (and (instance ?B Blood) (attribute ?B DeoxygenatedBlood) (concentration (MeasureFn ?N Milliliter) CarbonDioxide (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 4)) |
Medicine.kif 5775-5782 | |
| (=> (and (instance ?B Blood) (attribute ?B OxygenatedBlood) (concentration (MeasureFn ?N Milliliter) CarbonDioxide (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 5)) |
Medicine.kif 5752-5759 | |
| (=> (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 |
| consequent |
|
|
| (=> (instance ?S Soda) (exists (?CD) (and (instance ?CD CarbonDioxide) (part ?CD ?S)))) |
Food.kif 3433-3438 | |
| (=> (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 |
|
|
|