(=>
(and
(instance ?R RadiatingElectromagnetic)
(carrierFrequency ?R
(MeasureFn ?HZ Hertz))
(wavelength ?R
(MeasureFn ?L Meter)))
(equal
(MeasureFn ?L Meter)
(MeasureFn
(DivisionFn 299792458 ?HZ) Meter))) |
ComputingBrands.kif 1570-1577 |
If X is an instance of radiating electromagnetic, the frequency of the carrier of X is Y hertz(s), and the wavelength of X is Z meter(s), then equal Z meter(s) and 299792458 and Y meter(s) |
(=>
(climateTypeInArea ?AREA WetTropicalClimateZone)
(forall (?MO ?AMOUNT)
(and
(instance ?MO Month)
(averageRainfallForPeriod ?AREA ?MO
(MeasureFn ?AMOUNT
(MilliFn Meter)))
(greaterThanOrEqualTo ?AMOUNT 60.0)))) |
Geography.kif 2786-2793 |
If wet tropical climate zone is a climate type in area of X, then For all Month Y and RealNumber Z: X average rainfall for period Y for Z one thousandth of a meter(s) and Z is greater than or equal to 60.0 |
(=>
(equal ?AMOUNT
(MeasureFn ?NUM NauticalMile))
(equal ?AMOUNT
(MeasureFn
(MultiplicationFn ?NUM 1.852)
(KiloFn Meter)))) |
Geography.kif 5433-5439 |
If equal X and Y nautical mile(s), then equal X and Y and 1.852 1 thousand meters(s) |
(=>
(equal ?NUM
(MultiplicationFn 1.0 ?NUM))
(equal
(MeasureFn ?NUM NauticalMile)
(MeasureFn
(MultiplicationFn ?NUM 1852.0) Meter))) |
Geography.kif 5449-5456 |
If equal X, 1.0, and X, then equal X nautical mile(s) and X and 1852.0 meter(s) |
(=>
(equal ?NUM
(MultiplicationFn 1.0 ?NUM))
(equal
(MeasureFn ?NUM NauticalMile)
(MeasureFn
(MultiplicationFn ?NUM 1.852)
(KiloFn Meter)))) |
Geography.kif 5458-5465 |
If equal X, 1.0, and X, then equal X nautical mile(s) and X and 1.852 1 thousand meters(s) |
(=>
(and
(origin AntarcticCircumpolarCurrent ?START)
(destination AntarcticCircumpolarCurrent ?FINISH))
(distance ?START ?FINISH
(MeasureFn 21000.0
(KiloFn Meter)))) |
Geography.kif 6255-6261 |
If antarctic circumpolar current originates at X and antarctic circumpolar current ends up at Y, then the distance between X and Y is 21000.0 1 thousand meters(s) |
(=>
(and
(instance ?SEA Sea)
(top ?TOP ?SEA))
(altitude ?TOP SeaLevel
(MeasureFn 0.0 Meter))) |
Geography.kif 6323-6328 |
If X is an instance of sea and the top of X is Y, then the altitude of Y relative to sea level is 0.0 meter(s) |
(=>
(and
(instance ?ocean Ocean)
(surface ?top ?ocean))
(elevation ?top
(MeasureFn 0.0 Meter))) |
Geography.kif 6402-6407 |
If X is an instance of ocean and Y is a surface of X, then 0.0 meter(s) is an elevation of Y |
(=>
(instance ?X KingBed)
(and
(width ?X
(MeasureFn 1.9 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4244-4248 |
If X is an instance of king-sized bed, then the width of X is 1.9 meter(s) and the length of X is 2.0 meter(s) |
(=>
(instance ?X QueenBed)
(and
(width ?X
(MeasureFn 1.5 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4275-4279 |
If X is an instance of queen-sized bed, then the width of X is 1.5 meter(s) and the length of X is 2.0 meter(s) |
(=>
(instance ?X DoubleBed)
(and
(width ?X
(MeasureFn 1.35 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4301-4305 |
If X is an instance of full-sized bed, then the width of X is 1.35 meter(s) and the length of X is 2.0 meter(s) |
(=>
(instance ?X SingleBed)
(and
(width ?X
(MeasureFn 1.0 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4327-4331 |
If X is an instance of twin-sized bed, then the width of X is 1.0 meter(s) and the length of X is 2.0 meter(s) |
(=>
(equal ?NUMBER
(MultiplicationFn 1.0 ?NUMBER))
(equal
(MeasureFn ?NUMBER Nanometer)
(MeasureFn
(MultiplicationFn ?NUMBER 0.000000001) Meter))) |
Mid-level-ontology.kif 20994-21000 |
If equal X, 1.0, and X, then equal X nanometer(s) and X and 0.000000001 meter(s) |
(=>
(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 ?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.0 Kilometer)))) |
MilitaryDevices.kif 1819-1831 |
If X is an instance of Amphibious Assault Vehicle, then the length of X is 7.94 meter(s), the width of X is 3.27 meter(s), 22.8 ton mass(s) is a weight of X, the height of X is 3.26 meter(s), and 480.0 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 ?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 ?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 |
(=>
(instance ?HARBOR DeepDraftHarbor)
(navigableForDraft ?HARBOR
(MeasureFn 13.7 Meter))) |
Transportation.kif 900-902 |
If X is an instance of deep draft harbor, then 13.7 meter(s) is a navigable for draft of X |
(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT VeryShortRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(lessThan ?LENGTH 914)))) |
Transportation.kif 1536-1545 |
If X is an instance of airport and very short runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is less than 914 |
(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT ShortRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(or
(greaterThanOrEqualTo ?LENGTH 914)
(lessThanOrEqualTo ?LENGTH 1523))))) |
Transportation.kif 1552-1564 |
If X is an instance of airport and short runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is greater than or equal to 914 or Z is less than or equal to 1523 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
