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 6556-6559
(documentation NanoFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の .000000001単位に等しい UnitOfMeasure に UnitOfMeasure をマップする。 例：(MF SD) は .000000000SD である。") japanese_format.kif 1150-1152
(domain NanoFn 1 UnitOfMeasure) Merge.kif 6553-6553 The number 1 argument of nano is an instance of unit of measure
(instance NanoFn UnitOfMeasureMultiplier) Merge.kif 6552-6552 Nano is an instance of unit of measure multiplier
(range NanoFn UnitOfMeasure) Merge.kif 6554-6554 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 39731-39731
(termFormat ChineseTraditionalLanguage NanoFn "奈米") domainEnglishFormat.kif 39730-39730
(termFormat EnglishLanguage NanoFn "nano") domainEnglishFormat.kif 39729-39729

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


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


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