| TelevisionSet(television set) | | boob_tube, goggle_box, idiot_box, television, television_receiver, television_set, telly, tv, tv_set |
| appearance as argument number 1 |
|
|
| (documentation TelevisionSet EnglishLanguage "TelevisionSet is an ElectricDevice comprised of a TelevisionReceiver and some form of VideoDisplay and is part of a TelevisionSystem") | Communications.kif 444-446 | |
| (subclass TelevisionSet ElectricDevice) | Communications.kif 443-443 | Television set is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TelevisionSet "television set") | Communications.kif 447-447 |
| antecedent |
|
|
| (=> (instance ?TV TelevisionSet) (exists (?RECEIVER ?DISPLAY) (and (instance ?RECEIVER TelevisionReceiver) (instance ?DISPLAY VideoDisplay) (part ?RECEIVER ?TV) (part ?DISPLAY ?TV)))) |
Communications.kif 449-456 |
|
| 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 |
|
|
|
|