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 9159-9159
(documentation Month JapaneseLanguage "すべてのカレンダー MonthClass。") japanese_format.kif 1535-1535
(relatedInternalConcept Month MonthFn) Merge.kif 9157-9157 MonthFninternally 関連して
(subclass Month TimeInterval) Merge.kif 9156-9156 時間間隔subclass では

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


(rangeSubclass MonthFn Month) Merge.kif 8686-8686 MonthFn が返す値は subclasses では
(relatedInternalConcept DhuAlHijjah Month) ArabicCulture.kif 113-113 DhuAlHijjahinternally 関連して
(subclass April Month) Merge.kif 9213-9213 4月subclass では
(subclass August Month) Merge.kif 9269-9269 8月subclass では
(subclass December Month) Merge.kif 9326-9326 12月subclass では
(subclass February Month) Merge.kif 9175-9175 2月subclass では
(subclass January Month) Merge.kif 9161-9161 1月subclass では
(subclass July Month) Merge.kif 9255-9255 7月subclass では
(subclass June Month) Merge.kif 9241-9241 6月subclass では
(subclass March Month) Merge.kif 9199-9199 3月subclass では
(subclass May Month) Merge.kif 9227-9227 5月subclass では
(subclass November Month) Merge.kif 9312-9312 11月subclass では
(subclass October Month) Merge.kif 9298-9298 10月subclass では
(subclass September Month) Merge.kif 9283-9283 9月subclass では
(termFormat ChineseLanguage Month "月") chinese_format.kif 1276-1276 9月subclass では
(termFormat EnglishLanguage Month "month") english_format.kif 1769-1769 9月subclass では
(termFormat FrenchLanguage Month "mois") french_format.kif 954-954 9月subclass では
(termFormat Hindi Month "mahInaa") terms-hindi.txt 489-489 9月subclass では
(termFormat ItalianLanguage Month "Mese") terms-it.txt 493-493 9月subclass では
(termFormat JapaneseLanguage Month "月") japanese_format.kif 2638-2638 9月subclass では
(termFormat PortugueseLanguage Month "Mes") portuguese_format.kif 906-906 9月subclass では
(termFormat cb Month "bulana") terms-cb.txt 495-495 9月subclass では
(termFormat cz Month "month") terms-cz.txt 529-529 9月subclass では
(termFormat de Month "Monat") terms-de.txt 788-788 9月subclass では

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain averageRainfallForPeriod 2 Month) Geography.kif 1470-1470 averageRainfallForPeriod の数値 2 引数は instance では
(domainSubclass DayFn 2 Month) Merge.kif 8702-8702 DayFn の数値 2 引数は subclass では
(domainSubclass MonthFn 1 Month) Merge.kif 8684-8684 MonthFn の数値 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 1686-1694
(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))
Geography.kif 1534-1541
(=>
    (and
        (climateTypeInArea ?AREA TemperateClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3.0))
Geography.kif 1583-1589
(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))
Geography.kif 1480-1487
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))
Geography.kif 1739-1746
(=>
    (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 761-777
(=>
    (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 9599-9603

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


(<=>
    (monthlyIncome ?Agent ?Money)
    (exists (?Month)
        (and
            (instance ?Month Month)
            (income ?Agent ?Money ?Month))))
FinancialOntology.kif 3300-3305 monthlyIncome 人[人間] and 通貨測定 時間間隔 時間間隔instance では 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
(=>
    (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 1697-1705
(=>
    (climateTypeInArea ?AREA PolarClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan 10.0 ?TEMP))))
Geography.kif 1730-1737
(=>
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan ?TEMP 18.0))))
Geography.kif 1543-1550
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThan ?AMOUNT 10.0))))
Geography.kif 1573-1580
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (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 1592-1607
(=>
    (climateTypeInArea ?AREA TropicalClimateZone)
    (exists (?MO ?TEMP)
        (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 1449-1462
(=>
    (climateTypeInArea ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60.0))))
Geography.kif 1489-1496
(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))
Merge.kif 9595-9597


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