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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 6170-6172
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6167-6167 The number 1 argument of mega is an instance of unit of measure
(instance MegaFn UnitOfMeasureMultiplier) Merge.kif 6166-6166 Mega is an instance of UnitOfMeasureMultiplier
(range MegaFn UnitOfMeasure) Merge.kif 6168-6168 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 643-643
(termFormat ChineseLanguage MegaFn "兆") domainEnglishFormat.kif 36856-36856
(termFormat ChineseLanguage MegaFn "百万倍函数") chinese_format.kif 638-638
(termFormat ChineseTraditionalLanguage MegaFn "兆") domainEnglishFormat.kif 36855-36855
(termFormat EnglishLanguage MegaFn "mega") domainEnglishFormat.kif 36854-36854

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


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

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


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


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