TreeView Knowledge Base Browser

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: