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

Formal Language: 



KB Term:  Term intersection
English Word: 

  January

Sigma KEE - January
January(一月)

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


(documentation January ChineseLanguage "这是所有一月 MonthClass。") Merge.kif 9073-9073
(documentation January EnglishLanguage "The Class of all Months which are January.") Merge.kif 9072-9072
(externalImage January "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ Ice_fishing-Lake_Harriet-2007-01-20.jpg") pictureList.kif 4898-4898 externalImage 一月 and "http://upload.wikimedia.org/wikipedia/commons/f/f6/ Ice_fishing-Lake_Harriet-2007-01-20.jpg"
(subclass January Month) Merge.kif 9071-9071 一月subclass
(successorClass January February) Merge.kif 9047-9047 successorClass 一月 and 二月

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


(termFormat ChineseLanguage January "一月") chinese_format.kif 1277-1277 termFormat ChineseLanguage, 一月 and "一月"
(termFormat EnglishLanguage January "January") english_format.kif 1912-1912 termFormat EnglishLanguage, 一月 and "January"
(termFormat JapaneseLanguage January "1月") english_format.kif 1913-1913 termFormat JapaneseLanguage, 一月 and "1月"

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn December ?YEAR1))
        (instance ?MONTH2
            (MonthFn January ?YEAR2))
        (instance ?Y1 ?YEAR1)
        (instance ?Y2 ?YEAR2)
        (meetsTemporally ?Y1 ?Y2))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9245-9252
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9079-9083
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9075-9077

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


(=>
    (instance ?CES ConsumerElectronicsShow)
    (exists (?J)
        (and
            (instance ?J January)
            (during ?CES ?J))))
ComputingBrands.kif 2209-2214

statement
-------------------------


(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))
Government.kif 2946-2946 dateDissolved CouncilForMutualEconomicAssistance and 1 day
(dateEstablished BankForInternationalSettlements
    (DayFn 20
        (MonthFn January
            (YearFn 1930))))
Government.kif 2832-2832 dateEstablished BankForInternationalSettlements and 20 day
(dateEstablished CouncilForMutualEconomicAssistance
    (DayFn 25
        (MonthFn January
            (YearFn 1949))))
Government.kif 2945-2945 dateEstablished CouncilForMutualEconomicAssistance and 25 day
(dateEstablished EconomicCooperationOrganization
    (MonthFn January
        (YearFn 1985)))
Government.kif 3083-3083 dateEstablished EconomicCooperationOrganization and 一月 month
(dateEstablished EuropeanFreeTradeAssociation
    (DayFn 4
        (MonthFn January
            (YearFn 1960))))
Government.kif 3120-3120 dateEstablished EuropeanFreeTradeAssociation and 4 day
(dateEstablished InternationalDevelopmentAssociation
    (DayFn 26
        (MonthFn January
            (YearFn 1960))))
Government.kif 3426-3426 dateEstablished InternationalDevelopmentAssociation and 26 day
(dateEstablished OrganizationForSecurityAndCooperationInEurope
    (DayFn 1
        (MonthFn January
            (YearFn 1995))))
Government.kif 3651-3651 dateEstablished OrganizationForSecurityAndCooperationInEurope and 1 day
(dateEstablished OrganizationOfArabPetroleumExportingCountries
    (DayFn 9
        (MonthFn January
            (YearFn 1968))))
Government.kif 3702-3702 dateEstablished OrganizationOfArabPetroleumExportingCountries and 9 day
(dateEstablished PartnershipForPeace
    (DayFn 11
        (MonthFn January
            (YearFn 1994))))
Government.kif 3745-3745 dateEstablished PartnershipForPeace and 11 day
(dateEstablished UnitedNationsMilitaryObserverGroupInIndiaAndPakistan
    (DayFn 24
        (MonthFn January
            (YearFn 1949))))
Government.kif 3997-3997 dateEstablished UnitedNationsMilitaryObserverGroupInIndiaAndPakistan and 24 day
(dateEstablished WorldTourismOrganization
    (DayFn 2
        (MonthFn January
            (YearFn 1975))))
Government.kif 4305-4305 dateEstablished WorldTourismOrganization and 2 day
(subclass Epiphany
    (DayFn 6 January))
Media.kif 517-517 Epiphany 是 6 daysubclass


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