No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1699-1700 |
|
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 31428-31428 |
roomTempState 液化石油气 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1698-1698 |
液化石油气 是 化石燃料 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5933-5933 |
液化石油气 是 精炼石油产品 的 subclass |