Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  RichterMagnitude

Sigma KEE - RichterMagnitude
RichterMagnitude(更大的规模)

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 更大的规模CompositeUnitOfMeasureinstance

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


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

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


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 3.0 is open source software produced by Articulate Software and its partners