Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TelevisionSet(television set) |  | boob_tube, goggle_box, idiot_box, television, television_receiver, television_set, telly, tv, tv_set |
| appearance as argument number 1 |
|
|
| (subclass TelevisionSet ElectricDevice) | Communications.kif 451-451 | Television set is a subclass of electric device |
| (documentation TelevisionSet EnglishLanguage "TelevisionSet is an ElectricDevice comprised of a TelevisionReceiver and some form of VideoDisplay and is part of a TelevisionSystem") | Communications.kif 452-454 | Television set is a subclass of electric device |
| (subclass TelevisionSet HomeAppliance) | Society.kif 680-680 | Television set is a subclass of home appliance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TelevisionSet "television set") | Communications.kif 455-455 |
| antecedent |
|
|
| (=> (instance ?TV TelevisionSet) (exists (?RECEIVER ?DISPLAY) (and (instance ?RECEIVER TelevisionReceiver) (instance ?DISPLAY VideoDisplay) (part ?RECEIVER ?TV) (part ?DISPLAY ?TV)))) |
Communications.kif 457-464 | If X is an instance of television set, then there exist Y, Z such that Y is an instance of TV, Z is an instance of video display, Y is a part of X, and Z is a part of X |
| consequent |
|
|
| (=> (instance ?NC (NetworkCommunicationFn AirPlay)) (or (exists (?TV) (and (instance ?TV TelevisionSet) (destination ?NC ?TV))) (exists (?SP) (and (instance ?SP SpeakerDevice) (destination ?NC ?SP))))) |
ComputingBrands.kif 1860-1870 | If X is an instance of communication over AirPlay, then there exists Y such that Y is an instance of television set and X ends up at Y or there exists Z such that Z is an instance of speaker and X ends up at Z |
| (=> (instance ?DEVICE SetTopBox) (hasPurpose ?DEVICE (exists (?TV ?SIGNAL ?VIDEO) (and (instance ?TV TelevisionSet) (instance ?SIGNAL Signalling) (instance ?VIDEO VideoRecording) (represents ?SIGNAL ?VIDEO) (instrument ?SIGNAL ?DEVICE) (patient ?SIGNAL ?TV))))) |
HouseholdAppliances.kif 401-411 | If X is an instance of set_top box, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of television set (3) Z is an instance of signalling (4) W is an instance of video recording (5) Z expresses W (6) X is an instrument for Z (7) Y is a patient of Z |
|