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



KB Term:  Term intersection
English Word: 

  averageSSTForPeriod

Sigma KEE - averageSSTForPeriod
averageSSTForPeriod

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


(instance averageSSTForPeriod TernaryPredicate) Weather.kif 723-723 average sea surface temperature for period is an instance of ternary predicate
(domain averageSSTForPeriod 1 WaterArea) Weather.kif 724-724 The number 1 argument of average sea surface temperature for period is an instance of water area
(domain averageSSTForPeriod 2 TimeInterval) Weather.kif 725-725 The number 2 argument of average sea surface temperature for period is an instance of timeframe
(domain averageSSTForPeriod 3 TemperatureMeasure) Weather.kif 726-726 The number 3 argument of average sea surface temperature for period is an instance of temperature measure
(documentation averageSSTForPeriod EnglishLanguage "(averageSSTForPeriod ?PLACE ?PERIOD ?AMOUNT) means that at the WaterArea ?PLACE, and during the TimeInterval ?PERIOD, the average daily sea surface temperature was ?AMOUNT. Temperature may be expressed in some UnitOfTemperature, including CelsiusDegree and FahrenheitDegree, among others. Currently, who the SST is measured, at what interval is not specifified. The average value, here is assumed to be the mathematical mean. Further specification can be formalised to specfified form more details by specialists in this field. An example of specification for how measuring can be formalised is Mean1MinuteWindSpeedFn.") Weather.kif 728-737 The number 3 argument of average sea surface temperature for period is an instance of temperature measure
(relatedInternalConcept averageSSTForPeriod Mean1MinuteWindSpeedFn) Weather.kif 739-739 average sea surface temperature for period is internally related to one minute mean surface wind speed

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


(format EnglishLanguage averageSSTForPeriod "%3 for %1 for %2") Weather.kif 727-727
(termFormat EnglishLanguage averageSSTForPeriod "average sea surface temperature for period") Weather.kif 738-738

consequent
-------------------------


(=>
    (and
        (instance ?W WaterArea)
        (equal ?T
            (DailyTempFn ?W ?D)))
    (averageSSTForPeriod ?W ?D ?T))
Weather.kif 716-721 If X is an instance of water area and equal Y and The avearage daily temperature for Region X, then Y for X for Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners