RadiatingInfrared | ![]() |
appearance as argument number 1 |
![]() |
(disjoint RadiatingInfrared RadiatingLight) | Mid-level-ontology.kif 589-589 | RadiatingInfrared est disjoint de lumi�re irradiante |
(disjoint RadiatingInfrared RadioEmission) | Mid-level-ontology.kif 590-590 | 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 591-593 | RadiatingInfrared est disjoint de RadioEmission |
(subclass RadiatingInfrared Radiating) | Mid-level-ontology.kif 588-588 | RadiatingInfrared est une sous-classe de irradier |
(subclass RadiatingInfrared RadiatingElectromagnetic) | Merge.kif 13809-13809 | RadiatingInfrared est une sous-classe de RadiatingElectromagnetic |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage RadiatingInfrared "辐射红外线") | domainEnglishFormat.kif 48448-48448 | |
(termFormat ChineseTraditionalLanguage RadiatingInfrared "輻射紅外線") | domainEnglishFormat.kif 48447-48447 | |
(termFormat EnglishLanguage RadiatingInfrared "radiating infrared") | domainEnglishFormat.kif 48446-48446 |
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 1236-1245 |
![]() |
![]() |