No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7619-7619 | Communication system is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26093-26093 | Public address system is a subclass of communication system |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 32-32 | Telephone system is a subclass of communication system |
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 318-318 | Television system is a subclass of communication system |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 333-333 | Cable television system is a subclass of communication system |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 344-344 | Satellite tv is a subclass of communication system |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 358-358 | Broadcast network is a subclass of communication system |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 442-442 | Internet service provider is a subclass of communication system |