No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3600-3600 | 线 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3609-3609 | 钢丝弹簧 是 线 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3614-3614 | 电线 是 线 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3045-3045 | WireCoil 是 线 的 subclass |