|
|
   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 31659-31659 | 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 |
|
|
|
|