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 15810-15811 | |
(subclass RadioEmission RadiatingElectromagnetic) | Mid-level-ontology.kif 15809-15809 | RadioEmission e' uma sub-classe de RadiatingElectromagnetic |
appearance as argument number 2 |
(disjoint RadiatingInfrared RadioEmission) | Mid-level-ontology.kif 590-590 | RadiatingInfrared e' disjunto de RadioEmission |
(subclass Broadcasting RadioEmission) | Mid-level-ontology.kif 15814-15814 | Broadcasting e' uma sub-classe de RadioEmission |
(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 1800-1804 |
|
consequent |