Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
BeamRidingGMissile(beam ridingG missile)
more pictures... |
| appearance as argument number 1 |
|
| (subclass BeamRidingGMissile GuidedMissile) | MilitaryDevices.kif 1247-1247 | Beam ridingG missile is a subclass of guided missile |
| (documentation BeamRidingGMissile EnglishLanguage "Beam-riding guidance leads a missile to its target by means of radar or a laser beam. It is one of the simplest forms of radar or laser guidance. The main use of this kind of system is to destroy airplanes or tanks. First, an aiming station (possibly mounted in a vehicle) in the launching area directs a narrow radar or laser beam at the enemy aircraft or tank. Then, the missile is launched and at some point after launch is gathered by the radar or laser beam when it flies into it. From this stage onwards, the missile attempts to keep itself inside the beam, while the aiming station keeps the beam pointing at the target. The missile, controlled by a computer inside it, rides the beam to the target. The aiming station can also use the radar returns of the beam bouncing off the target to track it, or it can be tracked optically or by some other means. (from Wikipedia)") | MilitaryDevices.kif 1248-1260 | Beam ridingG missile is a subclass of guided missile |
| (externalImage BeamRidingGMissile "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 68/ Image_GBU-24_Missile_testmontage_gi_BLU-109_bomb.jpg") | pictureList.kif 9903-9903 | Beam ridingG missile is a subclass of guided missile |
| (externalImage BeamRidingGMissile "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8a/ US_Rim-8g_missile.jpg") | pictureList.kif 10500-10500 | Beam ridingG missile is a subclass of guided missile |
| (externalImage BeamRidingGMissile "http://upload.wikimedia.org/wikipedia/ commons/ a/ ac/ RIM-2_Terrier_on_board_USS_Boston_%28CAG-1%29.jpg") | pictureList.kif 10501-10501 | Beam ridingG missile is a subclass of guided missile |
| (externalImage BeamRidingGMissile "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4a/ RIM-2_Terrier.jpg") | pictureList.kif 10502-10502 | Beam ridingG missile is a subclass of guided missile |
| (externalImage BeamRidingGMissile "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3f/ Tartar_missile.jpg") | pictureList.kif 10504-10504 | Beam ridingG missile is a subclass of guided missile |
| (externalImage BeamRidingGMissile "http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ Tartar.jpg") | pictureList.kif 10505-10505 | Beam ridingG missile is a subclass of guided missile |
| appearance as argument number 2 |
|
|
| (subclass AGM114 BeamRidingGMissile) | MilitaryDevices.kif 1361-1361 | AG m114 is a subclass of beam ridingG missile |
| (termFormat EnglishLanguage BeamRidingGMissile "beam-riding guided missile") | MilitaryDevices.kif 2220-2220 | AG m114 is a subclass of beam ridingG missile |
| (termFormat EnglishLanguage BeamRidingGMissile "beam ridingG missile") | domainEnglishFormat.kif 10270-10270 | AG m114 is a subclass of beam ridingG missile |
| (termFormat ChineseTraditionalLanguage BeamRidingGMissile "束騎導彈") | domainEnglishFormat.kif 10271-10271 | AG m114 is a subclass of beam ridingG missile |
| (termFormat ChineseLanguage BeamRidingGMissile "束骑导弹") | domainEnglishFormat.kif 10272-10272 | AG m114 is a subclass of beam ridingG missile |
| antecedent |
|
|
| (=> (instance ?M BeamRidingGMissile) (hasPurpose ?M (exists (?DAMAGE ?OBJ ?RADIATION ?INST) (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?M) (patient ?DAMAGE ?OBJ) (instance ?RADIATION Radiating) (instrument ?RADIATION ?INST) (or (instance ?INST Radar) (instance ?INST LightFixture)) (patient ?RADIATION ?OBJ))))) |
MilitaryDevices.kif 1265-1278 | If X is an instance of beam ridingG missile, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of damaging (3) X is an instrument for Y (4) Z is a patient of Y (5) W is an instance of radiating (6) V is an instrument for W (7) V is an instance of radar or V is an instance of light fixture (8) Z is a patient of W |
|