(=>
(and
(equal
(MeasureFn ?Y McgPerKg)
(PerFn ?M1 ?M2))
(equal ?M1
(MeasureFn ?NUM1
(MicroFn Gram)))
(equal ?M2
(MeasureFn ?NUM2
(KiloFn Gram))))
(exists (?I ?B ?A)
(and
(instance ?I Ingesting)
(instance ?B BiologicallyActiveSubstance)
(instance ?A Organism)
(patient ?I ?B)
(agent ?I ?A)
(weight ?B ?M1)
(weight ?A ?M2)))) 
WMD.kif 818835 

(=>
(instance ?AAV AAV)
(and
(length ?AAV
(MeasureFn 7.94 Meter))
(width ?AAV
(MeasureFn 3.27 Meter))
(weight ?AAV
(MeasureFn 22.8 TonMass))
(height ?AAV
(MeasureFn 3.26 Meter))
(effectiveRange ?AAV
(MeasureFn 480 Kilometer)))) 
MilitaryDevices.kif 16621674 

(=>
(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 Kilogram))
(effectiveRange ?AGM114
(MeasureFn 8 Kilometer)))) 
MilitaryDevices.kif 12351247 

(=>
(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 Kilogram))
(effectiveRange ?AGM65
(MeasureFn 27 Kilometer)))) 
MilitaryDevices.kif 11551167 

(=>
(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 Kilogram))
(effectiveRange ?AH1
(MeasureFn 587 Kilometer)))) 
MilitaryDevices.kif 19001912 

(=>
(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 Kilogram))
(effectiveRange ?AIM9
(MeasureFn 18 Kilometer)))) 
MilitaryDevices.kif 11891201 

(=>
(instance ?BGM71TOW BGM71TOW)
(weight ?BGM71TOW
(MeasureFn 18.9 Kilogram))) 
MilitaryDevices.kif 855858 

(=>
(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 Kilogram))
(effectiveRange ?CH46D
(MeasureFn 676 Kilometer)))) 
MilitaryDevices.kif 18601872 

(=>
(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 Kilogram))
(effectiveRange ?CH53E
(MeasureFn 2000 Kilometer)))) 
MilitaryDevices.kif 17881800 

(=>
(instance ?DragonWeapon DragonWeapon)
(weight ?DragonWeapon
(MeasureFn 33.9 PoundMass))) 
MilitaryDevices.kif 707710 

(=>
(instance ?GAU12U GAU12U)
(weight ?GAU12U
(MeasureFn 122 Kilogram))) 
MilitaryDevices.kif 321324 

(=>
(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 Kilogram))
(effectiveRange ?Harrier
(MeasureFn 1000 Kilometer)))) 
MilitaryDevices.kif 17441756 

(=>
(instance ?JavelinWeapon JavelinWeapon)
(weight ?JavelinWeapon
(MeasureFn 49.5 PoundMass))) 
MilitaryDevices.kif 766769 

(=>
(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 15421554 

(=>
(instance ?M240 M240)
(weight ?M240
(MeasureFn 12.5 Kilogram))) 
MilitaryDevices.kif 398401 

(=>
(instance ?M242 M242)
(weight ?M242
(MeasureFn 110 Kilogram))) 
MilitaryDevices.kif 294297 

(=>
(instance ?M2Browning M2Browning)
(weight ?M2Browning
(MeasureFn 38 Kilogram))) 
MilitaryDevices.kif 502505 

(=>
(instance ?M3M M3M)
(weight ?M3M
(MeasureFn 35.8 Kilogram))) 
MilitaryDevices.kif 579582 

(=>
(instance ?M60 M60)
(weight ?M60
(MeasureFn 10.5 Kilogram))) 
MilitaryDevices.kif 438441 

(=>
(instance ?MK19 MK19)
(weight ?MK19
(MeasureFn 33 Kilogram))) 
MilitaryDevices.kif 641644 

(=>
(instance ?SMAWBunkerBuster SMAWBunkerBuster)
(weight ?SMAWBunkerBuster
(MeasureFn 7.54 Kilogram))) 
MilitaryDevices.kif 833836 

(=>
(instance ?XM218 XM218)
(weight ?XM218
(MeasureFn 27 Kilogram))) 
MilitaryDevices.kif 536539 

(=>
(maximumPayloadCapacity ?V
(MeasureFn ?LOAD ?UNITLOAD))
(not
(exists (?TP ?O)
(and
(instance ?TP Transportation)
(instrument ?TP ?V)
(patient ?TP ?O)
(weight ?O
(MeasureFn ?WO ?WOU))
(equal ?WOU ?UNITLOAD)
(greaterThan ?WO ?LOAD))))) 
MilitaryDevices.kif 92104 
