| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | 子類 電話 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2952-2952 | 子類 電話 and 通訊設備 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24573-24573 | 子類 電話 and TelephonyDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25059-25059 | 子類 FixedPhone and 電話 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25062-25062 | 子類 移動手機 and 電話 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25069-25069 | 子類 SatellitePhone and 電話 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26265-26265 | 子類 TDDPhone and 電話 |
|
|