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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Month
MonthBrumaire, Floreal, Frimaire, Fructidor, Germinal, Mes, Mese, Messidor, Nivose, Pluviose, Prairial, Revolutionary_calendar_month, Thermidor, Vendemiaire, Ventose, bulana, buwan, calendar_month, inst, instant, mahInaa, mois, month, prox, proximo, ult, ultimo,

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


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

Merge.kif 9014-9014
s__documentation(s__Month,s__EnglishLanguage,'The Class of all calendar Months.')

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

Merge.kif 9012-9012
s__subclass(s__Month,s__TimeInterval)

Merge.kif 9011-9011

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


s__rangeSubclass(s__MonthFn__m,s__Month)

Merge.kif 8671-8671
s__relatedInternalConcept(s__DhuAlHijjah,s__Month)

ArabicCulture.kif 104-104
s__instance(s__April,s__SetOrClass)

Merge.kif 9068-9068
s__instance(s__August,s__SetOrClass)

Merge.kif 9124-9124
s__instance(s__December,s__SetOrClass)

Merge.kif 9182-9182
s__subclass(s__February,s__Month)

Merge.kif 9030-9030
s__instance(s__January,s__SetOrClass)

Merge.kif 9016-9016
s__instance(s__July,s__SetOrClass)

Merge.kif 9110-9110
s__subclass(s__June,s__Month)

Merge.kif 9096-9096
s__instance(s__March,s__SetOrClass)

Merge.kif 9054-9054
s__subclass(s__May,s__Month)

Merge.kif 9082-9082
s__subclass(s__November,s__Month)

Merge.kif 9168-9168
s__subclass(s__October,s__Month)

Merge.kif 9154-9154
s__subclass(s__September,s__Month)

Merge.kif 9139-9139
s__termFormat(s__ChineseLanguage,s__Month,'月')

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

english_format.kif 963-963
s__termFormat(s__FrenchLanguage,s__Month,'mois')

french_format.kif 954-954
s__termFormat(s__Hindi,s__Month,'mahInaa')

terms-hindi.txt 489-489
s__termFormat(s__ItalianLanguage,s__Month,'Mese')

terms-it.txt 491-491
s__termFormat(s__PortugueseLanguage,s__Month,'Mes')

portuguese_format.kif 906-906
s__termFormat(s__cb__m,s__Month,'bulana')

terms-cb.txt 495-495
s__termFormat(s__cz__m,s__Month,'month')

terms-cz.txt 529-529
s__termFormat(s__tg__m,s__Month,'buwan')

terms-tg.txt 494-494

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


s__domain(s__averageRainfallForPeriod__m,2,s__Month)

Geography.kif 1278-1278
s__domainSubclass(s__DayFn__m,2,s__Month)

Merge.kif 8692-8692
s__domainSubclass(s__MonthFn__m,1,s__Month)

Merge.kif 8669-8669

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


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

Geography.kif 1474-1479
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__DesertClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)
     &
     s__greaterThan(V__TEMP,s__MeasureFn(18,s__CelsiusDegree)))
=>
s__instance(V__AREA,s__SubtropicalDesertClimateZone))
)

Geography.kif 1340-1346
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)
     &
     s__greaterThan(s__MeasureFn(10,s__CelsiusDegree),V__TEMP))
=>
s__instance(V__AREA,s__PolarClimateZone))
)

Geography.kif 1518-1524
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__PolarClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThan(s__MeasureFn(10,s__CelsiusDegree),V__TEMP))
)

Geography.kif 1511-1516
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__SubtropicalDesertClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThan(V__TEMP,s__MeasureFn(18,s__CelsiusDegree)))
)

Geography.kif 1348-1353
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__TemperateClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThanOrEqualTo(V__TEMP,s__MeasureFn(-3,s__CelsiusDegree)))
)

Geography.kif 1381-1386
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__TropicalClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__instance(V__AREA,s__GeographicArea) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThan(V__TEMP,s__MeasureFn(18,s__CelsiusDegree)))
)

Geography.kif 1264-1270
( ! [V__Account,V__MinPayment,V__Amount] :
   ((s__instance(V__Account,s__LiabilityAccount) &
       s__minimumPayment(V__Account,V__MinPayment,s__MonthDuration) &
       (? [V__Payment,V__Month] :
         (s__instance(V__Month,s__Month) &
           s__destination(V__Payment,s__CurrencyFn(V__Account))
       &
       s__paymentsPerPeriod(V__Account,V__Amount,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 712-725
( ! [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__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 9437-9441

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


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

FinancialOntology.kif 3174-3179
( ! [V__H,V__B] :
   ((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__subclass(V__MO,s__Month) &
         s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
       &
       s__lessThan(V__AMOUNT,s__MeasureFn(-3,s__CelsiusDegree)))))
)

Geography.kif 1481-1487
( ! [V__AREA] :
   (s__instance(V__AREA,s__TemperateClimateZone) =>
     (? [V__MO,V__AMOUNT] :
       (s__subclass(V__MO,s__Month) &
         s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
       &
       s__greaterThan(V__AMOUNT,s__MeasureFn(10,s__CelsiusDegree)))))
)

Geography.kif 1373-1379
( ! [V__AREA] :
   (s__instance(V__AREA,s__TemperateClimateZone) =>
     (? [V__MO,V__AMOUNT] :
       (s__subclass(V__MO,s__Month) &
         s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
       &
       s__greaterThanOrEqualTo(V__AMOUNT,s__MeasureFn(-3,s__CelsiusDegree))
     &
     s__lessThanOrEqualTo(V__AMOUNT,s__MeasureFn(18,s__CelsiusDegree)))))
)

Geography.kif 1388-1395
( ! [V__YEAR] :
   (s__instance(V__YEAR,s__Year) =>
     (s__CardinalityFn(s__TemporalCompositionFn(V__YEAR,s__Month))
     = 12))
)

Merge.kif 9433-9435


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners