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

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

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

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

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

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

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

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

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

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

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

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