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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Radiating
Radiating

VerbNet: funnel-9.3|channel, funnel-9.3|channel, funnel-9.3|channel, funnel-9.3|channel, light_emission-43.1|flicker, light_emission-43.1|flicker, funnel-9.3|channel, entity_specific_modes_being-47.2|propagate, substance_emission-43.4|radiate, funnel-9.3|channel,


appearance as argument number 1
-------------------------


(documentation Radiating ChineseLanguage "这是涉及释放或吸收某些电磁辐射的过程, 例如;无线电波、 光波和电能等等。") chinese_format.kif 3326-3327
(documentation Radiating EnglishLanguage "Processes in which some form of electromagnetic radiation, e.g. radio waves, light waves, electrical energy, etc., is given off or absorbed by something else.") Merge.kif 12623-12625
(subclass Radiating Motion) Merge.kif 12622-12622

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


(subclass Explosion Radiating) Mid-level-ontology.kif 13540-13540
(subclass Lightning Radiating) Mid-level-ontology.kif 3582-3582
(subclass RadiatingElectromagnetic Radiating) Merge.kif 12712-12712
(subclass RadiatingInfrared Radiating) Mid-level-ontology.kif 772-772
(subclass RadiatingNuclear Radiating) Merge.kif 12717-12717
(subclass RadiatingSound Radiating) Merge.kif 12646-12646
(subclass Reflecting Radiating) Mid-level-ontology.kif 751-751
(termFormat ChineseLanguage Radiating "辐射") chinese_format.kif 1222-1222
(termFormat EnglishLanguage Radiating "radiating") english_format.kif 1670-1670

appearance as argument number 3
-------------------------


(domain carrierFrequency 1 Radiating) ComputingBrands.kif 1526-1526
(domain wavelength 1 Radiating) Mid-level-ontology.kif 766-766

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


(=>
    (instance ?M BeamRidingGMissile)
    (hasPurpose ?M
        (exists (?DAMAGE ?OBJ ?RADIATION ?INST)
            (and
                (instance ?DAMAGE Damaging)
                (instrument ?DAMAGE ?M)
                (patient ?DAMAGE ?OBJ)
                (instance ?RADIATION Radiating)
                (instrument ?RADIATION ?INST)
                (or
                    (instance ?INST Radar)
                    (instance ?INST LightFixture))
                (patient ?RADIATION ?OBJ)))))
MilitaryDevices.kif 1108-1121
(=>
    (instance ?WL WireLine)
    (hasPurpose ?WL
        (exists (?R)
            (and
                (instance ?R Radiating)
                (path ?R ?WL)))))
Mid-level-ontology.kif 4162-4168


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