| InfraRedGMissile
|
| appearance as argument number 1 |
|
| (documentation InfraRedGMissile EnglishLanguage "A missile that is guided by infrared homing. Infra-red homing refers to a guidance system which uses the infra-red light emission from a target to track it. Missiles which use infra-red seeking are often referred to as heat-seekers. Infra-red (IR) is just below the visible spectrum of light in frequency and is radiated strongly by hot bodies. Many objects such as people, vehicle engines and aircraft generate and retain heat, and as such, are especially visible in the infra-red wavelengths of light compared to objects in the background. (from Wikipedia)") | MilitaryDevices.kif 1066-1074 | |
| (externalImage InfraRedGMissile "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ R-3_infrared_seeker.jpg") | pictureList.kif 8543-8543 | |
| (externalImage InfraRedGMissile "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 05/ R-3_Air-to-Air_Missile.jpg/ 800px-R-3_Air-to-Air_Missile.jpg") | pictureList.kif 9338-9338 | |
| (externalImage InfraRedGMissile "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 3e/ FA-18_Hornet_VFA-41.jpg/ 800px-FA-18_Hornet_VFA-41.jpg") | pictureList.kif 9337-9337 | |
| (subclass InfraRedGMissile GuidedMissile) | MilitaryDevices.kif 1065-1065 | subclass InfraRedGMissile and GuidedMissile |
| appearance as argument number 2 |
|
|
| (subclass AGM65 InfraRedGMissile) | MilitaryDevices.kif 1137-1137 | subclass AGM65 and InfraRedGMissile |
| (subclass AIM9 InfraRedGMissile) | MilitaryDevices.kif 1178-1178 | subclass AIM9 and InfraRedGMissile |
| (termFormat ChineseLanguage InfraRedGMissile "红外导弹") | domainEnglishFormat.kif 29989-29989 | |
| (termFormat ChineseTraditionalLanguage InfraRedGMissile "紅外導彈") | domainEnglishFormat.kif 29988-29988 | |
| (termFormat EnglishLanguage InfraRedGMissile "infra redG missile") | domainEnglishFormat.kif 29987-29987 | |
| (termFormat EnglishLanguage InfraRedGMissile "infra-red guided missile") | MilitaryDevices.kif 2066-2066 |
| antecedent |
|
|
| (=> (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 |
|
|
|