| 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 2872-2875 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9098-9098 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2871-2871 | 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 2876-2876 | Communication is internally related to communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12529-12529 | 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 | DataDisplayDevice is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2928-2928 | 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 1735-1735 | Microphone is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1756-1756 | Projection screen is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1739-1739 | Receiver device is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1751-1751 | Telegraph is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2884-2884 | Telephone is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20800-20800 | TelephonyDevice 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 16005-16005 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16004-16004 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16003-16003 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2878-2880 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12497-12502 |
|
|
|
|