No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1709-1710 |
|
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 31430-31430 |
roomTempState 柴油燃料 and 液体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1707-1707 |
柴油燃料 是 化石燃料 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1708-1708 |
柴油燃料 是 溶液 的 subclass |