more pictures...
| APC(APC)
more pictures... | | APC, armored_personnel_carrier, armoured_personnel_carrier, personnel_carrier |
| appearance as argument number 1 |
|
|
| (subclass APC MilitaryVehicle) | MilitaryDevices.kif 1728-1728 | APC is a subclass of military vehicle |
| (subclass APC PassengerVehicle) | MilitaryDevices.kif 1729-1729 | APC is a subclass of passenger vehicle |
| (subclass APC LandVehicle) | MilitaryDevices.kif 1730-1730 | APC is a subclass of land vehicle |
| (subclass APC PoweredVehicle) | MilitaryDevices.kif 1731-1731 | APC is a subclass of powered vehicle |
| (subclass APC ArmoredVehicle) | MilitaryDevices.kif 1732-1732 | APC is a subclass of armored vehicle |
| (documentation APC EnglishLanguage "Armoured personnel carriers (APCs) are armoured fighting vehicles developed to transport infantry on the battlefield. They usually have only a machine gun although variants carry recoilless rifles, anti-tank guided missiles (ATGMs), or mortars. They are not really designed to take part in a direct-fire battle, but to carry the troops to the battlefield safe from shrapnel and ambush. They may have wheels or tracks. Examples include the American M113 (tracked), M2 Bradley, the British FV 432 (tracked), the French VAB (wheeled), the German Boxer MRAV (wheeled) and the Soviet BTR (wheeled). (from Wikipedia)") | MilitaryDevices.kif 1733-1742 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ ea/ M113-ambulance_fallujah.jpg/ 250px_M113-ambulance_fallujah.jpg") | pictureList-ImageNet.kif 328-328 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/7/7c/M113-fort_jackson-1966.jpg") | pictureList-ImageNet.kif 329-329 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c0/ 120-2048_IMG.JPG/ 180px-120-2048_IMG.JPG") | pictureList-ImageNet.kif 330-330 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 5f/ Bt7_6.jpg/ 180px_Bt7_6.jpg") | pictureList-ImageNet.kif 331-331 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b0/ Schweizer_Armee_Universal_Carrier.jpg/ 120px_Schweizer_Armee_Universal_Carrier.jpg") | pictureList-ImageNet.kif 332-332 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 19/ VAB_armoured_personnel_carrier_DSC00846.jpg/ 800px_VAB_armoured_personnel_carrier_DSC00846.jpg") | pictureList-ImageNet.kif 333-333 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ M113.jpg/ 180px_M113.jpg") | pictureList-ImageNet.kif 334-334 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/e/e1/JGSDF_Type60_APC.jpg") | pictureList-ImageNet.kif 335-335 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/e/e1/British_Mark_IX_Armoured_Personnel_Carrier.jpg") | pictureList-ImageNet.kif 336-336 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/d/dc/LAV25-1.jpg") | pictureList-ImageNet.kif 337-337 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a7/ Armored_car_batey_haosef-9-1.jpg/ 800px_Armored_car_batey_haosef-9-1.jpg") | pictureList-ImageNet.kif 338-338 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/8/83/Swedish_Pbv_302_IFOR_Bosnia.jpg") | pictureList-ImageNet.kif 339-339 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 56/ Armenian_Presidential_Elections_2008_Protest_Day_11_-_French_Embassy_Demonstration_APC_130pm.jpg/ 800px_Armenian_Presidential_Elections_2008_Protest_Day_11_-_French_Embassy_Demonstration_APC_130pm.jpg") | pictureList-ImageNet.kif 340-340 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ ed/ Type_63_APC_at_the_Beijing_Military_Museum_-_rear_door.jpg/ 765px_Type_63_APC_at_the_Beijing_Military_Museum_-_rear_door.jpg") | pictureList-ImageNet.kif 341-341 | APC is a subclass of armored vehicle |
| (externalImage APC "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 19/ VAB_armoured_personnel_carrier_DSC00846.jpg/ 200px_VAB_armoured_personnel_carrier_DSC00846.jpg") | pictureList.kif 1032-1032 | APC is a subclass of armored vehicle |
| appearance as argument number 2 |
|
|
| (subclass LAV APC) | MilitaryDevices.kif 1666-1666 | LAV is a subclass of APC |
| (termFormat EnglishLanguage APC "armored personnel carrier") | MilitaryDevices.kif 2240-2240 | LAV is a subclass of APC |
| (termFormat EnglishLanguage APC "APC") | domainEnglishFormat.kif 7954-7954 | LAV is a subclass of APC |
| (termFormat ChineseTraditionalLanguage APC "APC") | domainEnglishFormat.kif 7955-7955 | LAV is a subclass of APC |
| (termFormat ChineseLanguage APC "APC") | domainEnglishFormat.kif 7956-7956 | LAV is a subclass of APC |
| antecedent |
|
|
| (=> (instance ?APC APC) (exists (?MG) (and (instance ?MG AutomaticGun) (part ?MG ?APC)))) |
MilitaryDevices.kif 1746-1751 | If X is an instance of APC, then there exists Y such that Y is an instance of automatic gun and Y is a part of X |
|
|
|