Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
BGM71TOW(BG m71TO w)
|
| appearance as argument number 1 |
|
| (subclass BGM71TOW AntiTankMissile) | MilitaryDevices.kif 1002-1002 | BG m71TO w is a subclass of anti tank missile |
| (documentation BGM71TOW EnglishLanguage "The BGM-71 TOW is a US anti-tank missile. TOW stands for Tube-launched, Optically tracked, Wire-guided. The TOW was first produced in 1970 and is the most widely used anti-tank missile in the world. Current production TOWs can penetrate all currently known tank armor. (from Wikipedia)") | MilitaryDevices.kif 1003-1008 | BG m71TO w is a subclass of anti tank missile |
| (externalImage BGM71TOW "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 94/ TOW_fired_from_Jeep.jpg/ 250px_TOW_fired_from_Jeep.jpg") | pictureList.kif 1047-1047 | BG m71TO w is a subclass of anti tank missile |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BGM71TOW "BGM-71 TOW anti-tank missile") | MilitaryDevices.kif 2209-2209 | |
| (termFormat EnglishLanguage BGM71TOW "BG m71TO w") | domainEnglishFormat.kif 10935-10935 | |
| (termFormat ChineseTraditionalLanguage BGM71TOW "BG m71TO w") | domainEnglishFormat.kif 10936-10936 | |
| (termFormat ChineseLanguage BGM71TOW "BG m71TO w") | domainEnglishFormat.kif 10937-10937 |
| antecedent |
|
|
| (=> (instance ?BGM71TOW BGM71TOW) (weight ?BGM71TOW (MeasureFn 18.9 Kilogram))) |
MilitaryDevices.kif 1012-1015 | If X is an instance of BG m71TO w, then 18.9 kilogram(s) is a weight of X |
| (=> (instance ?BGM71TOW BGM71TOW) (effectiveRange ?BGM71TOW (MeasureFn 3.0 Kilometer))) |
MilitaryDevices.kif 1019-1022 | If X is an instance of BG m71TO w, then 3.0 kilometer(s) is an effective range of X |
|