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 2872-2875
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9098-9098
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2871-2871 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 2876-2876 Communication is internally related to communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12529-12529 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 2928-2928 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 1735-1735 Microphone is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1756-1756 Projection screen is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1739-1739 Receiver device is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1751-1751 Telegraph is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2884-2884 Telephone is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20800-20800 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 2878-2880

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12497-12502


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