(<=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?AMOUNT
(MeasureFn 1
(SquareUnitFn ?UNIT))))
(equal ?AMOUNT
(MultiplicationFn
(MeasureFn 1 ?UNIT)
(MeasureFn 1 ?UNIT)))) 
Geography.kif 37613765 
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
(instance ?UNIT UnitOfMeasure)
(equal ?GIGAUNIT
(GigaFn ?UNIT)))
(equal
(MeasureFn 1 ?GIGAUNIT)
(MeasureFn 1000000
(KiloFn ?UNIT)))) 
Merge.kif 61986202 

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

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

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

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

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

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

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

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

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

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