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 31396-31396 |
roomTempState LiquefiedPetroleumGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1705-1705 |
LiquefiedPetroleumGas e' uma sub-classe de FossilFuel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5933-5933 |
LiquefiedPetroleumGas e' uma sub-classe de RefinedPetroleumProduct |