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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Month
Month(月)

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


(documentation Month ChineseLanguage "这是所有日历 Month 的 Class。") chinese_format.kif 2794-2794
(documentation Month EnglishLanguage "The Class of all calendar Months.") Merge.kif 8955-8955
(relatedInternalConcept Month MonthFn) Merge.kif 8953-8953 月 和 月函数 是 内部相关
(subclass Month TimeInterval) Merge.kif 8952-8952 月 是 时距 的 subclass

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


(rangeSubclass MonthFn Month) Merge.kif 8483-8483 月函数 的所得值 是 月 的 subclass
(relatedInternalConcept DhuAlHijjah Month) ArabicCulture.kif 104-104 Dhu al hijjah 和 月 是 内部相关
(subclass April Month) Merge.kif 9009-9009 A四月 是 月 的 subclass
(subclass August Month) Merge.kif 9065-9065 八月 是 月 的 subclass
(subclass December Month) Merge.kif 9122-9122 十二月 是 月 的 subclass
(subclass February Month) Merge.kif 8971-8971 二月 是 月 的 subclass
(subclass January Month) Merge.kif 8957-8957 一月 是 月 的 subclass
(subclass July Month) Merge.kif 9051-9051 七月 是 月 的 subclass
(subclass June Month) Merge.kif 9037-9037 六月 是 月 的 subclass
(subclass March Month) Merge.kif 8995-8995 三月 是 月 的 subclass
(subclass May Month) Merge.kif 9023-9023 五月 是 月 的 subclass
(subclass November Month) Merge.kif 9108-9108 十一月 是 月 的 subclass
(subclass October Month) Merge.kif 9094-9094 十月 是 月 的 subclass
(subclass September Month) Merge.kif 9079-9079 九月 是 月 的 subclass
(termFormat ChineseLanguage Month "月") chinese_format.kif 1276-1276
(termFormat EnglishLanguage Month "month") english_format.kif 1769-1769

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


(domain averageRainfallForPeriod 2 Month) Geography.kif 1311-1311 期间平均降雨量 的 2 数量 是 月 的 instance
(domainSubclass DayFn 2 Month) Merge.kif 8499-8499 日函数 的 2 数量 是 月 的 subclass
(domainSubclass MonthFn 1 Month) Merge.kif 8481-8481 月函数 的 1 数量 是 月 的 subclass

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


(=>
    (and
        (climateTypeInArea ?AREA ColdClimateZone)
        (forall (?MO)
            (and
                (instance ?MO Month)
                (averageTemperatureForPeriod ?AREA ?MO
                    (MeasureFn ?TEMP CelsiusDegree)))))
    (greaterThan 10.0 ?TEMP))		 Geography.kif 1526-1534
(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))		 Geography.kif 1375-1382
(=>
    (and
        (climateTypeInArea ?AREA TemperateClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3.0))		 Geography.kif 1423-1429
(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))		 Geography.kif 1321-1328
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))		 Geography.kif 1578-1585
(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account
            (MeasureFn ?MinPayment ?U) MonthDuration)
        (instance ?U UnitOfCurrency)
        (exists (?Payment ?Month)
            (and
                (instance ?Month Month)
                (destination ?Payment
                    (CurrencyFn ?Account))
                (paymentsPerPeriod ?Account
                    (MeasureFn ?Amount ?U) ?Month)
                (lessThan ?Amount ?MinPayment))))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (destination ?Penalty
                (CurrencyFn ?Account)))))		 FinancialOntology.kif 758-774
(=>
    (and
        (instance ?D EasterSunday)
        (temporalPart ?D ?M)
        (instance ?M Month))
    (or
        (instance ?M March)
        (instance ?M April)
        (instance ?M May)))		 Media.kif 498-506
(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))		 Merge.kif 9372-9376

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


(<=>
    (monthlyIncome ?Agent ?Money)
    (exists (?Month)
        (and
            (instance ?Month Month)
            (income ?Agent ?Money ?Month))))		 FinancialOntology.kif 3289-3294 人类 有 monthly income 货币测量 若且唯若 有存在 时距 这样 那个 时距 是 月 的 instance 和 那个 人类 对于 那个 时距 income 那个 货币测量
(=>
    (and
        (instance ?H Hanukkah)
        (equal ?B
            (BeginFn ?H)))
    (exists (?M)
        (and
            (temporalPart ?B ?M)
            (instance ?M Month)
            (or
                (instance ?M November)
                (instance ?M December)))))		 Media.kif 587-597
(=>
    (climateTypeInArea ?AREA ColdClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (temporalPart ?MO WinterSeason)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (lessThan ?AMOUNT -3.0))))		 Geography.kif 1537-1545
(=>
    (climateTypeInArea ?AREA PolarClimateZone)
    (and
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP)))		 Geography.kif 1570-1576
(=>
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone)
    (and
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0)))		 Geography.kif 1384-1390
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO ?MOUNT)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThanOrEqualTo ?AMOUNT -3.0)
            (lessThanOrEqualTo ?AMOUNT 18.0)
            (not
                (exists (?M2 ?MT2)
                    (and
                        (instance ?M2 Month)
                        (averageTemperatureForPeriod ?AREA ?M2
                            (MeasureFn ?MT2 CelsiusDegree))
                        (lessThan ?MT2 ?AMOUNT)))))))		 Geography.kif 1432-1447
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThan ?AMOUNT 10.0))))		 Geography.kif 1413-1420
(=>
    (climateTypeInArea ?AREA TropicalClimateZone)
    (and
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0)
        (not
            (exists (?M2 ?MT2)
                (and
                    (averageTemperatureForPeriod ?AREA ?M2
                        (MeasureFn ?MT2 CelsiusDegree))
                    (lessThan ?MT2 ?TEMP))))))		 Geography.kif 1291-1303
(=>
    (climateTypeInArea ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60.0))))		 Geography.kif 1330-1337
(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))		 Merge.kif 9368-9370


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