No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1706-1707 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2483-2483 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31392-31392 |
roomTempState LiquefiedPetroleumGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1705-1705 |
LiquefiedPetroleumGas est une sous-classe de FossilFuel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5933-5933 |
LiquefiedPetroleumGas est une sous-classe de RefinedPetroleumProduct |