RadioEmission | ![]() |
appearance as argument number 1 |
![]() |
(documentation RadioEmission EnglishLanguage "Any instance of RadiatingElectromagnetic where the waves have a wavelength between 5 milimeters and 30,000 meters.") | Mid-level-ontology.kif 17170-17171 | |
(subclass RadioEmission RadiatingElectromagnetic) | Mid-level-ontology.kif 17169-17169 |
appearance as argument number 2 |
![]() |
(disjoint RadiatingInfrared RadioEmission) | Mid-level-ontology.kif 590-590 | |
(subclass Broadcasting RadioEmission) | Mid-level-ontology.kif 17174-17174 | |
(termFormat ChineseLanguage RadioEmission "无线电发射") | domainEnglishFormat.kif 48514-48514 | |
(termFormat ChineseTraditionalLanguage RadioEmission "無線電發射") | domainEnglishFormat.kif 48513-48513 | |
(termFormat EnglishLanguage RadioEmission "radio emission") | domainEnglishFormat.kif 48512-48512 |
antecedent |
![]() |
(=> (and (instance ?E RadioEmission) (destination ?E ?D)) (instance ?D ReceiverDevice)) |
Mid-level-ontology.kif 2270-2274 |
consequent |
![]() |
(=> (instance ?ANTENNA Antenna) (capability RadioEmission instrument ?ANTENNA)) |
Mid-level-ontology.kif 17215-17217 | |
(=> (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 26738-26746 | |
(=> (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 |
![]() |
![]() |