| 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 | domain SquareUnitFn, 1 and UnitOfMeasure |
| (instance SquareUnitFn UnaryFunction) | Geography.kif 3752-3752 | instance SquareUnitFn and UnaryFunction |
| (range SquareUnitFn UnitOfMeasure) | Geography.kif 3754-3754 | range SquareUnitFn and UnitOfMeasure |
| 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 54787-54787 | |
| (termFormat ChineseTraditionalLanguage SquareUnitFn "方形單位") | domainEnglishFormat.kif 54786-54786 | |
| (termFormat EnglishLanguage SquareUnitFn "square unit") | domainEnglishFormat.kif 54785-54785 |
| antecedent |
|
|
| (<=> (and (instance ?UNIT UnitOfMeasure) (equal ?AMOUNT (MeasureFn 1 (SquareUnitFn ?UNIT)))) (equal ?AMOUNT (MultiplicationFn (MeasureFn 1 ?UNIT) (MeasureFn 1 ?UNIT)))) |
Geography.kif 3761-3765 | instance UnitOfMeasure and UnitOfMeasure equal PhysicalQuantity and MeasureFn 1 and SquareUnitFn UnitOfMeasure equal PhysicalQuantity and MultiplicationFn MeasureFn 1 and UnitOfMeasure and MeasureFn 1 and UnitOfMeasure |
| statement |
|
|
| (equal SquareKilometer (SquareUnitFn (KiloFn Meter))) |
Geography.kif 3768-3768 | equal SquareKilometer and SquareUnitFn KiloFn Meter |
| (equal SquareMeter (SquareUnitFn Meter)) |
Geography.kif 3767-3767 | equal SquareMeter and SquareUnitFn Meter |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners