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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Month

Sigma KEE - Month
Month(月)

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


(documentation Month ChineseLanguage "这是所有日历 MonthClass。") Merge.kif 9069-9069
(documentation Month EnglishLanguage "The Class of all calendar Months.") Merge.kif 9068-9068
(relatedInternalConcept Month MonthFn) Merge.kif 9067-9067 月函数 是 内部相关
(subclass Month TimeInterval) Merge.kif 9066-9066 时距subclass

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


(rangeSubclass MonthFn Month) Merge.kif 8688-8688 月函数 的所得值 是 subclass
(relatedInternalConcept DhuAlHijjah Month) ArabicCulture.kif 104-104 DhuAlHijjah 是 内部相关
(subclass April Month) Merge.kif 9123-9123 A四月subclass
(subclass August Month) Merge.kif 9179-9179 八月subclass
(subclass December Month) Merge.kif 9237-9237 十二月subclass
(subclass February Month) Merge.kif 9085-9085 二月subclass
(subclass January Month) Merge.kif 9071-9071 一月subclass
(subclass July Month) Merge.kif 9165-9165 七月subclass
(subclass June Month) Merge.kif 9151-9151 六月subclass
(subclass March Month) Merge.kif 9109-9109 三月subclass
(subclass May Month) Merge.kif 9137-9137 五月subclass
(subclass November Month) Merge.kif 9223-9223 十一月subclass
(subclass October Month) Merge.kif 9209-9209 十月subclass
(subclass September Month) Merge.kif 9194-9194 九月subclass
(termFormat ChineseLanguage Month "月") chinese_format.kif 1276-1276 termFormat ChineseLanguage, and "月"
(termFormat EnglishLanguage Month "month") english_format.kif 1909-1909 termFormat EnglishLanguage, and "month"
(termFormat JapaneseLanguage Month "月") english_format.kif 1910-1910 termFormat JapaneseLanguage, and "月"

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


(domain averageRainfallForPeriod 2 Month) Geography.kif 1278-1278 averageRainfallForPeriod 的 2 数量 是 instance
(domainSubclass DayFn 2 Month) Merge.kif 8709-8709 日函数 的 2 数量 是 subclass
(domainSubclass MonthFn 1 Month) Merge.kif 8686-8686 月函数 的 1 数量 是 subclass

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


(=>
    (and
        (instance ?AREA ColdClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan
        (MeasureFn 10 CelsiusDegree) ?TEMP))
Geography.kif 1474-1479
(=>
    (and
        (instance ?AREA DesertClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan ?TEMP
            (MeasureFn 18 CelsiusDegree)))
    (instance ?AREA SubtropicalDesertClimateZone))
Geography.kif 1340-1346
(=>
    (and
        (instance ?AREA GeographicArea)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan
            (MeasureFn 10 CelsiusDegree) ?TEMP))
    (instance ?AREA PolarClimateZone))
Geography.kif 1518-1524
(=>
    (and
        (instance ?AREA PolarClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan
        (MeasureFn 10 CelsiusDegree) ?TEMP))
Geography.kif 1511-1516
(=>
    (and
        (instance ?AREA SubtropicalDesertClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan ?TEMP
        (MeasureFn 18 CelsiusDegree)))
Geography.kif 1348-1353
(=>
    (and
        (instance ?AREA TemperateClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThanOrEqualTo ?TEMP
        (MeasureFn -3 CelsiusDegree)))
Geography.kif 1381-1386
(=>
    (and
        (instance ?AREA TropicalClimateZone)
        (subclass ?MO Month)
        (instance ?AREA GeographicArea)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan ?TEMP
        (MeasureFn 18 CelsiusDegree)))
Geography.kif 1264-1270
(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account ?MinPayment MonthDuration)
        (exists (?Payment ?Month)
            (and
                (instance ?Month Month)
                (destination ?Payment
                    (CurrencyFn ?Account))
                (paymentsPerPeriod ?Account ?Amount ?Month)
                (lessThan ?Amount ?MinPayment))))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (destination ?Penalty
                (CurrencyFn ?Account)))))
FinancialOntology.kif 712-725
(=>
    (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 9492-9496

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


(<=>
    (monthlyIncome ?Agent ?Money)
    (exists (?Month)
        (and
            (instance ?Month Month)
            (income ?Agent ?Money ?Month))))
FinancialOntology.kif 3174-3179 monthlyIncome 人类 and 货币测量 若且唯若 有存在 时距 这样 那个 时距instanceincome 那个 人类, 那个 货币测量 and 那个 时距
(=>
    (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
(=>
    (instance ?AREA ColdClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT)
            (lessThan ?AMOUNT
                (MeasureFn -3 CelsiusDegree)))))
Geography.kif 1481-1487
(=>
    (instance ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT)
            (greaterThan ?AMOUNT
                (MeasureFn 10 CelsiusDegree)))))
Geography.kif 1373-1379
(=>
    (instance ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT)
            (greaterThanOrEqualTo ?AMOUNT
                (MeasureFn -3 CelsiusDegree))
            (lessThanOrEqualTo ?AMOUNT
                (MeasureFn 18 CelsiusDegree)))))
Geography.kif 1388-1395
(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))
Merge.kif 9488-9490


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