(=>
(instance ?M242 M242)
(weight ?M242
(MeasureFn 110.0 Kilogram))) |
MilitaryDevices.kif 451-454 |
If X is an instance of m242, then 110.0 kilogram(s) is a weight of X |
(=>
(instance ?GAU12U GAU12U)
(weight ?GAU12U
(MeasureFn 122.0 Kilogram))) |
MilitaryDevices.kif 478-481 |
If X is an instance of GAU12U, then 122.0 kilogram(s) is a weight of X |
(=>
(instance ?M240 M240)
(weight ?M240
(MeasureFn 12.5 Kilogram))) |
MilitaryDevices.kif 555-558 |
If X is an instance of m240, then 12.5 kilogram(s) is a weight of X |
(=>
(instance ?M60 M60)
(weight ?M60
(MeasureFn 10.5 Kilogram))) |
MilitaryDevices.kif 595-598 |
If X is an instance of m60, then 10.5 kilogram(s) is a weight of X |
(=>
(instance ?M2Browning M2Browning)
(weight ?M2Browning
(MeasureFn 38.0 Kilogram))) |
MilitaryDevices.kif 659-662 |
If X is an instance of m2 browning, then 38.0 kilogram(s) is a weight of X |
(=>
(instance ?XM218 XM218)
(weight ?XM218
(MeasureFn 27.0 Kilogram))) |
MilitaryDevices.kif 693-696 |
If X is an instance of XM218, then 27.0 kilogram(s) is a weight of X |
(=>
(instance ?M3M M3M)
(weight ?M3M
(MeasureFn 35.8 Kilogram))) |
MilitaryDevices.kif 736-739 |
If X is an instance of M3M, then 35.8 kilogram(s) is a weight of X |
(=>
(instance ?MK19 MK19)
(weight ?MK19
(MeasureFn 33.0 Kilogram))) |
MilitaryDevices.kif 798-801 |
If X is an instance of Mk19, then 33.0 kilogram(s) is a weight of X |
(=>
(instance ?SMAWBunkerBuster SMAWBunkerBuster)
(weight ?SMAWBunkerBuster
(MeasureFn 7.54 Kilogram))) |
MilitaryDevices.kif 990-993 |
If X is an instance of SMAW bunker buster, then 7.54 kilogram(s) is a weight of X |
(=>
(instance ?BGM71TOW BGM71TOW)
(weight ?BGM71TOW
(MeasureFn 18.9 Kilogram))) |
MilitaryDevices.kif 1012-1015 |
If X is an instance of BG m71TO w, then 18.9 kilogram(s) is a weight of X |
(=>
(instance ?AGM65 AGM65)
(and
(length ?AGM65
(MeasureFn 2.55 Meter))
(width ?AGM65
(MeasureFn 0.7 Meter))
(height ?AGM65
(MeasureFn 0.7 Meter))
(weight ?AGM65
(MeasureFn 302.0 Kilogram))
(effectiveRange ?AGM65
(MeasureFn 27.0 Kilometer)))) |
MilitaryDevices.kif 1312-1324 |
If X is an instance of AG m65, then the length of X is 2.55 meter(s), the width of X is 0.7 meter(s), the height of X is 0.7 meter(s), 302.0 kilogram(s) is a weight of X, and 27.0 kilometer(s) is an effective range of X |
(=>
(instance ?AIM9 AIM9)
(and
(length ?AIM9
(MeasureFn 2.85 Meter))
(width ?AIM9
(MeasureFn 0.63 Meter))
(height ?AIM9
(MeasureFn 0.63 Meter))
(weight ?AIM9
(MeasureFn 91.0 Kilogram))
(effectiveRange ?AIM9
(MeasureFn 18.0 Kilometer)))) |
MilitaryDevices.kif 1346-1358 |
If X is an instance of AI m9, then the length of X is 2.85 meter(s), the width of X is 0.63 meter(s), the height of X is 0.63 meter(s), 91.0 kilogram(s) is a weight of X, and 18.0 kilometer(s) is an effective range of X |
(=>
(instance ?AGM114 AGM114)
(and
(length ?AGM114
(MeasureFn 1.63 Meter))
(width ?AGM114
(MeasureFn 0.71 Meter))
(height ?AGM114
(MeasureFn 0.71 Meter))
(weight ?AGM114
(MeasureFn 45.0 Kilogram))
(effectiveRange ?AGM114
(MeasureFn 8.0 Kilometer)))) |
MilitaryDevices.kif 1392-1404 |
If X is an instance of AG m114, then the length of X is 1.63 meter(s), the width of X is 0.71 meter(s), the height of X is 0.71 meter(s), 45.0 kilogram(s) is a weight of X, and 8.0 kilometer(s) is an effective range of X |
(=>
(instance ?LAV LAV25)
(and
(length ?LAV
(MeasureFn 6.39 Meter))
(width ?LAV
(MeasureFn 2.5 Meter))
(height ?LAV
(MeasureFn 2.69 Meter))
(weight ?LAV
(MeasureFn 12802.8 Kilogram))
(effectiveRange ?LAV
(MeasureFn 660.1 Kilometer)))) |
MilitaryDevices.kif 1699-1711 |
If X is an instance of LAV25, then the length of X is 6.39 meter(s), the width of X is 2.5 meter(s), the height of X is 2.69 meter(s), 12802.8 kilogram(s) is a weight of X, and 660.1 kilometer(s) is an effective range of X |
(=>
(instance ?Harrier Harrier2)
(and
(length ?Harrier
(MeasureFn 14.1 Meter))
(width ?Harrier
(MeasureFn 9.2 Meter))
(height ?Harrier
(MeasureFn 3.5 Meter))
(weight ?Harrier
(MeasureFn 5700.0 Kilogram))
(effectiveRange ?Harrier
(MeasureFn 1000.0 Kilometer)))) |
MilitaryDevices.kif 1901-1913 |
If X is an instance of harrier2, then the length of X is 14.1 meter(s), the width of X is 9.2 meter(s), the height of X is 3.5 meter(s), 5700.0 kilogram(s) is a weight of X, and 1000.0 kilometer(s) is an effective range of X |
(=>
(instance ?CH53E CH53E)
(and
(length ?CH53E
(MeasureFn 30.2 Meter))
(width ?CH53E
(MeasureFn 24.1 Meter))
(height ?CH53E
(MeasureFn 8.46 Meter))
(weight ?CH53E
(MeasureFn 15071.0 Kilogram))
(effectiveRange ?CH53E
(MeasureFn 2000.0 Kilometer)))) |
MilitaryDevices.kif 1945-1957 |
If X is an instance of C h53 e, then the length of X is 30.2 meter(s), the width of X is 24.1 meter(s), the height of X is 8.46 meter(s), 15071.0 kilogram(s) is a weight of X, and 2000.0 kilometer(s) is an effective range of X |
(=>
(instance ?CH53E CH53E)
(and
(personTransportCapability ?CH53E 55)
(maximumPayloadCapacity ?CH53E
(MeasureFn 14515.0 Kilogram)))) |
MilitaryDevices.kif 1969-1974 |
If X is an instance of C h53 e, then 55 is a person transport capability of X and 14515.0 kilogram(s) is a maximum payload capacity of X |
(=>
(instance ?CH46D CH46D)
(and
(length ?CH46D
(MeasureFn 25.72 Meter))
(width ?CH46D
(MeasureFn 15.54 Meter))
(height ?CH46D
(MeasureFn 5.1 Meter))
(weight ?CH46D
(MeasureFn 7047.0 Kilogram))
(effectiveRange ?CH46D
(MeasureFn 676.0 Kilometer)))) |
MilitaryDevices.kif 2017-2029 |
If X is an instance of C h46 d, then the length of X is 25.72 meter(s), the width of X is 15.54 meter(s), the height of X is 5.1 meter(s), 7047.0 kilogram(s) is a weight of X, and 676.0 kilometer(s) is an effective range of X |
(=>
(instance ?CH46D CH46D)
(and
(personTransportCapability ?CH46D 25)
(maximumPayloadCapacity ?CH46D
(MeasureFn 3131.0 Kilogram)))) |
MilitaryDevices.kif 2039-2044 |
If X is an instance of C h46 d, then 25 is a person transport capability of X and 3131.0 kilogram(s) is a maximum payload capacity of X |
(=>
(instance ?AH1 AH1)
(and
(length ?AH1
(MeasureFn 17.68 Meter))
(width ?AH1
(MeasureFn 14.63 Meter))
(height ?AH1
(MeasureFn 4.44 Meter))
(weight ?AH1
(MeasureFn 4634.0 Kilogram))
(effectiveRange ?AH1
(MeasureFn 587.0 Kilometer)))) |
MilitaryDevices.kif 2057-2069 |
If X is an instance of A h1, then the length of X is 17.68 meter(s), the width of X is 14.63 meter(s), the height of X is 4.44 meter(s), 4634.0 kilogram(s) is a weight of X, and 587.0 kilometer(s) is an effective range of X |
(=>
(and
(instance ?T TwentyFtContainer)
(attribute ?T Dry))
(capacity ?T
(MeasureFn 21600 Kilogram))) |
Transportation.kif 2868-2873 |
If X is an instance of twenty foot container and dry is an attribute of X, then 21600 kilogram(s) is a capacity of X |
(=>
(instance ?T TwentyFtHeavyDutyContainer)
(hasPurpose ?T
(exists (?O ?X)
(and
(instance ?O Object)
(contains ?T ?O)
(measure ?O
(MeasureFn ?X Kilogram))
(greaterThan ?X 21600)
(lessThanOrEqualTo ?X 28080))))) |
Transportation.kif 2919-2929 |
If X is an instance of twenty foot heavy duty container, then X has the purpose there exist Y and Z such that Y is an instance of object and X contains Y and the measure of Y is Z kilogram(s) and Z is greater than 21600 and Z is less than or equal to 28080 |
(=>
(and
(instance ?T FortyFtContainer)
(attribute ?T Dry))
(capacity ?T
(MeasureFn 26480 Kilogram))) |
Transportation.kif 3006-3011 |
If X is an instance of forty foot container and dry is an attribute of X, then 26480 kilogram(s) is a capacity of X |
more pictures...