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 3403-3406
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9092-9092
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3402-3402 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 3407-3407 Communication is internally related to communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17210-17210 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 3459-3459 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 2261-2261 Microphone is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2282-2282 Projection screen is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2265-2265 Receiver device is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2277-2277 Telegraph is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3415-3415 Telephone is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26226-26226 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 16023-16023 Telex is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16022-16022 Telex is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16021-16021 Telex is a subclass of communication device

antecedent
-------------------------


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

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


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


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