SquareUnitFn |
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 3756-3759 | |
(domain SquareUnitFn 1 UnitOfMeasure) | Geography.kif 3753-3753 | |
(instance SquareUnitFn UnaryFunction) | Geography.kif 3752-3752 | |
(range SquareUnitFn UnitOfMeasure) | Geography.kif 3754-3754 |
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 3761-3765 |
statement |
![]() |
(equal SquareKilometer (SquareUnitFn (KiloFn Meter))) |
Geography.kif 3768-3768 | |
(equal SquareMeter (SquareUnitFn Meter)) |
Geography.kif 3767-3767 |
![]() |
![]() |