(=>
(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 |
- Wenn EngineeringComponent ist ein fall von BabyMonitoringSystem %n{nicht},
- dann es gibt ** EngineeringComponent und ** EngineeringComponent um ** ** EngineeringComponent ist ein fall von RadioReceiver %n{nicht} und ** ** EngineeringComponent ist ein fall von Device %n{nicht} und ** ** EngineeringComponent ist eine komponente von ** EngineeringComponent und ** ** EngineeringComponent ist eine komponente von ** EngineeringComponent und ** EngineeringComponent hat Zweck von es gibt entity, ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von HumanBaby %n{nicht} und ** ** entity ist ein fall von Human %n{nicht} und ** entity befindet sich an %n{nicht} und ** ** entity befindet sich an %n{nicht} und ** ** entity ist gleich ** ** entity nicht und ** ** entity ist ein fall von Maintaining %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity ist der agent von ** ** entity %n{nicht} und ** ** EngineeringComponent befindet sich an %n{nicht} und ** ** EngineeringComponent befindet sich an %n{nicht} und ** ** entity ist ein fall von RadiatingSound %n{nicht} und eventLocated ** ** entity and ** ** entity und ** ** entity ist ein fall von RadioEmission %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity endet an ** ** EngineeringComponent %n{nicht} und ** ** entity ist der agent von ** ** EngineeringComponent %n{nicht} %n{nicht}
|
