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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NanoFn

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 The number 1 argument of nano is an instance of unit of measure
(instance NanoFn UnitOfMeasureMultiplier) Merge.kif 6551-6551 Nano is an instance of unit of measure multiplier
(range NanoFn UnitOfMeasure) Merge.kif 6553-6553 The range of nano is an instance of unit of measure

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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