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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MegaFn

Sigma KEE - MegaFn
MegaFn

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


(documentation MegaFn ChineseLanguage "这是一个 UnaryFunction,它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000,000倍的 UnitOfMeasure 上。 例如:(MegaFn Hertz)是 1,000,000 Hertz。") chinese_format.kif 2443-2445
(documentation MegaFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to 1,000,000 units of the original UnitOfMeasure. For example, (MegaFn Hertz) is 1,000,000 Hertz.") Merge.kif 6485-6487
(documentation MegaFn JapaneseLanguage "UnaryFunctionは、元の UnitOfMeasure の 1,000,000 単位に等しい UnitOfMeasureUnitOfMeasure をマップする。 例:(MegaFn Hertz) は 1,000,000 Hertz である。") japanese_format.kif 1135-1137
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6482-6482 The number 1 argument of mega is an instance of unit of measure
(instance MegaFn UnitOfMeasureMultiplier) Merge.kif 6481-6481 Mega is an instance of unit of measure multiplier
(range MegaFn UnitOfMeasure) Merge.kif 6483-6483 The range of mega is an instance of unit of measure

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


(format ChineseLanguage MegaFn "%1 的一百万倍") chinese_format.kif 637-637
(format EnglishLanguage MegaFn "1 million %1s") english_format.kif 640-640
(format FrenchLanguage MegaFn "1 million %1s") french_format.kif 385-385
(format ItalianLanguage MegaFn "1 milione %1s") relations-it.txt 181-181
(format JapaneseLanguage MegaFn "1 の million %1s") japanese_format.kif 2115-2115
(format PortugueseLanguage MegaFn "1 milhao %1s") portuguese_format.kif 337-337
(format de MegaFn "1 million %1") relations-de.txt 833-833
(format hi MegaFn "dasa laakha %1") relations-hindi.txt 219-219
(format ro MegaFn "1 million%t{milion} de %1") relations-ro.kif 407-407
(format sv MegaFn "1 miljon %1s") relations-sv.txt 428-428
(format tg MegaFn "1 milyon ang mga %1") relations-tg.txt 357-357
(termFormat ChineseLanguage MegaFn "兆") domainEnglishFormat.kif 36935-36935
(termFormat ChineseLanguage MegaFn "百万倍函数") chinese_format.kif 638-638
(termFormat ChineseTraditionalLanguage MegaFn "兆") domainEnglishFormat.kif 36934-36934
(termFormat EnglishLanguage MegaFn "mega") domainEnglishFormat.kif 36933-36933

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


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))
Merge.kif 6489-6493

statement
-------------------------


(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))
Economy.kif 2008-2008 1 Kilowatt hour(s) is equal to 3.6 1 million joules(s)


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