|
|
   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 二氧化硫 and 加油站 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7166-7166 | 二氧化硫 是 复合物质 的 subclass |
| 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 氧, 2 and 二氧化硫 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7178-7178 | molecularRatio 硫, 1 and 二氧化硫 |
| 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 |
|
|
|