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

Formal Language: 



KB Term:  Term intersection
English Word: 

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://articulatesoftware.com/SUMOpictures/armed_services/ Marines/ LAV25.png") pictureList.kif 545-545
(subclass LAV APC) MilitaryDevices.kif 1509-1509

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


(subclass LAV25 LAV) MilitaryDevices.kif 1520-1520
(termFormat ChineseLanguage LAV "LAV") domainEnglishFormat.kif 33550-33550
(termFormat ChineseTraditionalLanguage LAV "LAV") domainEnglishFormat.kif 33549-33549
(termFormat EnglishLanguage LAV "LAV") domainEnglishFormat.kif 33548-33548
(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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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