more pictures...
| MilitaryVehicle
more pictures... | |
| 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 | |
| (subclass MilitaryVehicle Vehicle) | Military.kif 141-141 |
| appearance as argument number 2 |
|
|
| (subclass AAV MilitaryVehicle) | MilitaryDevices.kif 1803-1803 | |
| (subclass AH1 MilitaryVehicle) | MilitaryDevices.kif 2047-2047 | |
| (subclass AMEV MilitaryVehicle) | MilitaryDevices.kif 2285-2285 | |
| (subclass APC MilitaryVehicle) | MilitaryDevices.kif 1728-1728 | |
| (subclass CH46D MilitaryVehicle) | MilitaryDevices.kif 1987-1987 | |
| (subclass CH53E MilitaryVehicle) | MilitaryDevices.kif 1926-1926 | |
| (subclass Harrier2 MilitaryVehicle) | MilitaryDevices.kif 1891-1891 | |
| (subclass LCAC MilitaryVehicle) | MilitaryDevices.kif 2102-2102 | |
| (subclass MilitaryAircraft MilitaryVehicle) | Military.kif 233-233 | |
| (subclass MilitarySupportVehicle MilitaryVehicle) | Military.kif 272-272 | |
| (subclass MilitaryTank MilitaryVehicle) | Military.kif 155-155 | |
| (termFormat ChineseLanguage MilitaryVehicle "军车") | domainEnglishFormat.kif 37778-37778 | |
| (termFormat ChineseTraditionalLanguage MilitaryVehicle "軍車") | domainEnglishFormat.kif 37777-37777 | |
| (termFormat EnglishLanguage MilitaryVehicle "military vehicle") | domainEnglishFormat.kif 37776-37776 |
| appearance as argument number 3 |
|
|
| (domain weaponCarryingCapability 1 MilitaryVehicle) | MilitaryDevices.kif 23-23 |
| antecedent |
|
|
| (=> (instance ?MV MilitaryVehicle) (and (instance ?A MilitaryForce) (possesses ?A ?MV) (capability MilitaryProcess patient ?MV))) |
Military.kif 274-279 | |
| (=> (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 |
|
|
|