Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
InfraRedGMissile(infra redG missile)
|
| appearance as argument number 1 |
|
| (subclass InfraRedGMissile GuidedMissile) | MilitaryDevices.kif 1222-1222 | Infra redG missile is a subclass of guided missile |
| (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 1223-1231 | Infra redG missile is a subclass of guided missile |
| (externalImage InfraRedGMissile "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ R-3_infrared_seeker.jpg") | pictureList.kif 8539-8539 | Infra redG missile is a subclass of guided missile |
| (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 9331-9331 | Infra redG missile is a subclass of guided missile |
| (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 9332-9332 | Infra redG missile is a subclass of guided missile |
| appearance as argument number 2 |
|
|
| (subclass AGM65 InfraRedGMissile) | MilitaryDevices.kif 1294-1294 | AG m65 is a subclass of infra redG missile |
| (subclass AIM9 InfraRedGMissile) | MilitaryDevices.kif 1335-1335 | AI m9 is a subclass of infra redG missile |
| (termFormat EnglishLanguage InfraRedGMissile "infra-red guided missile") | MilitaryDevices.kif 2219-2219 | AI m9 is a subclass of infra redG missile |
| (termFormat EnglishLanguage InfraRedGMissile "infra redG missile") | domainEnglishFormat.kif 30063-30063 | AI m9 is a subclass of infra redG missile |
| (termFormat ChineseTraditionalLanguage InfraRedGMissile "紅外導彈") | domainEnglishFormat.kif 30064-30064 | AI m9 is a subclass of infra redG missile |
| (termFormat ChineseLanguage InfraRedGMissile "红外导弹") | domainEnglishFormat.kif 30065-30065 | AI m9 is a subclass of infra redG missile |
| 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 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 |
|