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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15629-15630
(subclass RadioEmission RadiatingElectromagnetic) Mid-level-ontology.kif 15628-15628 无线电发射 是 辐射电磁 的 subclass

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


(disjoint RadiatingInfrared RadioEmission) Mid-level-ontology.kif 592-592 辐射红外线 和 % 2 是 disjoint
(subclass Broadcasting RadioEmission) Mid-level-ontology.kif 15633-15633 广播 是 无线电发射 的 subclass
(termFormat ChineseLanguage RadioEmission "无线电发射") domainEnglishFormat.kif 48502-48502
(termFormat ChineseTraditionalLanguage RadioEmission "無線電發射") domainEnglishFormat.kif 48501-48501
(termFormat EnglishLanguage RadioEmission "radio emission") domainEnglishFormat.kif 48500-48500

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


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

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


(=>
    (instance ?ANTENNA Antenna)
    (capability RadioEmission instrument ?ANTENNA))		 Mid-level-ontology.kif 15674-15676
(=>
    (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