Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NanoFn
NanoFn

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 6541-6544
(documentation NanoFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の .000000001単位に等しい UnitOfMeasureUnitOfMeasure をマップする。 例:(MF SD) は .000000000SD である。") japanese_format.kif 1150-1152
(domain NanoFn 1 UnitOfMeasure) Merge.kif 6538-6538
(instance NanoFn UnitOfMeasureMultiplier) Merge.kif 6537-6537
(range NanoFn UnitOfMeasure) Merge.kif 6539-6539

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 39705-39705
(termFormat ChineseTraditionalLanguage NanoFn "奈米") domainEnglishFormat.kif 39704-39704
(termFormat EnglishLanguage NanoFn "nano") domainEnglishFormat.kif 39703-39703

antecedent
-------------------------


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))
Merge.kif 6546-6550


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