(=>
(instance ?X BabyMonitoringSystem)
(exists (?TX ?RX)
(and
(instance ?RX RadioReceiver)
(instance ?TX Device)
(engineeringSubcomponent ?RX ?X)
(engineeringSubcomponent ?TX ?X)
(hasPurpose ?X
(exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO)
(and
(instance ?BABY HumanBaby)
(instance ?CARER Human)
(located ?BABY ?LOC1)
(located ?CARER ?LOC2)
(not
(equal ?LOC1 ?LOC2))
(instance ?PROC Maintaining)
(patient ?PROC ?BABY)
(agent ?PROC ?CARER)
(located ?TX ?LOC1)
(located ?RX ?LOC2)
(instance ?SOUND RadiatingSound)
(eventLocated ?SOUND ?LOC1)
(instance ?RADIO RadioEmission)
(patient ?RADIO ?SOUND)
(destination ?RADIO ?RX)
(agent ?RADIO ?TX))))))) |
Communications.kif 258-284 |
|