(<=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?AMOUNT
(MeasureFn 1
(SquareUnitFn ?UNIT))))
(equal ?AMOUNT
(MultiplicationFn
(MeasureFn 1 ?UNIT)
(MeasureFn 1 ?UNIT)))) 
Geography.kif 38043808 
An unit of measure is an instance of unit of measure and a number is equal to 1 the square unit of the unit of measure(s) if and only if the number is equal to 1 the unit of measure(s) and 1 the unit of measure(s) 
(=>
(and
(attribute ?FOOD1 FamilyStylePortion)
(measure ?FOOD1
(MeasureFn ?MEAS1 ?U))
(not
(attribute ?FOOD2 FamilyStylePortion))
(measure ?FOOD2
(MeasureFn ?MEAS2 ?U))
(instance ?FOOD1 ?CLASS)
(instance ?FOOD2 ?CLASS)
(instance ?U UnitOfMeasure))
(greaterThan ?MEAS1 ?MEAS2)) 
Dining.kif 11181129 

(=>
(and
(instance ?EC EngineChoke)
(holdsDuring ?FSC1
(attribute ?EC DeviceOn))
(holdsDuring ?FSC2
(attribute ?EC DeviceOff))
(instance ?C EngineCylinder)
(capacity ?C ?M)
(instance ?FSC1 FourStrokeCompression)
(instance ?FSC2 FourStrokeCompression)
(eventLocated ?FSC1 ?C)
(eventLocated ?FSC2 ?C)
(instance ?A1 Air)
(instance ?F1 Fuel)
(part ?A1 ?MIX1)
(part ?F1 ?MIX1)
(measure ?MIX1 ?M)
(instance ?A2 Air)
(instance ?F2 Fuel)
(part ?A2 ?MIX2)
(part ?F2 ?MIX2)
(measure ?MIX2 ?M)
(instance ?U UnitOfMeasure)
(measure ?A1
(MeasureFn ?A1M ?U))
(measure ?A2
(MeasureFn ?A2M ?U))
(measure ?F1
(MeasureFn ?F1M ?U))
(measure ?F2
(MeasureFn ?F2M ?U)))
(greaterThan
(DivisionFn ?A2M ?F2M)
(DivisionFn ?A1M ?F1M))) 
Cars.kif 13141348 

(=>
(and
(instance ?H Hurricane)
(instance ?SS SSHWSAttribute)
(eventLocated ?H ?AREA)
(believes ?A
(property ?H ?SS))
(speedScaleAttributeMinMax ?SS
(MeasureFn ?MIN ?U)
(MeasureFn ?MAX ?U))
(instance ?U UnitOfMeasure))
(exists (?WIND)
(and
(greaterThanOrEqualTo ?WIND ?MIN)
(lessThanOrEqualTo ?WIND ?MAX)
(believes ?A
(equal
(MeasureFn ?WIND ?U)
(Mean1MinuteWindSpeedFn ?AREA
(WhenFn ?H))))))) 
Weather.kif 23582377 

(=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?GIGAUNIT
(GigaFn ?UNIT)))
(equal
(MeasureFn 1 ?GIGAUNIT)
(MeasureFn 1000000
(KiloFn ?UNIT)))) 
Merge.kif 62426246 

(=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?KILOUNIT
(KiloFn ?UNIT)))
(equal
(MeasureFn 1 ?KILOUNIT)
(MeasureFn 1000 ?UNIT))) 
Merge.kif 62146218 

(=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?MEGAUNIT
(MegaFn ?UNIT)))
(equal
(MeasureFn 1 ?MEGAUNIT)
(MeasureFn 1000000 ?UNIT))) 
Merge.kif 62286232 

(=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?MICROUNIT
(MicroFn ?UNIT)))
(equal
(MeasureFn 1 ?MICROUNIT)
(MeasureFn 0.000001 ?UNIT))) 
Merge.kif 62846288 

(=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?MILLIUNIT
(MilliFn ?UNIT)))
(equal
(MeasureFn 1 ?MILLIUNIT)
(MeasureFn 0.001 ?UNIT))) 
Merge.kif 62706274 

(=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?NANOUNIT
(NanoFn ?UNIT)))
(equal
(MeasureFn 1 ?NANOUNIT)
(MeasureFn 0.000000001 ?UNIT))) 
Merge.kif 62996303 

(=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?PICOUNIT
(PicoFn ?UNIT)))
(equal
(MeasureFn 1 ?PICOUNIT)
(MeasureFn 0.000000000001 ?UNIT))) 
Merge.kif 63146318 

(=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?QUANT
(MeasureFn ?NUMBER ?UNIT)))
(equal
(MagnitudeFn ?QUANT) ?NUMBER)) 
Merge.kif 63626366 

(=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?QUANT
(MeasureFn ?NUMBER ?UNIT)))
(equal
(UnitFn ?QUANT) ?UNIT)) 
Merge.kif 63796383 

(=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?TERAUNIT
(TeraFn ?UNIT)))
(equal
(MeasureFn 1 ?TERAUNIT)
(MeasureFn 1000000000
(KiloFn ?UNIT)))) 
Merge.kif 62566260 

(=>
(and
(instance ?W Wind)
(instance ?BN BeaufortNumberAttribute)
(eventLocated ?W ?AREA)
(believes ?A
(property ?W ?BN))
(speedScaleAttributeMinMax ?BN
(MeasureFn ?MIN ?U)
(MeasureFn ?MAX ?U))
(instance ?U UnitOfMeasure))
(exists (?SPEED)
(and
(greaterThanOrEqualTo ?SPEED ?MIN)
(lessThanOrEqualTo ?SPEED ?MAX)
(believes ?A
(surfaceWindSpeed ?AREA
(MeasureFn ?SPEED ?U)))))) 
Weather.kif 349366 

(=>
(and
(orientation ?OBJ ?REGION Outside)
(instance ?ZONE
(PerimeterAreaFn ?REGION))
(instance ?ZONE UniformPerimeterArea)
(width ?ZONE
(MeasureFn ?LIMIT ?UNIT))
(distance ?OBJ ?REGION
(MeasureFn ?FAR ?UNIT))
(instance ?UNIT UnitOfMeasure)
(greaterThan
(SubtractionFn ?FAR ?LIMIT) 0))
(not
(located ?OBJ ?ZONE))) 
Geography.kif 862871 

(=>
(and
(orientation ?OBJ ?REGION Outside)
(instance ?ZONE
(PerimeterAreaFn ?REGION))
(instance ?ZONE UniformPerimeterArea)
(width ?ZONE
(MeasureFn ?LIMIT ?UNIT))
(distance ?OBJ ?REGION
(MeasureFn ?FAR ?UNIT))
(instance ?UNIT UnitOfMeasure)
(lessThanOrEqualTo
(SubtractionFn ?FAR ?LIMIT) 0))
(located ?OBJ ?ZONE)) 
Geography.kif 851860 

(=>
(and
(speedScaleAttributeMinMax ?ATTR
(MeasureFn ?MIN ?U)
(MeasureFn ?MAX ?U))
(instance ?U UnitOfMeasure))
(exists (?X ?SPEED)
(and
(instance ?X Motion)
(property ?X ?ATTR)
(measure ?X
(MeasureFn ?SPEED ?U))
(greaterThanOrEqualTo ?SPEED ?MIN)
(lessThanOrEqualTo ?SPEED ?MAX)))) 
Weather.kif 21232136 

(=>
(and
(visibilityInMeteorology ?Area ?Time
(MeasureFn ?Distance ?U))
(instance ?U UnitOfMeasure)
(instance ?Time DayTime)
(instance ?Observe Looking)
(instance ?B Object)
(color ?B Black)
(agent ?Observe ?A)
(patient ?Observe ?B)
(orientation ?A ?B Horizontal)
(eventLocated ?Observe ?Area)
(during
(WhenFn ?Observe) ?Time)
(instance ?B Object))
(exists (?D2)
(and
(distance ?A ?B
(MeasureFn ?D2 ?U))
(greaterThan ?Distance ?D2)))) 
Weather.kif 27212741 

(=>
(and
(visibilityInMeteorology ?Area ?Time
(MeasureFn ?Distance ?U))
(instance ?U UnitOfMeasure)
(instance ?Time NightTime)
(instance ?Observe Looking)
(instance ?B Region)
(attribute ?B Illuminated)
(measure ?B
(MeasureFn 1000 Candela))
(agent ?Observe ?A)
(patient ?Observe ?B)
(orientation ?A ?B Horizontal)
(eventLocated ?Observe ?Area)
(during
(WhenFn ?Observe) ?Time)
(instance ?B Object))
(exists (?D2)
(and
(distance ?A ?B
(MeasureFn ?D2 ?U))
(greaterThan ?Distance ?D2)))) 
Weather.kif 27432764 

(=>
(and
(visibilityInMeteorology ?Area ?Time
(MeasureFn ?Distance ?U))
(instance ?U UnitOfMeasure))
(not
(exists (?Observe ?A ?B ?D2)
(and
(instance ?Observe Looking)
(agent ?Observe ?A)
(patient ?Observe ?B)
(orientation ?A ?B Horizontal)
(during
(WhenFn ?Observe) ?Time)
(eventLocated ?Observe ?Area)
(distance ?A ?B
(MeasureFn ?D2 ?U))
(greaterThan ?D2 ?Distance))))) 
Weather.kif 27022719 
