No TPTP formula. May not be expressible in strict first order. |
Communications.kif 294-294 |
AM广播电台 是 无线电系统 的 component |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 299-299 |
调频广播电台 是 无线电系统 的 component |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 289-289 |
广播电台 是 无线电系统 的 component |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 304-304 |
短波电台 是 无线电系统 的 component |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 236-236 |
AM无线电系统 是 无线电系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 251-251 |
BabyMonitoringSystem 是 无线电系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 241-241 |
调频广播系统 是 无线电系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 246-246 |
短波无线电系统 是 无线电系统 的 subclass |
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 |
|