RichterMagnitude - Sigma Knowledge base Browser

appearance as argument number 1

(documentation RichterMagnitude EnglishLanguage "A RichterMagnitude is a measure of the severity of an EarthTremor. For example, (MeasureFn 6.5 RichterMagnitude) denotes the value of 6.5 on the Richter scale.")	Geography.kif 2344-2347
(instance RichterMagnitude CompositeUnitOfMeasure)	Geography.kif 2343-2343

appearance as argument number 2

(names "Richter magnitude" RichterMagnitude)	Geography.kif 2340-2340
(names "Richter scale" RichterMagnitude)	Geography.kif 2341-2341
(termFormat ChineseLanguage RichterMagnitude "更大的规模")	domainEnglishFormat.kif 49954-49954
(termFormat ChineseTraditionalLanguage RichterMagnitude "更大的規模")	domainEnglishFormat.kif 49953-49953
(termFormat EnglishLanguage RichterMagnitude "richter magnitude")	domainEnglishFormat.kif 49952-49952

antecedent

(=> (and (measure ?QUAKE (MeasureFn ?VALUE RichterMagnitude)) (instance ?QUAKE Earthquake)) (exists (?TREMOR) (and (instance ?TREMOR EarthTremor) (subProcess ?TREMOR ?QUAKE) (measure ?TREMOR (MeasureFn ?VALUE RichterMagnitude)))))	Geography.kif 2359-2369
(=> (measure ?QUAKE (MeasureFn ?VALUE RichterMagnitude)) (instance ?VALUE PositiveRealNumber))	Geography.kif 2349-2351
(=> (measure ?QUAKE (MeasureFn ?VALUE RichterMagnitude)) (or (instance ?QUAKE EarthTremor) (instance ?QUAKE Earthquake)))	Geography.kif 2353-2357

consequent

(=>
    (and
        (measure ?QUAKE
            (MeasureFn ?VALUE RichterMagnitude))
        (instance ?QUAKE Earthquake))
    (exists (?TREMOR)
        (and
            (instance ?TREMOR EarthTremor)
            (subProcess ?TREMOR ?QUAKE)
            (measure ?TREMOR
                (MeasureFn ?VALUE RichterMagnitude)))))

Geography.kif 2359-2369