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 6147-6149
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6144-6144 The number 1 argument of mega is an instance of unit of measure
(instance MegaFn UnitOfMeasureMultiplier) Merge.kif 6143-6143 Mega is an instance of UnitOfMeasureMultiplier
(range MegaFn UnitOfMeasure) Merge.kif 6145-6145 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 36835-36835
(termFormat ChineseLanguage MegaFn "百万倍函数") chinese_format.kif 638-638
(termFormat ChineseTraditionalLanguage MegaFn "兆") domainEnglishFormat.kif 36834-36834
(termFormat EnglishLanguage MegaFn "mega") domainEnglishFormat.kif 36833-36833

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


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

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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners