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。") Merge.kif 12619-12619
(documentation Month EnglishLanguage "The Class of all calendar Months.") Merge.kif 12617-12617
(documentation Month JapaneseLanguage "すべてのカレンダー MonthClass。") Merge.kif 12621-12621
(relatedInternalConcept Month MonthFn) Merge.kif 12615-12615 MonthFninternally 関連して %n
(subclass Month TimeInterval) Merge.kif 12614-12614 時間間隔subclass では %n

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


(rangeSubclass MonthFn Month) Merge.kif 12122-12122 MonthFn が返す値は subclasses では %n
(relatedInternalConcept DhuAlHijjah Month) ArabicCulture.kif 104-104 DhuAlHijjahinternally 関連して %n
(subclass April Month) Merge.kif 12687-12687 4月subclass では %n
(subclass August Month) Merge.kif 12759-12759 8月subclass では %n
(subclass December Month) Merge.kif 12833-12833 12月subclass では %n
(subclass February Month) Merge.kif 12641-12641 2月subclass では %n
(subclass January Month) Merge.kif 12623-12623 1月subclass では %n
(subclass July Month) Merge.kif 12741-12741 7月subclass では %n
(subclass June Month) Merge.kif 12723-12723 6月subclass では %n
(subclass March Month) Merge.kif 12669-12669 3月subclass では %n
(subclass May Month) Merge.kif 12705-12705 5月subclass では %n
(subclass November Month) Merge.kif 12815-12815 11月subclass では %n
(subclass October Month) Merge.kif 12797-12797 10月subclass では %n
(subclass September Month) Merge.kif 12778-12778 9月subclass では %n
(termFormat ChineseLanguage Month "月") chinese_format.kif 1276-1276 termFormat ChineseLanguage, and "月"
(termFormat EnglishLanguage Month "month") english_format.kif 2541-2541 termFormat EnglishLanguage, and "month"
(termFormat JapaneseLanguage Month "月") english_format.kif 2542-2542 termFormat JapaneseLanguage, and "月"

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


(domain averageRainfallForPeriod 2 Month) Geography.kif 1278-1278 averageRainfallForPeriod の数値 2 引数は instance では %n
(domainSubclass DayFn 2 Month) Merge.kif 12153-12153 DayFn の数値 2 引数は subclass では %n
(domainSubclass MonthFn 1 Month) Merge.kif 12120-12120 MonthFn の数値 1 引数は subclass では %n

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 13147-13151

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


(<=>
    (monthlyIncome ?Agent ?Money)
    (exists (?Month)
        (and
            (instance ?Month Month)
            (income ?Agent ?Money ?Month))))
FinancialOntology.kif 3174-3179 monthlyIncome 人[人間] and 通貨測定 時間間隔 時間間隔instance では %n income 人[人間], 通貨測定 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 13143-13145


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