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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 domain MegaFn, 1 and UnitOfMeasure
(instance MegaFn UnitOfMeasureMultiplier) Merge.kif 6166-6166 instance MegaFn and UnitOfMeasureMultiplier
(range MegaFn UnitOfMeasure) Merge.kif 6168-6168 range MegaFn and UnitOfMeasure

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


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


    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))
Economy.kif 2012-2012 equal MeasureFn 1 and KilowattHour and MeasureFn 3.6 and MegaFn Joule

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