|
|
   RadioSystem
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 232-234 | |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 231-231 | Radio system is a subclass of communication system |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 294-294 | AM radio station is a component of radio system |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 299-299 | FM radio station is a component of radio system |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 289-289 | Radio station is a component of radio system |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 304-304 | Shortwave radio station is a component of radio system |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 236-236 | AM radio system is a subclass of radio system |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 251-251 | Baby monitor is a subclass of radio system |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 241-241 | FM radio system is a subclass of radio system |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 246-246 | Shortwave radio system is a subclass of radio system |
| 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 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 310-315 |
|
|
|
|