TreeView Knowledge Base Browser

appearance as argument number 1

(documentation SquareUnitFn EnglishLanguage "(SquareUnitFn ?UNIT) denotes the UnitOfMeasure that is the square of the UnitOfMeasure ?UNIT. For example, (SquareUnitFn (KiloFn Meter)) denotes the unit of a square kilometer.")	Geography.kif 3743-3746
(domain SquareUnitFn 1 UnitOfMeasure)	Geography.kif 3740-3740
(instance SquareUnitFn UnaryFunction)	Geography.kif 3739-3739
(range SquareUnitFn UnitOfMeasure)	Geography.kif 3741-3741

appearance as argument number 2

(format EnglishLanguage SquareUnitFn "the square unit of %1")	domainEnglishFormat.kif 591-591
(termFormat EnglishLanguage SquareUnitFn "square unit")	domainEnglishFormat.kif 9572-9572

antecedent

(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))

Geography.kif 3748-3752

statement

(equal SquareKilometer (SquareUnitFn (KiloFn Meter)))	Geography.kif 3755-3755
(equal SquareMeter (SquareUnitFn Meter))	Geography.kif 3754-3754