No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5954-5954 |
Asphalt est disjoint de FossilFuel |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2018-2018 |
Coal est une sous-classe de FossilFuel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1707-1707 |
DieselFuel est une sous-classe de FossilFuel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1702-1702 |
Gasoline est une sous-classe de FossilFuel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1698-1698 |
LiquefiedPetroleumGas est une sous-classe de FossilFuel |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24782-24782 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24781-24781 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24780-24780 |
|