| Gasoline(gasoline) | | gas, gasolene, gasoline, leaded_gasoline, leaded_petrol, petrol, unleaded_gasoline, unleaded_petrol |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2173-2174 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33101-33101 | room temperature state gasoline and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2171-2171 | Gasoline is a subclass of fossil fuel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2172-2172 | Gasoline is a subclass of solution |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25572-25572 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25571-25571 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25570-25570 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25264-25269 |
|
|
|
|