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 6137-6139
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6134-6134 domain MegaFn, 1 and UnitOfMeasure
(instance MegaFn UnitOfMeasureMultiplier) Merge.kif 6133-6133 instance MegaFn and UnitOfMeasureMultiplier
(range MegaFn UnitOfMeasure) Merge.kif 6135-6135 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 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 6141-6145

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


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