Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Server
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BabyMonitoringSystem RadioSystem) | Communications.kif 237-237 | Baby monitor is a subclass of radio system |
| (documentation BabyMonitoringSystem EnglishLanguage "BabyMonitoringSystem refers to the radio system that Broadcasting at 49Mhz, consisting of a transmitter and receiver, where the transmitter is kept where the baby is kept, and the receiver is kept with the person looking after the baby to be able to hear sounds and monitor the baby") | Communications.kif 238-241 | Baby monitor is a subclass of radio system |
| (subclass BabyMonitoringSystem CommunicationAppliance) | HouseholdAppliances.kif 275-275 | Baby monitor is a subclass of communication appliance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BabyMonitoringSystem "baby monitor") | Communications.kif 242-242 |
| antecedent |
|
|
| (=> (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 244-270 | If X is an instance of baby monitor, then All of the following hold: (1) there exist Y (2) Z such that Z is an instance of radio receiver (3) Y is an instance of device (4) Z is a component of X (5) Y is a component of X (6) X has the purpose there exist W, V,, , U,, , T,, , S,, , R (7) Q such that W is an instance of human baby (8) V is an instance of human (9) W is located at T (10) V is located at S (11) equal T (12) S (13) R is an instance of maintaining (14) W is a patient of R (15) V is an agent of R (16) Y is located at T (17) Z is located at S (18) U is an instance of radiating sound (19) U is located at T (20) Q is an instance of radio emission (21) U is a patient of Q (22) Q ends up at Z (23) Y is an agent of Q |
|