Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ComputerLoudspeaker(computer loudspeaker) |
| appearance as argument number 1 |
|
| (subclass ComputerLoudspeaker ComputerOutputDevice) | ComputerInput.kif 534-534 | Computer loudspeaker is a subclass of computer output device |
| (subclass ComputerLoudspeaker Loudspeaker) | ComputerInput.kif 535-535 | Computer loudspeaker is a subclass of loudspeaker |
| (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 537-541 | Computer loudspeaker is a subclass of loudspeaker |
| (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 560-564 | Computer loudspeaker is a subclass of loudspeaker |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |
|