Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  LAV

Sigma KEE - LAV
LAV

appearance as argument number 1
-------------------------


(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 1510-1518
(externalImage LAV "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ Marines/ LAV25.png") pictureList.kif 545-545
(subclass LAV APC) MilitaryDevices.kif 1509-1509 subclass LAV and APC

appearance as argument number 2
-------------------------


(subclass LAV25 LAV) MilitaryDevices.kif 1520-1520 subclass LAV25 and LAV
(termFormat ChineseLanguage LAV "LAV") domainEnglishFormat.kif 33445-33445
(termFormat ChineseTraditionalLanguage LAV "LAV") domainEnglishFormat.kif 33444-33444
(termFormat EnglishLanguage LAV "LAV") domainEnglishFormat.kif 33443-33443
(termFormat EnglishLanguage LAV "Light Armored Vehicle") MilitaryDevices.kif 2081-2081

consequent
-------------------------


(=>
    (instance ?LAR LARUnit)
    (exists (?LAV)
        (and
            (instance ?LAV LAV)
            (possesses ?LAR ?LAV))))
MilitaryPersons.kif 532-537


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners