more pictures...
| MilitaryVehicle
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 142-145 | |
| (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 140-140 | MilitaryVehicle is a subclass of MilitaryPlatform |
| (subclass MilitaryVehicle Vehicle) | Military.kif 141-141 | MilitaryVehicle 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 weaponCarryingCapability is an instance of MilitaryVehicle |
| antecedent |
|
|
| (=> (instance ?MV MilitaryVehicle) (exists (?A) (and (instance ?A MilitaryForce) (possesses ?A ?MV) (capability MilitaryProcess patient ?MV)))) |
Military.kif 274-280 |
|
| (=> (instance ?V MilitaryVehicle) (hasPurpose ?V (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?V ?O))))) |
Military.kif 147-153 |
|
| 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 |
|
|
|
|