Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MediaAppliance(media appliance) |
| appearance as argument number 1 |
|
| (subclass MediaAppliance EntertainmentAppliance) | HouseholdAppliances.kif 329-329 | Media appliance is a subclass of entertainment appliance |
| (documentation MediaAppliance EnglishLanguage "%MediaAppliance is an appliance that can be used in playing audio or displaying video.") | HouseholdAppliances.kif 331-332 | Media appliance is a subclass of entertainment appliance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass videoPlaybackPowerConsumption 1 MediaAppliance) | HouseholdAppliances.kif 1744-1744 | The number 1 argument of power consumption during video playback is a subclass of media appliance |
| (domainSubclass videoRecordingPowerConsumption 1 MediaAppliance) | HouseholdAppliances.kif 1760-1760 | The number 1 argument of power consumption during video recording is a subclass of media appliance |
| (domainSubclass audioPlaybackPowerConsumption 1 MediaAppliance) | HouseholdAppliances.kif 1776-1776 | The number 1 argument of power consumption during audio playback is a subclass of media appliance |
| (domainSubclass audioRecordingPowerConsumption 1 MediaAppliance) | HouseholdAppliances.kif 1792-1792 | The number 1 argument of power consumption during audio recording is a subclass of media appliance |
| (domainSubclass amplifierEfficiency 1 MediaAppliance) | HouseholdAppliances.kif 1809-1809 | The number 1 argument of amplifier efficiency is a subclass of media appliance |
| antecedent |
|
|
| (=> (instance ?PLAYER MediaAppliance) (hasPurpose ?PLAYER (or (exists (?VIDEO ?RL) (and (instance ?VIDEO VideoRecording) (instance ?RL RadiatingVisibleLight) (patient ?RL ?VIDEO) (instrument ?RL ?PLAYER))) (exists (?AUDIO ?RS) (and (instance ?AUDIO AudioRecording) (instance ?RS RadiatingSound) (attribute ?RS Audible) (patient ?RS ?AUDIO) (instrument ?RS ?PLAYER)))))) |
HouseholdAppliances.kif 337-353 | If X is an instance of media appliance, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of video recording (3) Z is an instance of radiating visible light (4) Y is a patient of Z (5) X is an instrument for Z or there exist W (6) V such that W is an instance of audio recording (7) V is an instance of radiating sound (8) audible is an attribute of V (9) W is a patient of V (10) X is an instrument for V |
|