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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Month
Month(month)Brumaire, Floreal, Frimaire, Fructidor, Germinal, Messidor, Nivose, Pluviose, Prairial, Revolutionary_calendar_month, Thermidor, Vendemiaire, Ventose, calendar_month, inst, instant, month, prox, proximo, ult, ultimo

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


s__documentation(s__Month,s__ChineseLanguage,'"这是所有日历 MonthClass。"')

chinese_format.kif 2794-2794
s__documentation(s__Month,s__EnglishLanguage,'"The Class of all calendar Months."')

Merge.kif 8683-8683
s__relatedInternalConcept(s__Month,s__MonthFn__m)

Merge.kif 8681-8681 Month is internally related to month
s__subclass(s__Month,s__TimeInterval)

s__instance(s__TimeInterval,s__Class)

s__instance(s__Month,s__Class)

Merge.kif 8680-8680 Month is a subclass of time interval

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


s__rangeSubclass(s__MonthFn__m,s__Month)

Merge.kif 8224-8224 The values returned by month are subclasses of month
s__relatedInternalConcept(s__DhuAlHijjah,s__Month)

ArabicCulture.kif 104-104 Dhu al hijjah is internally related to month
s__subclass(s__April,s__Month)

s__instance(s__April,s__Class)

s__instance(s__Month,s__Class)

Merge.kif 8737-8737 April is a subclass of month
s__instance(s__August,s__Class)

s__subclass(s__August,s__Month)

s__instance(s__Month,s__Class)

Merge.kif 8793-8793 August is a subclass of month
s__instance(s__Month,s__Class)

s__instance(s__December,s__Class)

s__subclass(s__December,s__Month)

Merge.kif 8850-8850 December is a subclass of month
s__subclass(s__February,s__Month)

s__instance(s__Month,s__Class)

s__instance(s__February,s__Class)

Merge.kif 8699-8699 February is a subclass of month
s__instance(s__January,s__Class)

s__subclass(s__January,s__Month)

s__instance(s__Month,s__Class)

Merge.kif 8685-8685 January is a subclass of month
s__subclass(s__July,s__Month)

s__instance(s__Month,s__Class)

s__instance(s__July,s__Class)

Merge.kif 8779-8779 July is a subclass of month
s__instance(s__June,s__Class)

s__subclass(s__June,s__Month)

s__instance(s__Month,s__Class)

Merge.kif 8765-8765 June is a subclass of month
s__subclass(s__March,s__Month)

s__instance(s__Month,s__Class)

s__instance(s__March,s__Class)

Merge.kif 8723-8723 March is a subclass of month
s__instance(s__May,s__Class)

s__instance(s__Month,s__Class)

s__subclass(s__May,s__Month)

Merge.kif 8751-8751 May is a subclass of month
s__subclass(s__November,s__Month)

s__instance(s__Month,s__Class)

s__instance(s__November,s__Class)

Merge.kif 8836-8836 November is a subclass of month
s__instance(s__Month,s__Class)

s__instance(s__October,s__Class)

s__subclass(s__October,s__Month)

Merge.kif 8822-8822 October is a subclass of month
s__instance(s__September,s__Class)

s__instance(s__Month,s__Class)

s__subclass(s__September,s__Month)

Merge.kif 8807-8807 September is a subclass of month
s__termFormat(s__ChineseLanguage,s__Month,'"月"')

chinese_format.kif 1276-1276
s__termFormat(s__EnglishLanguage,s__Month,'"month"')

english_format.kif 1769-1769

appearance as argument number 3
-------------------------


s__domain(s__averageRainfallForPeriod__m,n__2,s__Month)

Geography.kif 1296-1296 The number 2 argument of average rainfall for period is an instance of month
s__domainSubclass(s__DayFn__m,n__2,s__Month)

Merge.kif 8240-8240 The number 2 argument of day is a subclass of month
s__domainSubclass(s__MonthFn__m,n__1,s__Month)

Merge.kif 8222-8222 The number 1 argument of month is a subclass of month

antecedent
-------------------------


( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__ColdClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree)))
         =>
         (s__greaterThan(n__10,V__TEMP)))))
)
)

Geography.kif 1499-1505
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__DesertClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree))
           &
           s__greaterThan(V__TEMP,n__18))
       =>
       (s__instance(V__AREA,s__SubtropicalDesertClimateZone)))))
)
)

Geography.kif 1360-1367
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree))
           &
           s__greaterThan(n__10,V__TEMP))
       =>
       (s__instance(V__AREA,s__PolarClimateZone)))))
)
)

Geography.kif 1546-1553
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__PolarClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree)))
         =>
         (s__greaterThan(n__10,V__TEMP)))))
)
)

Geography.kif 1538-1544
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__SubtropicalDesertClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree)))
         =>
         (s__greaterThan(V__TEMP,n__18)))))
)
)

Geography.kif 1369-1375
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__TemperateClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree)))
         =>
         (s__greaterThanOrEqualTo(V__TEMP,n___3)))))
)
)

Geography.kif 1404-1410
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__TropicalClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__instance(V__AREA,s__GeographicArea) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree)))
         =>
         (s__greaterThan(V__TEMP,n__18)))))
)
)

Geography.kif 1281-1288
( ! [V__Amount,V__MinPayment,V__U,V__Account] :
   (((s__instance(V__Amount,s__RealNumber) &
         s__instance(V__MinPayment,s__RealNumber))
       =>
       (((s__instance(V__Account,s__LiabilityAccount) &
             s__minimumPayment(V__Account,s__MeasureFn(V__MinPayment,V__U)
          ,s__MonthDuration) &
           s__instance(V__U,s__UnitOfCurrency) &
           ( ? [V__Payment, V__Month] :
             ((s__instance(V__Payment,s__Process) &
                 (s__instance(V__Month,s__Month) &
                   s__destination(V__Payment,s__CurrencyFn(V__Account))
               &
               s__paymentsPerPeriod(V__Account,s__MeasureFn(V__Amount,V__U)
            ,V__Month)
           &
           s__lessThan(V__Amount,V__MinPayment))))))
=>
(( ? [V__Penalty] :
   ((s__instance(V__Penalty,s__Penalty) &
       s__destination(V__Penalty,s__CurrencyFn(V__Account)))))))))
)
)

FinancialOntology.kif 718-734
( ! [V__D,V__M] :
   (((s__instance(V__D,s__EasterSunday) &
         s__temporalPart(V__D,V__M)
       &
       s__instance(V__M,s__Month))
     =>
     ((s__instance(V__M,s__March) |
         s__instance(V__M,s__April) |
         s__instance(V__M,s__May))))
   )
)

Media.kif 498-506
( ! [V__MONTH,V__NUMBER] :
   ((s__instance(V__NUMBER,s__Integer) =>
       (((s__instance(V__MONTH,s__Month) &
             s__duration(V__MONTH,s__MeasureFn(V__NUMBER,s__DayDuration)))
         =>
         ((s__CardinalityFn(s__TemporalCompositionFn(V__MONTH,s__Day))
           = V__NUMBER)))))
)
)

Merge.kif 9100-9104

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


( ! [V__Agent,V__Money] :
   (((s__instance(V__Agent,s__Human) &
         s__instance(V__Money,s__CurrencyMeasure))
       =>
       (((s__monthlyIncome(V__Agent,V__Money)
           =>
           ( ? [V__Month] :
             ((s__instance(V__Month,s__Month) &
                 s__income(V__Agent,V__Money,V__Month)))))
       &
       (( ? [V__Month] :
           ((s__instance(V__Month,s__Month) &
               s__income(V__Agent,V__Money,V__Month))))
       =>
       s__monthlyIncome(V__Agent,V__Money)))))
)
)

FinancialOntology.kif 3244-3249 A human has monthly income a currency measure if and only if there exists a time interval such that the time interval is an instance of month and the human income the currency measure for the time interval
( ! [V__B,V__H] :
   ((s__instance(V__B,s__TimePoint) =>
       (((s__instance(V__H,s__Hanukkah) &
             (V__B = s__BeginFn(V__H)))
         =>
         (( ? [V__M] :
             ((s__temporalPart(V__B,V__M)
               &
               s__instance(V__M,s__Month) &
               (s__instance(V__M,s__November) |
                 s__instance(V__M,s__December)))))))))
)
)

Media.kif 587-597
( ! [V__AREA] :
   ((s__instance(V__AREA,s__ColdClimateZone) =>
       (( ? [V__MO, V__AMOUNT] :
           ((s__instance(V__MO,s__Class) &
               s__instance(V__MO,s__TimeDuration) &
               s__instance(V__AMOUNT,s__RealNumber) &
               (s__subclass(V__MO,s__Month) &
                 s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__AMOUNT,s__CelsiusDegree))
               &
               s__lessThan(V__AMOUNT,n___3)))))))
)
)

Geography.kif 1507-1514
( ! [V__AREA] :
   ((s__instance(V__AREA,s__TemperateClimateZone) =>
       (( ? [V__MO, V__AMOUNT] :
           ((s__instance(V__MO,s__Class) &
               s__instance(V__MO,s__TimeDuration) &
               s__instance(V__AMOUNT,s__RealNumber) &
               (s__subclass(V__MO,s__Month) &
                 s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__AMOUNT,s__CelsiusDegree))
               &
               s__greaterThan(V__AMOUNT,n__10)))))))
)
)

Geography.kif 1395-1402
( ! [V__AREA] :
   ((s__instance(V__AREA,s__TemperateClimateZone) =>
       (( ? [V__MO, V__AMOUNT] :
           ((s__instance(V__MO,s__Class) &
               s__instance(V__MO,s__TimeDuration) &
               s__instance(V__AMOUNT,s__RealNumber) &
               (s__subclass(V__MO,s__Month) &
                 s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__AMOUNT,s__CelsiusDegree))
               &
               s__greaterThanOrEqualTo(V__AMOUNT,n___3)
             &
             s__lessThanOrEqualTo(V__AMOUNT,n__18)))))))
)
)

Geography.kif 1412-1420
( ! [V__YEAR] :
   ((s__instance(V__YEAR,s__Year) =>
       ((s__CardinalityFn(s__TemporalCompositionFn(V__YEAR,s__Month))
         = n__12)))
   )
)

Merge.kif 9096-9098


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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