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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadiatingInfrared

Sigma KEE - RadiatingInfrared
RadiatingInfrared

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


(disjoint RadiatingInfrared RadiatingLight) Mid-level-ontology.kif 596-596 RadiatingInfrared est disjoint de lumi�re irradiante
(disjoint RadiatingInfrared RadioEmission) Mid-level-ontology.kif 597-597 RadiatingInfrared est disjoint de RadioEmission
(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 598-600
(subclass RadiatingInfrared Radiating) Mid-level-ontology.kif 595-595 RadiatingInfrared est une sous-classe de irradier
(subclass RadiatingInfrared RadiatingElectromagnetic) Merge.kif 13670-13670 RadiatingInfrared est une sous-classe de RadiatingElectromagnetic

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


(termFormat ChineseLanguage RadiatingInfrared "辐射红外线") domainEnglishFormat.kif 48446-48446
(termFormat ChineseTraditionalLanguage RadiatingInfrared "輻射紅外線") domainEnglishFormat.kif 48445-48445
(termFormat EnglishLanguage RadiatingInfrared "radiating infrared") domainEnglishFormat.kif 48444-48444

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 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