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

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 39693-39693
(termFormat ChineseTraditionalLanguage NanoFn "奈米") domainEnglishFormat.kif 39692-39692
(termFormat EnglishLanguage NanoFn "nano") domainEnglishFormat.kif 39691-39691

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


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


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