Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadioEmission
RadioEmission(radio emission)long_wave, medium_wave, radio_emission, radio_radiation, radio_wave

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 17190-17191
(subclass RadioEmission RadiatingElectromagnetic) Mid-level-ontology.kif 17189-17189 Radio emission is a subclass of radiating electromagnetic

appearance as argument number 2
-------------------------


(disjoint RadiatingInfrared RadioEmission) Mid-level-ontology.kif 590-590 Radiating infrared is disjoint from radio emission
(subclass Broadcasting RadioEmission) Mid-level-ontology.kif 17194-17194 Broadcasting is a subclass of radio emission
(termFormat ChineseLanguage RadioEmission "无线电发射") domainEnglishFormat.kif 48543-48543 Broadcasting is a subclass of radio emission
(termFormat ChineseTraditionalLanguage RadioEmission "無線電發射") domainEnglishFormat.kif 48542-48542 Broadcasting is a subclass of radio emission
(termFormat EnglishLanguage RadioEmission "radio emission") domainEnglishFormat.kif 48541-48541 Broadcasting is a subclass of radio emission

antecedent
-------------------------


(=>
    (and
        (instance ?E RadioEmission)
        (destination ?E ?D))
    (instance ?D ReceiverDevice))
Mid-level-ontology.kif 2269-2273

consequent
-------------------------


(=>
    (instance ?ANTENNA Antenna)
    (capability RadioEmission instrument ?ANTENNA))
Mid-level-ontology.kif 17235-17237
(=>
    (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 26757-26765
(=>
    (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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners