| RadiatingInfrared(radiating infrared) | | infrared, infrared_emission, infrared_light, infrared_radiation, infrared_ray |
| appearance as argument number 1 |
|
|
| (subclass RadiatingInfrared RadiatingElectromagnetic) | Merge.kif 13846-13846 | Radiating infrared is a subclass of radiating electromagnetic |
| (subclass RadiatingInfrared Radiating) | Mid-level-ontology.kif 591-591 | Radiating infrared is a subclass of radiating |
| (disjoint RadiatingInfrared RadiatingLight) | Mid-level-ontology.kif 592-592 | Radiating infrared is disjoint from radiating light |
| (disjoint RadiatingInfrared RadioEmission) | Mid-level-ontology.kif 593-593 | 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 594-596 | Radiating infrared is disjoint from radio emission |
| appearance as argument number 2 |
|
|
| 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 | If X is an instance of infra redG missile, then X has the purpose there exist Y, Z, W such that Y is an instance of damaging, X is an instrument for Y, Z is a patient of Y, W is an instance of radiating infrared, and Z is an agent of W |
|
|
|