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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerLoudspeaker

Sigma KEE - ComputerLoudspeaker
ComputerLoudspeaker(computer loudspeaker)

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


(documentation ComputerLoudspeaker EnglishLanguage "A Loudspeaker which is also a ComputerOutputDevice, whether or not it is currently connected to a computer. This includes loudspeakers that are integral to a computer component as well as ones designed to be plugged into a standard computer I/ O connection.") ComputerInput.kif 521-525
(documentation ComputerLoudspeaker EnglishLanguage "A Microphone which is also a ComputerInputDevice, whether or not it is currently connected to a computer. This includes microphones that are integral to a computer component as well as ones designed to be plugged into a standard computer I/ O connection.") ComputerInput.kif 544-548
(subclass ComputerLoudspeaker ComputerOutputDevice) ComputerInput.kif 518-518 Computer loudspeaker is a subclass of computer output device
(subclass ComputerLoudspeaker Loudspeaker) ComputerInput.kif 519-519 Computer loudspeaker is a subclass of loudspeaker

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


(subclass InternalComputerLoudspeaker ComputerLoudspeaker) ComputerInput.kif 533-533 Internal computer loudspeaker is a subclass of computer loudspeaker
(termFormat EnglishLanguage ComputerLoudspeaker "computer loudspeaker") domainEnglishFormat.kif 64679-64679

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


(=>
    (and
        (instance ?DEV Loudspeaker)
        (instance ?DEV ComputerOutputDevice))
    (instance ?DEV ComputerLoudspeaker))
ComputerInput.kif 527-531


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