SquareKilometer - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SquareKilometer EnglishLanguage "SquareKilometer represents a UnitOfMeasure equal to one square kilometer.")	Geography.kif 621-622
(equal SquareKilometer (SquareUnitFn (KiloFn Meter)))	Geography.kif 3768-3768	Square kilometer is equal to the square unit of 1 thousand meters
(instance SquareKilometer UnitOfArea)	Geography.kif 620-620	Square kilometer is an instance of UnitOfArea

appearance as argument number 2

(termFormat ChineseLanguage SquareKilometer "平方千米")	domainEnglishFormat.kif 54763-54763
(termFormat ChineseTraditionalLanguage SquareKilometer "平方千米")	domainEnglishFormat.kif 54762-54762
(termFormat EnglishLanguage SquareKilometer "square kilometer")	domainEnglishFormat.kif 54761-54761

consequent

(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM SquareKilometer)
        (MeasureFn
            (MultiplicationFn ?NUM 1000000) SquareMeter)))

Geography.kif 627-630

statement

(equal (MeasureFn 1 SquareKilometer) (MultiplicationFn (MeasureFn 1 (KiloFn Meter)) (MeasureFn 1 (KiloFn Meter))))	Geography.kif 624-625	1 Square kilometer(s) is equal to 1 1 thousand meters(s) and 1 1 thousand meters(s)
(totalArea SouthernOcean (MeasureFn 20327000 SquareKilometer))	Geography.kif 4389-4389	20327000 Square kilometer(s) is a total area of southern ocean