(=>
(instance ?SYSTEM CableTelevisionSystem)
(exists (?DEVICE)
(and
(instance ?DEVICE TelevisionReceiver)
(engineeringSubcomponent ?DEVICE ?SYSTEM)))) |
Communications.kif 390-395 |
If X is an instance of cable television system, then there exists Y such that Y is an instance of TV and Y is a component of X |
(=>
(instance ?TV SatelliteTelevisionSystem)
(exists (?SAT ?RECEIVE)
(and
(instance ?SAT ArtificialSatellite)
(member ?SAT ?TV)
(instance ?RECEIVE TelevisionReceiver)
(member ?RECEIVE ?TV)))) |
Communications.kif 402-409 |
If X is an instance of satellite tv, then there exist Y, Z such that Y is an instance of satellite, Y is a member of X, Z is an instance of TV, and Z is a member of X |
(=>
(instance ?SYSTEM TelevisionSystem)
(exists (?DEVICE)
(and
(instance ?DEVICE TelevisionReceiver)
(engineeringSubcomponent ?DEVICE ?SYSTEM)))) |
Communications.kif 440-445 |
If X is an instance of television system, then there exists Y such that Y is an instance of TV and Y is a component of X |
(=>
(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 |
(=>
(instance ?X TVRemoteControl)
(hasPurpose ?X
(exists (?SIGNAL ?DEVICE)
(and
(instance ?SIGNAL ElectronicSignalling)
(agent ?SIGNAL ?X)
(destination ?SIGNAL ?DEVICE)
(instance ?DEVICE TelevisionReceiver))))) |
Communications.kif 471-479 |
If X is an instance of tv remote, then X has the purpose there exist Y, Z such that Y is an instance of electronic signalling, X is an agent of Y, Y ends up at Z, and Z is an instance of TV |
TelevisionReceiver