Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MilitaryTank
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MilitaryTank MilitaryVehicle) | Military.kif 157-157 | Military tank is a subclass of military vehicle |
| (subclass MilitaryTank RoadVehicle) | Military.kif 158-158 | Military tank is a subclass of road vehicle |
| (documentation MilitaryTank EnglishLanguage "A MilitaryVehicle that moves along the ground on treaded wheels and that contains a large cannon.") | Military.kif 159-160 | Military tank is a subclass of road vehicle |
| (subclass MilitaryTank ArmoredVehicle) | MilitaryDevices.kif 1765-1765 | Military tank is a subclass of armored vehicle |
| (defaultMinimumMeasure MilitaryTank (MeasureFn 50 TonMass)) |
DimensioningAmenities.kif 999-999 | The minimum expected value of military tank is 50 ton mass(s) |
| (defaultMaximumMeasure MilitaryTank (MeasureFn 90 TonMass)) |
DimensioningAmenities.kif 1000-1000 | The maximum expected value of military tank is 90 ton mass(s) |
| (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 | The maximum expected value of military tank is 90 ton mass(s) |
| (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 | The maximum expected value of military tank is 90 ton mass(s) |
| (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 | The maximum expected value of military tank is 90 ton mass(s) |
| (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 | The maximum expected value of military tank is 90 ton mass(s) |
| (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 | The maximum expected value of military tank is 90 ton mass(s) |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Challenger_Mark_I_Tank,_Bovington.jpg") | pictureList-ImageNet.kif 566-566 | The maximum expected value of military tank is 90 ton mass(s) |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/en/thumb/ 4/ 4f/ M9ace1.jpg/ 400px_M9ace1.jpg") | pictureList-ImageNet.kif 567-567 | The maximum expected value of military tank is 90 ton mass(s) |
| (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 | The maximum expected value of military tank is 90 ton mass(s) |
| (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 | The maximum expected value of military tank is 90 ton mass(s) |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ Sherman_M4_(Airborne_Museum)_01.JPG") | pictureList-ImageNet.kif 570-570 | The maximum expected value of military tank is 90 ton mass(s) |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2e/ William_Orpen_A_Tank.jpg") | pictureList-ImageNet.kif 571-571 | The maximum expected value of military tank is 90 ton mass(s) |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ bf/ DSCF1155.JPG/ 250px_DSCF1155.JPG") | pictureList-ImageNet.kif 572-572 | The maximum expected value of military tank is 90 ton mass(s) |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 9e/ Bergepanzer2.jpg/ 240px_Bergepanzer2.jpg") | pictureList-ImageNet.kif 573-573 | The maximum expected value of military tank is 90 ton mass(s) |
| (externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 73/ Iraq_m1_abrams.jpg/ 250px_Iraq_m1_abrams.jpg") | pictureList.kif 1184-1184 | The maximum expected value of military tank is 90 ton mass(s) |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TANK MilitaryTank) (exists (?TRACK ?GUN) (and (instance ?TRACK ContinuousTrack) (part ?TRACK ?TANK) (instance ?GUN ArtilleryCannon) (part ?GUN ?TANK)))) |
Military.kif 162-169 | If X is an instance of military tank, then there exist Y, Z such that Y is an instance of Continuous track, Y is a part of X, Z is an instance of artillery cannon, and Z is a part of X |
| (=> (instance ?TANK MilitaryTank) (hasPurpose ?TANK (exists (?A ?M) (and (instance ?A Attack) (subProcess ?A ?M) (instance ?M MilitaryAssault) (instrument ?A ?TANK))))) |
Military.kif 171-179 | If X is an instance of military tank, then X has the purpose there exist Y, Z such that Y is an instance of attack, Y is a subprocess of Z, Z is an instance of military assault, and X is an instrument for Y |
|
