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 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 15268-15268 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 23933-23933 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 15236-15241


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