| appearance as argument number 1 |
|
| (documentation SquareUnitFn EnglishLanguage "(square unit ?UNIT) denotes the unit of measure that is the square of the unit of measure ?UNIT. For example, (square unit (kilo meter)) denotes the unit of a square kilometer.") | Geography.kif 3679-3682 | |
| (domain SquareUnitFn 1 UnitOfMeasure) | Geography.kif 3676-3676 | The number 1 argument of square unit is an instance of unit of measure |
| (instance SquareUnitFn UnaryFunction) | Geography.kif 3675-3675 | Square unit is an instance of unary function |
| (range SquareUnitFn UnitOfMeasure) | Geography.kif 3677-3677 | The range of square unit is an instance of unit of measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage SquareUnitFn "the square unit of %1") | domainEnglishFormat.kif 595-595 | |
| (termFormat EnglishLanguage SquareUnitFn "square unit") | domainEnglishFormat.kif 8929-8929 | term format english language, square unit and "square unit" |
| antecedent |
|
|
| (<=> (and (instance ?UNIT UnitOfMeasure) (equal ?AMOUNT (MeasureFn 1 (SquareUnitFn ?UNIT)))) (equal ?AMOUNT (MultiplicationFn (MeasureFn 1 ?UNIT) (MeasureFn 1 ?UNIT)))) |
Geography.kif 3684-3688 | An unit of measure is an instance of unit of measure and a physical quantity is equal to 1 the square unit of unit of measure(s) if and only if physical quantity is equal to 1 unit of measure(s) and 1 unit of measure(s) |
| statement |
|
|
| (equal SquareKilometer (SquareUnitFn (KiloFn Meter))) |
Geography.kif 3691-3691 | Square kilometer is equal to the square unit of 1 thousand meters |
| (equal SquareMeter (SquareUnitFn Meter)) |
Geography.kif 3690-3690 | Square meter is equal to the square unit of meter |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners