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 8488-8488
(relatedInternalConcept Month MonthFn) Merge.kif 8486-8486 relatedInternalConcept Month and MonthFn
(subclass Month TimeInterval) Merge.kif 8485-8485 subclass Month and TimeInterval

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


(rangeSubclass MonthFn Month) Merge.kif 8033-8033 rangeSubclass MonthFn and Month
(relatedInternalConcept DhuAlHijjah Month) ArabicCulture.kif 104-104 relatedInternalConcept DhuAlHijjah and Month
(subclass April Month) Merge.kif 8542-8542 subclass April and Month
(subclass August Month) Merge.kif 8598-8598 subclass August and Month
(subclass December Month) Merge.kif 8655-8655 subclass December and Month
(subclass February Month) Merge.kif 8504-8504 subclass February and Month
(subclass January Month) Merge.kif 8490-8490 subclass January and Month
(subclass July Month) Merge.kif 8584-8584 subclass July and Month
(subclass June Month) Merge.kif 8570-8570 subclass June and Month
(subclass March Month) Merge.kif 8528-8528 subclass March and Month
(subclass May Month) Merge.kif 8556-8556 subclass May and Month
(subclass November Month) Merge.kif 8641-8641 subclass November and Month
(subclass October Month) Merge.kif 8627-8627 subclass October and Month
(subclass September Month) Merge.kif 8612-8612 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 8049-8049 domainSubclass DayFn, 2 and Month
(domainSubclass MonthFn 1 Month) Merge.kif 8031-8031 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 8905-8909

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 8901-8903


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