| appearance as argument number 1 |
|
| (documentation SquareMeter EnglishLanguage "SquareMeter represents a UnitOfMeasure equal to one square Meter.") | Geography.kif 3876-3877 | |
| (equal SquareMeter (SquareUnitFn Meter)) |
Geography.kif 3894-3894 | |
| (instance SquareMeter UnitOfArea) | Geography.kif 3875-3875 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SquareMeter "平方米") | domainEnglishFormat.kif 54855-54855 | |
| (termFormat ChineseTraditionalLanguage SquareMeter "平方米") | domainEnglishFormat.kif 54854-54854 | |
| (termFormat EnglishLanguage SquareMeter "square meter") | domainEnglishFormat.kif 54853-54853 |
| consequent |
|
|
| (=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM SquareKilometer) (MeasureFn (MultiplicationFn ?NUM 1000000.0) SquareMeter))) |
Geography.kif 632-638 |
|
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 3.0 is open source software produced by Articulate Software and its partners