Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommunicationDevice

Sigma KEE - CommunicationDevice
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 15823-15823 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 24562-24562 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 15791-15796


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners