more pictures...
| MilitaryVehicle(military vehicle)
more pictures... | | caisson, military_vehicle, platform, weapons_platform |
| appearance as argument number 1 |
|
|
| (documentation MilitaryVehicle EnglishLanguage "Any Vehicle which is intended to be used by a MilitaryOrganization. Military platforms which are also vehicles. This would include things like airplanes and tanks, but exclude things like towed platforms.") | Military.kif 132-135 | |
| (externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Military_vehicle_Bv206_in_Jaeger_Brigade_1997.jpg") | pictureList-ImageNet.kif 443-443 | |
| (externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ archive/ c/ cc/ 20070917210111!Military_vehicle_Sisu_SA-150.jpg") | pictureList-ImageNet.kif 442-442 | |
| (externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Military_vehicle_Sisu_SA-150.jpg") | pictureList-ImageNet.kif 441-441 | |
| (externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Armenian_Presidential_Elections_2008_Protest_Day_11_-_1215AM_Torched_military_vehicle.jpg") | pictureList-ImageNet.kif 440-440 | |
| (externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ cf/ M113.jpg/ 180px-M113.jpg") | pictureList.kif 1185-1185 | |
| (subclass MilitaryVehicle MilitaryPlatform) | Military.kif 130-130 | Military vehicle is a subclass of military platform |
| (subclass MilitaryVehicle Vehicle) | Military.kif 131-131 | Military vehicle is a subclass of vehicle |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain weaponCarryingCapability 1 MilitaryVehicle) | MilitaryDevices.kif 23-23 | The number 1 argument of weapon carrying capability is an instance of military vehicle |
| antecedent |
|
|
| (=> (instance ?MV MilitaryVehicle) (and (instance ?A MilitaryForce) (possesses ?A ?MV) (capability MilitaryProcess patient ?MV))) |
Military.kif 197-202 |
|
| (=> (instance ?V MilitaryVehicle) (hasPurpose ?V (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?V ?O))))) |
Military.kif 137-143 |
|
| consequent |
|
|
| (=> (and (instance ?MC MilitaryConvoy) (member ?X ?MC)) (instance ?X MilitaryVehicle)) |
Military.kif 102-106 |
|
| (=> (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (instance ?MV Vehicle)) (instance ?MV MilitaryVehicle)) |
MilitaryDevices.kif 61-66 |
|
|
|
|