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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadioEmission

Sigma KEE - RadioEmission
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 14088-14089
(subclass RadioEmission RadiatingElectromagnetic) Mid-level-ontology.kif 14087-14087

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


(disjoint RadiatingInfrared RadioEmission) Mid-level-ontology.kif 568-568
(subclass Broadcasting RadioEmission) Mid-level-ontology.kif 14092-14092
(termFormat ChineseLanguage RadioEmission "无线电发射") domainEnglishFormat.kif 48494-48494
(termFormat ChineseTraditionalLanguage RadioEmission "無線電發射") domainEnglishFormat.kif 48493-48493
(termFormat EnglishLanguage RadioEmission "radio emission") domainEnglishFormat.kif 48492-48492

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


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

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


(=>
    (instance ?ANTENNA Antenna)
    (capability RadioEmission instrument ?ANTENNA))
Mid-level-ontology.kif 14133-14135
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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