SquareUnitFn - Sigma 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 ChineseLanguage SquareUnitFn "%1 的 square 单位")	domainEnglishFormat.kif 2331-2331
(format ChineseTraditionalLanguage SquareUnitFn "%1 的 square 單位")	domainEnglishFormat.kif 2330-2330
(format EnglishLanguage SquareUnitFn "the square unit of %1")	domainEnglishFormat.kif 2329-2329
(termFormat ChineseLanguage SquareUnitFn "方形单位")	domainEnglishFormat.kif 54829-54829
(termFormat ChineseTraditionalLanguage SquareUnitFn "方形單位")	domainEnglishFormat.kif 54828-54828
(termFormat EnglishLanguage SquareUnitFn "square unit")	domainEnglishFormat.kif 54827-54827

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