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 15782-15783 | |
(subclass RadioEmission RadiatingElectromagnetic) | Mid-level-ontology.kif 15781-15781 | RadioEmission è una sottoclasse di RadiatingElectromagnetic |
appearance as argument number 2 |
(disjoint RadiatingInfrared RadioEmission) | Mid-level-ontology.kif 597-597 | RadiatingInfrared è disgiunto da RadioEmission |
(subclass Broadcasting RadioEmission) | Mid-level-ontology.kif 15786-15786 | Broadcasting è una sottoclasse di RadioEmission |
(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 |