| No TPTP formula. May not be expressible in strict first order. |
Communications.kif 294-294 |
工程子組件 AM廣播電台 and 無線電系統 |
| No TPTP formula. May not be expressible in strict first order. |
Communications.kif 299-299 |
工程子組件 調頻廣播電台 and 無線電系統 |
| No TPTP formula. May not be expressible in strict first order. |
Communications.kif 289-289 |
工程子組件 廣播電台 and 無線電系統 |
| No TPTP formula. May not be expressible in strict first order. |
Communications.kif 304-304 |
工程子組件 短波電台 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 251-251 |
子類 BabyMonitoringSystem 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. |
domainEnglishFormat.kif 48554-48554 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48553-48553 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48552-48552 |
|
RadioSystem