Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MegaFn
MegaFn

appearance as argument number 1
-------------------------


(instance MegaFn UnitOfMeasureMultiplier) Merge.kif 6600-6600 Mega is an instance of unit of measure multiplier
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6601-6601 The number 1 argument of mega is an instance of unit of measure
(range MegaFn UnitOfMeasure) Merge.kif 6602-6602 The range of mega is an instance of unit of measure
(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 6604-6606 The range of mega is an instance of unit of measure

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


(termFormat EnglishLanguage MegaFn "mega") domainEnglishFormat.kif 36935-36935
(termFormat ChineseTraditionalLanguage MegaFn "兆") domainEnglishFormat.kif 36936-36936
(termFormat ChineseLanguage MegaFn "兆") domainEnglishFormat.kif 36937-36937
(format EnglishLanguage MegaFn "1 million %1s") english_format.kif 640-640

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


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))		 Merge.kif 6608-6612 If X is an instance of unit of measure and equal Y and 1 million Z, then equal 1 Y(s) and 1000000 X(s)

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


(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))		 Economy.kif 2243-2243 equal 1 kilowatt hour(s) and 3.6 1 million joules(s)
(defaultMaximumMeasure WiredInternetConnection
    (MeasureFn 100
        (MegaFn BitsPerSecond)))		 DimensioningAmenities.kif 90-90 The maximum expected value of internet is 100 1 million bits per seconds(s)
(defaultMaximumMeasure WirelessInternetConnection
    (MeasureFn 100
        (MegaFn BitsPerSecond)))		 DimensioningAmenities.kif 93-93 The maximum expected value of wireless internet is 100 1 million bits per seconds(s)
(defaultMaximumMeasure InternetConnection
    (MeasureFn 100
        (MegaFn BitsPerSecond)))		 DimensioningAmenities.kif 96-96 The maximum expected value of internet connection is 100 1 million bits per seconds(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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners