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 2332-2335
(instance RichterMagnitude CompositeUnitOfMeasure)	Geography.kif 2331-2331	Richter magnitude is an instance of composite unit of measure

appearance as argument number 2

(names "Richter magnitude" RichterMagnitude)	Geography.kif 2328-2328	Richter magnitude has name "Richter magnitude"
(names "Richter scale" RichterMagnitude)	Geography.kif 2329-2329	Richter magnitude has name "Richter scale"
(termFormat ChineseLanguage RichterMagnitude "更大的规模")	domainEnglishFormat.kif 49985-49985	Richter magnitude has name "Richter scale"
(termFormat ChineseTraditionalLanguage RichterMagnitude "更大的規模")	domainEnglishFormat.kif 49984-49984	Richter magnitude has name "Richter scale"
(termFormat EnglishLanguage RichterMagnitude "richter magnitude")	domainEnglishFormat.kif 49983-49983	Richter magnitude has name "Richter scale"

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 2347-2357	If the measure of a process is a real number richter magnitude(s) and the process is an instance of earthquake, then there exists another process such that the other process is an instance of earth tremor and the other process is a subprocess of the process and the measure of the other process is the real number richter magnitude(s)
(=> (measure ?QUAKE (MeasureFn ?VALUE RichterMagnitude)) (instance ?VALUE PositiveRealNumber))	Geography.kif 2337-2339	If the measure of a physical is a real number richter magnitude(s), then the real number is an instance of positive real number
(=> (measure ?QUAKE (MeasureFn ?VALUE RichterMagnitude)) (or (instance ?QUAKE EarthTremor) (instance ?QUAKE Earthquake)))	Geography.kif 2341-2345	If the measure of a physical is a real number richter magnitude(s), then the physical is an instance of earth tremor or the physical is an instance of earthquake

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 2347-2357