MilitaryVehicle
|
|
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 | MilitaryVehicle est une sous-classe de MilitaryPlatform |
(subclass MilitaryVehicle Vehicle) | Military.kif 131-131 | MilitaryVehicle est une sous-classe de Vehicle |
appearance as argument number 2 |
appearance as argument number 3 |
(domain weaponCarryingCapability 1 MilitaryVehicle) | MilitaryDevices.kif 23-23 | Le nombre 1 argument de weaponCarryingCapability est une instance de MilitaryVehicle |
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 |