|
|
  SquareMeter
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SquareMeter EnglishLanguage "SquareMeter represents a UnitOfMeasure equal to one square Meter.") | Geography.kif 3733-3734 | |
| (equal SquareMeter (SquareUnitFn Meter)) |
Geography.kif 3754-3754 | |
| (instance SquareMeter UnitOfArea) | Geography.kif 3732-3732 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SquareMeter "square meter") | domainEnglishFormat.kif 9573-9573 |
| consequent |
|
|
| (=> (equal ?NUM (MultiplicationFn 1 ?NUM)) (equal (MeasureFn ?NUM SquareKilometer) (MeasureFn (MultiplicationFn ?NUM 1000000) SquareMeter))) |
Geography.kif 624-627 |
| statement |
|
|
| (equal (MeasureFn 1 SquareMeter) (MultiplicationFn (MeasureFn 1 Meter) (MeasureFn 1 Meter))) |
Geography.kif 3736-3737 |
|
|
|