CommunicationDevice(communication device)![]() | ![]() | Teleprompter, ground_control, television-camera_tube, television_equipment, television_monitor, television_pickup_tube, tv_monitor, video_equipment |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3403-3406 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9092-9092 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3402-3402 | Communication device is a subclass of engineering component |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3407-3407 | Communication is internally related to communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17210-17210 | Antenna is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 219-219 | Broadcasting station is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 21-21 | Communication radio is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 120-120 | Communication satellite is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Media.kif 850-850 | Data display device is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3459-3459 | Fax machine is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 47-47 | Main telephone line is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2261-2261 | Microphone is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2282-2282 | Projection screen is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2265-2265 | Receiver device is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2277-2277 | Telegraph is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3415-3415 | Telephone is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26226-26226 | Telephony device is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 173-173 | Telex is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16023-16023 | Telex is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16022-16022 | Telex is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16021-16021 | Telex is a subclass of communication device |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3409-3411 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17178-17183 |
|
![]() |
![]() |