| 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. | Mid-level-ontology.kif 3615-3615 | 电线 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3626-3626 | 电话线 是 电线 的 subclass |
|
|