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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


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


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