more pictures...
| MilitaryTank
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation MilitaryTank EnglishLanguage "A MilitaryVehicle that moves along the ground on treaded wheels and that contains a large cannon.") | Military.kif 157-158 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ Sherman_M4_(Airborne_Museum)_01.JPG") | pictureList-ImageNet.kif 570-570 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2e/ William_Orpen_A_Tank.jpg") | pictureList-ImageNet.kif 571-571 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Challenger_Mark_I_Tank,_Bovington.jpg") | pictureList-ImageNet.kif 566-566 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 10/ Leclerc_IMG_1744.jpg/ 300px_Leclerc_IMG_1744.jpg") | pictureList-ImageNet.kif 564-564 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 46/ Tank_T-72.JPG/ 250px_Tank_T-72.JPG") | pictureList-ImageNet.kif 561-561 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 49/ M4-Sherman_tank_European_theatre.jpg/ 180px_M4-Sherman_tank_European_theatre.jpg") | pictureList-ImageNet.kif 565-565 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 50/ T-54-APC_latrun-2.jpg/ 800px_T-54-APC_latrun-2.jpg") | pictureList-ImageNet.kif 569-569 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 73/ Iraq_m1_abrams.jpg/ 250px_Iraq_m1_abrams.jpg") | pictureList.kif 1184-1184 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 7d/ Korean_K1_Tank.JPEG/ 700px_Korean_K1_Tank.JPEG") | pictureList-ImageNet.kif 568-568 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 9e/ Bergepanzer2.jpg/ 240px_Bergepanzer2.jpg") | pictureList-ImageNet.kif 573-573 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ bf/ DSCF1155.JPG/ 250px_DSCF1155.JPG") | pictureList-ImageNet.kif 572-572 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d2/ M41A3-Walker_Bulldog_latrun-2.jpg/ 250px_M41A3-Walker_Bulldog_latrun-2.jpg") | pictureList-ImageNet.kif 563-563 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d9/ M728_Combat_Engineer_Vehicle_woodland_from_right.jpg/ 120px_M728_Combat_Engineer_Vehicle_woodland_from_right.jpg") | pictureList-ImageNet.kif 562-562 | |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/en/thumb/ 4/ 4f/ M9ace1.jpg/ 400px_M9ace1.jpg") | pictureList-ImageNet.kif 567-567 | |
| (subclass MilitaryTank MilitaryVehicle) | Military.kif 155-155 | MilitaryTank は MilitaryVehicle の subclass では |
| (subclass MilitaryTank RoadVehicle) | Military.kif 156-156 | MilitaryTank は RoadVehicle の subclass では |
| appearance as argument number 2 |
|
|
| (disjoint ArtilleryCannon MilitaryTank) | MilitaryDevices.kif 172-172 | ArtilleryCannon と MilitaryTank は disjoint では |
| (termFormat ChineseLanguage MilitaryTank "军用坦克") | domainEnglishFormat.kif 37766-37766 | ArtilleryCannon と MilitaryTank は disjoint では |
| (termFormat ChineseTraditionalLanguage MilitaryTank "軍用坦克") | domainEnglishFormat.kif 37765-37765 | ArtilleryCannon と MilitaryTank は disjoint では |
| (termFormat EnglishLanguage MilitaryTank "military tank") | domainEnglishFormat.kif 37764-37764 | ArtilleryCannon と MilitaryTank は disjoint では |
| antecedent |
|
|
| (=> (instance ?TANK MilitaryTank) (exists (?TRACK ?GUN) (and (instance ?TRACK ContinuousTrack) (part ?TRACK ?TANK) (instance ?GUN ArtilleryCannon) (part ?GUN ?TANK)))) |
Military.kif 160-167 | |
| (=> (instance ?TANK MilitaryTank) (hasPurpose ?TANK (exists (?A ?M) (and (instance ?A Attack) (subProcess ?A ?M) (instance ?M MilitaryAssault) (instrument ?A ?TANK))))) |
Military.kif 169-177 |
|
|
|
|