| LAV(LAV)
|
| appearance as argument number 1 |
|
| (subclass LAV APC) | MilitaryDevices.kif 1666-1666 | LAV is a subclass of APC |
| (documentation LAV EnglishLanguage "The Light Armoured Vehicle (LAV, also called Mowag Piranha but not by the USMC) is a family of armoured fighting vehicles designed and manufactured by the Swiss Mowag corporation (now General Dynamics European Land Combat Systems). It is available in 4x4, 6x6, 8x8, and 10x10 wheel versions. There are several variants within these versions, giving different degrees of armour protection and several kinds of turrets, for use in a variety of roles. Piranha derivatives have been assigned roles as troop transports, command vehicles, fire support vehicles, tank trainers, and police vehicles. (from Wikipedia)") | MilitaryDevices.kif 1667-1675 | LAV is a subclass of APC |
| (externalImage LAV "http://articulatesoftware.com/SUMOpictures/armed_services/ Marines/ LAV25.png") | pictureList.kif 545-545 | LAV is a subclass of APC |
| appearance as argument number 2 |
|
|
| (subclass LAV25 LAV) | MilitaryDevices.kif 1677-1677 | LAV25 is a subclass of LAV |
| (termFormat EnglishLanguage LAV "Light Armored Vehicle") | MilitaryDevices.kif 2238-2238 | LAV25 is a subclass of LAV |
| (termFormat EnglishLanguage LAV "LAV") | domainEnglishFormat.kif 33523-33523 | LAV25 is a subclass of LAV |
| (termFormat ChineseTraditionalLanguage LAV "LAV") | domainEnglishFormat.kif 33524-33524 | LAV25 is a subclass of LAV |
| (termFormat ChineseLanguage LAV "LAV") | domainEnglishFormat.kif 33525-33525 | LAV25 is a subclass of LAV |
| consequent |
|
|
| (=> (instance ?LAR LARUnit) (exists (?LAV) (and (instance ?LAV LAV) (possesses ?LAR ?LAV)))) |
MilitaryPersons.kif 546-551 | If X is an instance of LAR unit, then there exists Y such that Y is an instance of LAV and X possesses Y |
|
|
|