Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   RadioEmission
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RadioEmission RadiatingElectromagnetic) | Mid-level-ontology.kif 17397-17397 | Radio emission is a subclass of radiating electromagnetic |
| (documentation RadioEmission EnglishLanguage "Any instance of RadiatingElectromagnetic where the waves have a wavelength between 5 milimeters and 30,000 meters.") | Mid-level-ontology.kif 17398-17399 | Radio emission is a subclass of radiating electromagnetic |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?E RadioEmission) (destination ?E ?D)) (instance ?D ReceiverDevice)) |
Mid-level-ontology.kif 2382-2386 | If X is an instance of radio emission and X ends up at Y, then Y is an instance of receiver device |
| consequent |
|
|
| (=> (instance ?ANTENNA Antenna) (capability RadioEmission instrument ?ANTENNA)) |
Mid-level-ontology.kif 17443-17445 | If X is an instance of antenna, then X is capable of doing radio emission as a instrument |
| (=> (instance ?SP SatellitePhone) (hasPurpose ?SP (exists (?RE ?S) (and (instance ?S ArtificialSatellite) (instance ?RE RadioEmission) (origin ?RE ?SP) (destination ?RE ?SP))))) |
Mid-level-ontology.kif 27396-27404 | If X is an instance of satellite phone, then X has the purpose there exist Y, Z such that Z is an instance of satellite, Y is an instance of radio emission, Y originates at X, and Y ends up at X |
| (=> (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 |
| (=> (instance ?A PhasedArrayAntenna) (hasPurpose ?A (exists (?C ?R ?D) (and (instance ?C Collection) (member ?R ?C) (instance ?R RadioEmission) (instrument ?R ?A) (instance ?D DirectionChange) (patient ?D ?R) (not (exists (?M) (and (instance ?M DirectionChange) (patient ?M ?A)))))))) |
Transportation.kif 5410-5425 | If X is an instance of phased array attenna, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of collection (3) Z is a member of Y (4) Z is an instance of radio emission (5) X is an instrument for Z (6) W is an instance of direction change (7) Z is a patient of W (8) there doesn't exist V such that V is an instance of direction change (9) X is a patient of V |
| (=> (instance ?P PESAAntenna) (hasPurpose ?P (exists (?O1 ?R ?L) (and (part ?O1 ?P) (instance ?R RadioEmission) (origin ?R ?O1) (instance ?L ReflectingLight) (destination ?L ?O1) (not (exists (?O2) (and (part ?O2 ?P) (origin ?R ?O2) (destination ?L ?O2) (not (equal ?O1 ?O2))))))))) |
Transportation.kif 5439-5456 | If X is an instance of passive electronically scanned array antenna, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is a part of X (3) Z is an instance of radio emission (4) Z originates at Y (5) W is an instance of reflecting light (6) W ends up at Y (7) there doesn't exist V such that V is a part of X (8) Z originates at V (9) W ends up at V (10) equal Y (11) V |
| (=> (instance ?A PESAAntenna) (hasPurpose ?A (exists (?R ?C ?D) (and (instance ?R RadioEmission) (instrument ?R ?A) (during (WhenFn ?R) ?T) (instance ?C Collection) (member ?R ?C) (property ?C ?D) (instance ?D DirectionalAttribute) (not (exists (?D2) (and (instance ?D2 DirectionalAttribute) (property ?C ?D2) (not (equal ?D ?D2))))))))) |
Transportation.kif 5458-5477 | If X is an instance of passive electronically scanned array antenna, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of radio emission (3) X is an instrument for Y (4) the time of existence of Y takes place during V (5) Z is an instance of collection (6) Y is a member of Z (7) Z the attribute W (8) W is an instance of directional attribute (9) there doesn't exist U such that U is an instance of directional attribute (10) Z the attribute U (11) equal W (12) U |
| (=> (and (instance ?A AESAAntenna) (part ?C ?A) (instance ?C CollectionOfObjects) (memberType ?C ?CLASS) (subclass ?CLASS CommunicationDevice)) (exists (?R1 ?D1 ?R2 ?D2) (and (instance ?R1 RadioEmission) (origin ?R1 ?D1) (instance ?D1 ?CLASS) (instance ?R2 RadioEmission) (origin ?R2 ?D2) (instance ?D2 ?CLASS) (not (equal ?D1 ?D2)) (not (equal ?R1 ?R2)) (cooccur ?R1 ?R2)))) |
Transportation.kif 5491-5510 | If X is an instance of active eletronically scanned array antenna, Y is a part of X, Y is an instance of collection, Z is a member type of Y, and Z is a subclass of communication device, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of radio emission (3) W originates at V (4) V is an instance of Z (5) U is an instance of radio emission (6) U originates at T (7) T is an instance of Z (8) equal V (9) T (10) equal W (11) U (12) W occurs at the same time as U |
|