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

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


(disjoint RadiatingInfrared RadioEmission) Mid-level-ontology.kif 774-774 Radiating infrared is disjoint from radio emission
(subclass Broadcasting RadioEmission) Mid-level-ontology.kif 13437-13437 Broadcasting is a subclass of radio emission
(termFormat ChineseLanguage RadioEmission "无线电发射") domainEnglishFormat.kif 48451-48451 "无线电发射" is the printable form of radio emission in ChineseLanguage
(termFormat ChineseTraditionalLanguage RadioEmission "無線電發射") domainEnglishFormat.kif 48450-48450 "無線電發射" is the printable form of radio emission in ChineseTraditionalLanguage
(termFormat EnglishLanguage RadioEmission "radio emission") domainEnglishFormat.kif 48449-48449 "radio emission" is the printable form of radio emission in english language

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


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

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


(=>
    (instance ?ANTENNA Antenna)
    (capability RadioEmission instrument ?ANTENNA))
Mid-level-ontology.kif 13483-13485
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners