No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2455-2455 | 子類 物料搬運設備 and Device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2461-2461 | 子類 起重機 and 物料搬運設備 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2473-2473 | 子類 吊裝設備 and 物料搬運設備 |