| 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 2891-2894 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9094-9094 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2890-2890 | 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 2895-2895 | Communication is internally related to communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15248-15248 | 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 2947-2947 | 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 1753-1753 | Microphone is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1774-1774 | Projection screen is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1757-1757 | Receiver device is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1769-1769 | Telegraph is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2903-2903 | Telephone is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23913-23913 | 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 2897-2899 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15216-15221 |
|
|
|
|