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 "这是所有日历 MonthClass。") chinese_format.kif 2794-2794
(documentation Month EnglishLanguage "The Class of all calendar Months.") Merge.kif 8455-8455
(relatedInternalConcept Month MonthFn) Merge.kif 8453-8453 relatedInternalConcept Month and MonthFn
(subclass Month TimeInterval) Merge.kif 8452-8452 subclass Month and TimeInterval

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


(rangeSubclass MonthFn Month) Merge.kif 8000-8000 rangeSubclass MonthFn and Month
(relatedInternalConcept DhuAlHijjah Month) ArabicCulture.kif 104-104 relatedInternalConcept DhuAlHijjah and Month
(subclass April Month) Merge.kif 8509-8509 subclass April and Month
(subclass August Month) Merge.kif 8565-8565 subclass August and Month
(subclass December Month) Merge.kif 8622-8622 subclass December and Month
(subclass February Month) Merge.kif 8471-8471 subclass February and Month
(subclass January Month) Merge.kif 8457-8457 subclass January and Month
(subclass July Month) Merge.kif 8551-8551 subclass July and Month
(subclass June Month) Merge.kif 8537-8537 subclass June and Month
(subclass March Month) Merge.kif 8495-8495 subclass March and Month
(subclass May Month) Merge.kif 8523-8523 subclass May and Month
(subclass November Month) Merge.kif 8608-8608 subclass November and Month
(subclass October Month) Merge.kif 8594-8594 subclass October and Month
(subclass September Month) Merge.kif 8579-8579 subclass September and Month
(termFormat ChineseLanguage Month "月") chinese_format.kif 1276-1276
(termFormat EnglishLanguage Month "month") english_format.kif 1778-1778

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


(domain averageRainfallForPeriod 2 Month) Geography.kif 1290-1290 domain averageRainfallForPeriod, 2 and Month
(domainSubclass DayFn 2 Month) Merge.kif 8016-8016 domainSubclass DayFn, 2 and Month
(domainSubclass MonthFn 1 Month) Merge.kif 7998-7998 domainSubclass MonthFn, 1 and Month

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


(=>
    (and
        (instance ?AREA ColdClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan
        (MeasureFn 10 CelsiusDegree) ?TEMP))
Geography.kif 1486-1491
(=>
    (and
        (instance ?AREA DesertClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan ?TEMP
            (MeasureFn 18 CelsiusDegree)))
    (instance ?AREA SubtropicalDesertClimateZone))
Geography.kif 1352-1358
(=>
    (and
        (instance ?AREA GeographicArea)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan
            (MeasureFn 10 CelsiusDegree) ?TEMP))
    (instance ?AREA PolarClimateZone))
Geography.kif 1530-1536
(=>
    (and
        (instance ?AREA PolarClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan
        (MeasureFn 10 CelsiusDegree) ?TEMP))
Geography.kif 1523-1528
(=>
    (and
        (instance ?AREA SubtropicalDesertClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan ?TEMP
        (MeasureFn 18 CelsiusDegree)))
Geography.kif 1360-1365
(=>
    (and
        (instance ?AREA TemperateClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThanOrEqualTo ?TEMP
        (MeasureFn -3 CelsiusDegree)))
Geography.kif 1393-1398
(=>
    (and
        (instance ?AREA TropicalClimateZone)
        (subclass ?MO Month)
        (instance ?AREA GeographicArea)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan ?TEMP
        (MeasureFn 18 CelsiusDegree)))
Geography.kif 1276-1282
(=>
    (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 711-724
(=>
    (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 8872-8876

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


(<=>
    (monthlyIncome ?Agent ?Money)
    (exists (?Month)
        (and
            (instance ?Month Month)
            (income ?Agent ?Money ?Month))))
FinancialOntology.kif 3181-3186 monthlyIncome Human and CurrencyMeasure TimeInterval instance TimeInterval and Month income Human, CurrencyMeasure and TimeInterval
(=>
    (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 1493-1499
(=>
    (instance ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT)
            (greaterThan ?AMOUNT
                (MeasureFn 10 CelsiusDegree)))))
Geography.kif 1385-1391
(=>
    (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 1400-1407
(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))
Merge.kif 8868-8870


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