| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | 电话 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2952-2952 | 电话 是 通讯设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24574-24574 | 电话 是 TelephonyDevice 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25060-25060 | FixedPhone 是 电话 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25063-25063 | 移动手机 是 电话 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25070-25070 | SatellitePhone 是 电话 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26277-26277 | TDDPhone 是 电话 的 subclass |
|
|