| appearance as argument number 1 |
|
| (documentation MegaFn ChineseLanguage "这是一个 UnaryFunction，它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000,000倍的 UnitOfMeasure 上。 例如：(MegaFn Hertz)是 1,000,000 Hertz。") | chinese_format.kif 2443-2445 | |
| (documentation MegaFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to 1,000,000 units of the original UnitOfMeasure. For example, (MegaFn Hertz) is 1,000,000 Hertz.") | Merge.kif 6170-6172 | |
| (domain MegaFn 1 UnitOfMeasure) | Merge.kif 6167-6167 | The number 1 argument of mega is an instance of unit of measure |
| (instance MegaFn UnitOfMeasureMultiplier) | Merge.kif 6166-6166 | Mega is an instance of UnitOfMeasureMultiplier |
| (range MegaFn UnitOfMeasure) | Merge.kif 6168-6168 | The range of mega is an instance of unit of measure |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage MegaFn "%1 的一百万倍") | chinese_format.kif 637-637 | |
| (format EnglishLanguage MegaFn "1 million %1s") | english_format.kif 643-643 | |
| (termFormat ChineseLanguage MegaFn "兆") | domainEnglishFormat.kif 36856-36856 | |
| (termFormat ChineseLanguage MegaFn "百万倍函数") | chinese_format.kif 638-638 | |
| (termFormat ChineseTraditionalLanguage MegaFn "兆") | domainEnglishFormat.kif 36855-36855 | |
| (termFormat EnglishLanguage MegaFn "mega") | domainEnglishFormat.kif 36854-36854 |
| antecedent |
|
|
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MEGAUNIT (MegaFn ?UNIT))) (equal (MeasureFn 1 ?MEGAUNIT) (MeasureFn 1000000 ?UNIT))) |
Merge.kif 6174-6178 |
|
| statement |
|
|
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2012-2012 | 1 Kilowatt hour(s) is equal to 3.6 1 million joules(s) |
|
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