No TPTP formula. May not be expressible in strict first order. | Communications.kif 231-231 | Radio system is a subclass of communication 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 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. | Communications.kif 251-251 | Baby monitor is a subclass of radio system |