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 17170-17171
(subclass RadioEmission RadiatingElectromagnetic) Mid-level-ontology.kif 17169-17169 RadioEmission est une sous-classe de RadiatingElectromagnetic

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


(disjoint RadiatingInfrared RadioEmission) Mid-level-ontology.kif 590-590 RadiatingInfrared est disjoint de RadioEmission
(subclass Broadcasting RadioEmission) Mid-level-ontology.kif 17174-17174 Broadcasting est une sous-classe de RadioEmission
(termFormat ChineseLanguage RadioEmission "无线电发射") domainEnglishFormat.kif 48514-48514 Broadcasting est une sous-classe de RadioEmission
(termFormat ChineseTraditionalLanguage RadioEmission "無線電發射") domainEnglishFormat.kif 48513-48513 Broadcasting est une sous-classe de RadioEmission
(termFormat EnglishLanguage RadioEmission "radio emission") domainEnglishFormat.kif 48512-48512 Broadcasting est une sous-classe de RadioEmission

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


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

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


(=>
    (instance ?ANTENNA Antenna)
    (capability RadioEmission instrument ?ANTENNA))		 Mid-level-ontology.kif 17215-17217
(=>
    (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 26740-26748
(=>
    (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