No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1716-1717 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2571-2571 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2570-2570 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31398-31398 |
roomTempState 柴油燃料 and 液體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1714-1714 |
子類 柴油燃料 and 化石燃料 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1715-1715 |
子類 柴油燃料 and Solution |