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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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


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



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