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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingInfrared
RadiatingInfrared(radiating infrared)infrared, infrared_emission, infrared_light, infrared_radiation, infrared_ray, radiating_infrared, 輻射紅外線, 辐射红外线

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


(disjoint RadiatingInfrared RadiatingLight) Mid-level-ontology.kif 773-773 Radiating infrared is disjoint from radiating light
(disjoint RadiatingInfrared RadioEmission) Mid-level-ontology.kif 774-774 Radiating infrared is disjoint from radio emission
(documentation RadiatingInfrared EnglishLanguage "Any instance of Radiating where the wavelengths are longer than those of visible light and shorter than those of radio emissions.") Mid-level-ontology.kif 775-777
(subclass RadiatingInfrared Radiating) Mid-level-ontology.kif 772-772 Radiating infrared is a subclass of radiating
(subclass RadiatingInfrared RadiatingElectromagnetic) Merge.kif 12539-12539 Radiating infrared is a subclass of radiating electromagnetic

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


(termFormat ChineseLanguage RadiatingInfrared "辐射红外线") domainEnglishFormat.kif 48385-48385 "辐射红外线" is the printable form of radiating infrared in ChineseLanguage
(termFormat ChineseTraditionalLanguage RadiatingInfrared "輻射紅外線") domainEnglishFormat.kif 48384-48384 "輻射紅外線" is the printable form of radiating infrared in ChineseTraditionalLanguage
(termFormat EnglishLanguage RadiatingInfrared "radiating infrared") domainEnglishFormat.kif 48383-48383 "radiating infrared" is the printable form of radiating infrared in english language

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


(=>
    (instance ?M InfraRedGMissile)
    (hasPurpose ?M
        (exists (?DAMAGE ?OBJ ?RADIATION)
            (and
                (instance ?DAMAGE Damaging)
                (instrument ?DAMAGE ?M)
                (patient ?DAMAGE ?OBJ)
                (instance ?RADIATION RadiatingInfrared)
                (agent ?RADIATION ?OBJ)))))
MilitaryDevices.kif 1079-1088


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