Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Loudspeaker

 Sigma KEE - Loudspeaker
Loudspeaker(loudspeaker)bullhorn, intercom_speaker, loud-hailer, loud_hailer, loudspeaker, loudspeaker_system, speaker, speaker_system, speaker_unit, squawk_box, squawker, subwoofer, tannoy, tweeter, woofer

appearance as argument number 1
-------------------------


(subclass Loudspeaker ElectricSpeakerDevice) ComputerInput.kif 512-512 Loudspeaker is a subclass of electric speaker device
(documentation Loudspeaker EnglishLanguage "A SpeakerDevice for projecting sound through the air. A loudspeaker produces louder sound than earphones or a hearing aid.") ComputerInput.kif 514-516 Loudspeaker is a subclass of electric speaker device

appearance as argument number 2
-------------------------


(disjoint Earphone Loudspeaker) ComputerInput.kif 524-524 Earphone is disjoint from loudspeaker
(subclass ComputerLoudspeaker Loudspeaker) ComputerInput.kif 535-535 Computer loudspeaker is a subclass of loudspeaker
(termFormat EnglishLanguage Loudspeaker "loudspeaker") domainEnglishFormat.kif 65136-65136 Computer loudspeaker is a subclass of loudspeaker

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


(=>
    (and
        (instance ?DEV Loudspeaker)
        (instance ?DEV ComputerOutputDevice))
    (instance ?DEV ComputerLoudspeaker))		 ComputerInput.kif 543-547 If X is an instance of loudspeaker and X is an instance of computer output device, then X is an instance of computer loudspeaker


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners