Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LCAC
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LCAC AmphibiousVehicle) | MilitaryDevices.kif 2101-2101 | LCAC is a subclass of amphibious vehicle |
| (subclass LCAC MilitaryVehicle) | MilitaryDevices.kif 2102-2102 | LCAC is a subclass of military vehicle |
| (subclass LCAC PassengerVehicle) | MilitaryDevices.kif 2103-2103 | LCAC is a subclass of passenger vehicle |
| (subclass LCAC PoweredVehicle) | MilitaryDevices.kif 2104-2104 | LCAC is a subclass of powered vehicle |
| (documentation LCAC EnglishLanguage "The air cushioned landing craft, or fully amphibious landing craft, is a more modern variation on the amphibious landing boat. These craft are based on small to mid sized multi-purpose hovercraft, also known as 'over the beach' ('OTB') craft. This allows troops and material to access more than 70% of the world's coastline, while only approximately 15% of that coastline is available to conventional landing craft. Typical barriers to conventional landing craft are soft sandy beaches, marshes, swampland, and loose surfaces. Air cushion technology has vastly increased the landing capability of the craft, providing greater speed and flexibility over traditional landing craft. Like the mechanized landing craft, they are usually equipped with mounted machine guns, although they also support grenade launchers and heavy weapons. These vehicles are commonly used in the United States Navy, which first received them in 1984, the Russian Navy, and some other modern fighting forces, such as the United Kingdom's Royal Navy. Forces that may use the LCAC may include The Royal Marines. (from Wikipedia) ") | MilitaryDevices.kif 2105-2120 | LCAC is a subclass of powered vehicle |
| (externalImage LCAC "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ LCAC_19970620.jpg/ 180px_LCAC_19970620.jpg") | pictureList.kif 1154-1154 | LCAC is a subclass of powered vehicle |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?LCAC LCAC) (and (length ?LCAC (MeasureFn 88.0 FootLength)) (effectiveRange ?LCAC (MeasureFn 555.0 Kilometer)))) |
MilitaryDevices.kif 2124-2130 | If X is an instance of LCAC, then the length of X is 88.0 foot length(s) and 555.0 kilometer(s) is an effective range of X |
| (=> (instance ?LCAC LCAC) (and (weaponCarryingCapability ?LCAC M2Browning 2) (weaponCarryingCapability ?LCAC M60 2) (weaponCarryingCapability ?LCAC MK19 2))) |
MilitaryDevices.kif 2134-2139 | If X is an instance of LCAC, then X can carry 2 weapons of type m2 browning., X can carry 2 weapons of type m60., and X can carry 2 weapons of type Mk19. |
| (=> (instance ?LCAC LCAC) (personTransportCapability ?LCAC 24)) |
MilitaryDevices.kif 2143-2145 | If X is an instance of LCAC, then 24 is a person transport capability of X |
| (=> (instance ?LCAC LCAC) (maximumPayloadCapacity ?LCAC (MeasureFn 60.0 TonMass))) |
MilitaryDevices.kif 2149-2152 | If X is an instance of LCAC, then 60.0 ton mass(s) is a maximum payload capacity of X |
|
