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 15783-15784 | |
(subclass RadioEmission RadiatingElectromagnetic) | Mid-level-ontology.kif 15782-15782 | 子類 無線電發射 and 輻射電磁 |
appearance as argument number 2 |
(disjoint RadiatingInfrared RadioEmission) | Mid-level-ontology.kif 597-597 | 不相交的 輻射紅外線 and 無線電發射 |
(subclass Broadcasting RadioEmission) | Mid-level-ontology.kif 15787-15787 | 子類 廣播 and 無線電發射 |
(termFormat ChineseLanguage RadioEmission "无线电发射") | domainEnglishFormat.kif 48512-48512 | |
(termFormat ChineseTraditionalLanguage RadioEmission "無線電發射") | domainEnglishFormat.kif 48511-48511 | |
(termFormat EnglishLanguage RadioEmission "radio emission") | domainEnglishFormat.kif 48510-48510 |
antecedent |
(=> (and (instance ?E RadioEmission) (destination ?E ?D)) (instance ?D ReceiverDevice)) |
Mid-level-ontology.kif 1807-1811 |
consequent |