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 132-135 | |
| (externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Military_vehicle_Bv206_in_Jaeger_Brigade_1997.jpg") | pictureList-ImageNet.kif 444-444 | |
| (externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ archive/ c/ cc/ 20070917210111!Military_vehicle_Sisu_SA-150.jpg") | pictureList-ImageNet.kif 443-443 | |
| (externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Military_vehicle_Sisu_SA-150.jpg") | pictureList-ImageNet.kif 442-442 | |
| (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 441-441 | |
| (externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ cf/ M113.jpg/ 180px-M113.jpg") | pictureList.kif 1186-1186 | |
| (subclass MilitaryVehicle MilitaryPlatform) | Military.kif 130-130 | |
| (subclass MilitaryVehicle Vehicle) | Military.kif 131-131 |
| appearance as argument number 2 |
|
|
| (subclass AAV MilitaryVehicle) | MilitaryDevices.kif 1646-1646 | |
| (subclass AH1 MilitaryVehicle) | MilitaryDevices.kif 1890-1890 | |
| (subclass APC MilitaryVehicle) | MilitaryDevices.kif 1571-1571 | |
| (subclass CH46D MilitaryVehicle) | MilitaryDevices.kif 1830-1830 | |
| (subclass CH53E MilitaryVehicle) | MilitaryDevices.kif 1769-1769 | |
| (subclass Harrier2 MilitaryVehicle) | MilitaryDevices.kif 1734-1734 | |
| (subclass LCAC MilitaryVehicle) | MilitaryDevices.kif 1945-1945 | |
| (subclass MilitaryAircraft MilitaryVehicle) | Military.kif 156-156 | |
| (subclass MilitarySupportVehicle MilitaryVehicle) | Military.kif 195-195 | |
| (subclass MilitaryTank MilitaryVehicle) | Military.kif 145-145 | |
| (termFormat ChineseLanguage MilitaryVehicle "军车") | domainEnglishFormat.kif 37758-37758 | |
| (termFormat ChineseTraditionalLanguage MilitaryVehicle "軍車") | domainEnglishFormat.kif 37757-37757 | |
| (termFormat EnglishLanguage MilitaryVehicle "military vehicle") | domainEnglishFormat.kif 37756-37756 |
| 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 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 |
|
|
|