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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TeraFn
TeraFn

appearance as argument number 1
-------------------------


(documentation TeraFn ChineseLanguage "这是一个 UnaryFunction,它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000,000,000,000倍的 UnitOfMeasure 上。 例如:(TeraFn Hertz) 是 1,000,000,000,000 Hertz.") chinese_format.kif 2449-2451
(documentation TeraFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to 1,000,000,000,000 units of the original UnitOfMeasure. For example, (TeraFn Hertz) is 1,000,000,000,000 Hertz.") Merge.kif 6514-6516
(documentation TeraFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の 1,000,000,000,000単位に等しい UnitOfMeasureUnitOfMeasure をマップする。 例: (TeraFn Hertz) は 1,000,000,000,000,000 Hertz である。") japanese_format.kif 1141-1143
(domain TeraFn 1 UnitOfMeasure) Merge.kif 6511-6511 The number 1 argument of tera is an instance of unit of measure
(instance TeraFn UnitOfMeasureMultiplier) Merge.kif 6510-6510 Tera is an instance of unit of measure multiplier
(range TeraFn UnitOfMeasure) Merge.kif 6512-6512 The range of tera is an instance of unit of measure

appearance as argument number 2
-------------------------


(format ChineseLanguage TeraFn "%1 的一万亿倍") chinese_format.kif 641-641
(format EnglishLanguage TeraFn "1 trillion %1s") english_format.kif 644-644
(format FrenchLanguage TeraFn "1 trillion %1s") french_format.kif 387-387
(format ItalianLanguage TeraFn "1 trilione %1s") relations-it.txt 297-297
(format JapaneseLanguage TeraFn "1 の trillion %1s") japanese_format.kif 2117-2117
(format PortugueseLanguage TeraFn "1 trilhao %1s") portuguese_format.kif 339-339
(format de TeraFn "1 trillion %1") relations-de.txt 837-837
(format hi TeraFn "dasa kharaba %1") relations-hindi.txt 333-333
(format ro TeraFn "1 trillion%t{trilion} de %1") relations-ro.kif 409-409
(format sv TeraFn "1 biljon %1s") relations-sv.txt 430-430
(format tg TeraFn "1 trilyon %1") relations-tg.txt 489-489
(termFormat ChineseLanguage TeraFn "TERA") domainEnglishFormat.kif 57514-57514
(termFormat ChineseLanguage TeraFn "一万亿倍函数") chinese_format.kif 642-642
(termFormat ChineseTraditionalLanguage TeraFn "TERA") domainEnglishFormat.kif 57513-57513
(termFormat EnglishLanguage TeraFn "tera") domainEnglishFormat.kif 57512-57512

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


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))
Merge.kif 6518-6522


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