| No TPTP formula. May not be expressible in strict first order. | Communications.kif 231-231 | 子類 無線電系統 and 通訊系統 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 236-236 | 子類 AM無線電系統 and 無線電系統 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 241-241 | 子類 調頻廣播系統 and 無線電系統 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 246-246 | 子類 短波無線電系統 and 無線電系統 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 251-251 | 子類 BabyMonitoringSystem and 無線電系統 |
|
|