SulphurDioxide |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7171-7172 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7168-7169 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31691-31691 | roomTempState SulphurDioxide and Gas |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7166-7166 | SulphurDioxide est une sous-classe de substance compos�e |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7176-7176 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7174-7174 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7179-7179 | molecularRatio Oxygen, 2 and SulphurDioxide |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7178-7178 | molecularRatio Sulphur, 1 and SulphurDioxide |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7181-7187 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7189-7197 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2495-2507 |
|