|
|
   TelevisionSet
|
|
|
| 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 399-401 | |
| (subclass TelevisionSet ElectricDevice) | Communications.kif 398-398 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TelevisionSet "television set") | Communications.kif 402-402 |
| antecedent |
|
|
| (=> (instance ?TV TelevisionSet) (exists (?RECEIVER ?DISPLAY) (and (instance ?RECEIVER TelevisionReceiver) (instance ?DISPLAY VideoDisplay) (part ?RECEIVER ?TV) (part ?DISPLAY ?TV)))) |
Communications.kif 404-411 |
| 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 |
|
|
|