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。") Merge.kif 6636-6638
(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 6633-6635
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6631-6631
(instance MegaFn UnitOfMeasureMultiplier) Merge.kif 6630-6630
(range MegaFn UnitOfMeasure) Merge.kif 6632-6632

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


(format ChineseLanguage MegaFn "%1 的一百万倍") chinese_format.kif 637-637
(format EnglishLanguage MegaFn "1 million %1s") english_format.kif 396-396
(format FrenchLanguage MegaFn "1 million %1s") french_format.kif 385-385
(format ItalianLanguage MegaFn "1 milione %1s") relations-it.txt 181-181
(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 tg MegaFn "1 milyon ang mga %1") relations-tg.txt 357-357
(termFormat ChineseLanguage MegaFn "百万倍函数") chinese_format.kif 638-638
(termFormat EnglishLanguage MegaFn "mega") domainEnglishFormat.kif 6576-6576

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


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

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


(defaultMaximumMeasure InternetConnection
    (MeasureFn 100
        (MegaFn BitsPerSecond)))		 DimensioningAmenities.kif 96-96
(defaultMaximumMeasure WiredInternetConnection
    (MeasureFn 100
        (MegaFn BitsPerSecond)))		 DimensioningAmenities.kif 90-90
(defaultMaximumMeasure WirelessInternetConnection
    (MeasureFn 100
        (MegaFn BitsPerSecond)))		 DimensioningAmenities.kif 93-93
(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))		 Economy.kif 2012-2012


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