| appearance as argument number 1 |
|
| (documentation NanoFn ChineseLanguage "这是一个 UnaryFunction，它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000,000,000之一的 UnitOfMeasure 上。 例如： (MicroFn SecondDuration) 是 .000000001 SecondDurations。") | chinese_format.kif 2458-2460 | |
| (documentation NanoFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to .000000001 units of the original UnitOfMeasure. For example, (MicroFn SecondDuration) is .000000001 SecondDurations.") | Merge.kif 6565-6568 | |
| (documentation NanoFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の .000000001単位に等しい UnitOfMeasure に UnitOfMeasure をマップする。 例：(MF SD) は .000000000SD である。") | japanese_format.kif 1150-1152 | |
| (domain NanoFn 1 UnitOfMeasure) | Merge.kif 6562-6562 | |
| (instance NanoFn UnitOfMeasureMultiplier) | Merge.kif 6561-6561 | |
| (range NanoFn UnitOfMeasure) | Merge.kif 6563-6563 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage NanoFn "%1 的十亿分之一") | chinese_format.kif 647-647 | |
| (format EnglishLanguage NanoFn "one billionth of a %1") | english_format.kif 650-650 | |
| (format FrenchLanguage NanoFn "un billioni�me de %1") | french_format.kif 390-390 | |
| (format ItalianLanguage NanoFn "un miliardesimo di un %1") | relations-it.txt 198-198 | |
| (format JapaneseLanguage NanoFn "1 の billionth %1") | japanese_format.kif 2120-2120 | |
| (format PortugueseLanguage NanoFn "um bilhonesimo de %1") | portuguese_format.kif 342-342 | |
| (format de NanoFn "ein milliardstel einer %1") | relations-de.txt 845-845 | |
| (format hi NanoFn "%1 kaa eka arabavaan") | relations-hindi.txt 236-236 | |
| (format ro NanoFn "o billionth%t{bilionime} dintr-un(o) %1") | relations-ro.kif 412-412 | |
| (format sv NanoFn "en miljarddel av %1") | relations-sv.txt 433-433 | |
| (termFormat ChineseLanguage NanoFn "十亿分之一函数") | chinese_format.kif 648-648 | |
| (termFormat ChineseLanguage NanoFn "奈米") | domainEnglishFormat.kif 39723-39723 | |
| (termFormat ChineseTraditionalLanguage NanoFn "奈米") | domainEnglishFormat.kif 39722-39722 | |
| (termFormat EnglishLanguage NanoFn "nano") | domainEnglishFormat.kif 39721-39721 | |
| (termFormat de NanoFn "NanoFn") | terms-de.txt 252-252 |
| antecedent |
|
|
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?NANOUNIT (NanoFn ?UNIT))) (equal (MeasureFn 1 ?NANOUNIT) (MeasureFn 0.000000001 ?UNIT))) |
Merge.kif 6570-6574 |
|
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