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 2940-2943 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9093-9093 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2939-2939 | 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 2944-2944 | Communication is internally related to communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15822-15822 | 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 2996-2996 | 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 1798-1798 | Microphone is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1819-1819 | Projection screen is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1802-1802 | Receiver device is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1814-1814 | Telegraph is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2952-2952 | Telephone is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24561-24561 | 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 16014-16014 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16013-16013 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16012-16012 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2946-2948 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15790-15795 |
|