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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - January
January

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


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

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


(termFormat ChineseLanguage January "一月") chinese_format.kif 1277-1277
(termFormat EnglishLanguage January "January") english_format.kif 1780-1780

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 8640-8647
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8475-8479
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8471-8473

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


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

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


(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))
Government.kif 2940-2940 dateDissolved CouncilForMutualEconomicAssistance and DayFn 1 and MonthFn January and YearFn 1991
(dateEstablished BankForInternationalSettlements
    (DayFn 20
        (MonthFn January
            (YearFn 1930))))
Government.kif 2826-2826 dateEstablished BankForInternationalSettlements and DayFn 20 and MonthFn January and YearFn 1930
(dateEstablished CouncilForMutualEconomicAssistance
    (DayFn 25
        (MonthFn January
            (YearFn 1949))))
Government.kif 2939-2939 dateEstablished CouncilForMutualEconomicAssistance and DayFn 25 and MonthFn January and YearFn 1949
(dateEstablished EconomicCooperationOrganization
    (MonthFn January
        (YearFn 1985)))
Government.kif 3077-3077 dateEstablished EconomicCooperationOrganization and MonthFn January and YearFn 1985
(dateEstablished EuropeanFreeTradeAssociation
    (DayFn 4
        (MonthFn January
            (YearFn 1960))))
Government.kif 3114-3114 dateEstablished EuropeanFreeTradeAssociation and DayFn 4 and MonthFn January and YearFn 1960
(dateEstablished InternationalDevelopmentAssociation
    (DayFn 26
        (MonthFn January
            (YearFn 1960))))
Government.kif 3420-3420 dateEstablished InternationalDevelopmentAssociation and DayFn 26 and MonthFn January and YearFn 1960
(dateEstablished OrganizationForSecurityAndCooperationInEurope
    (DayFn 1
        (MonthFn January
            (YearFn 1995))))
Government.kif 3645-3645 dateEstablished OrganizationForSecurityAndCooperationInEurope and DayFn 1 and MonthFn January and YearFn 1995
(dateEstablished OrganizationOfArabPetroleumExportingCountries
    (DayFn 9
        (MonthFn January
            (YearFn 1968))))
Government.kif 3696-3696 dateEstablished OrganizationOfArabPetroleumExportingCountries and DayFn 9 and MonthFn January and YearFn 1968
(dateEstablished PartnershipForPeace
    (DayFn 11
        (MonthFn January
            (YearFn 1994))))
Government.kif 3739-3739 dateEstablished PartnershipForPeace and DayFn 11 and MonthFn January and YearFn 1994
(dateEstablished UnitedNationsMilitaryObserverGroupInIndiaAndPakistan
    (DayFn 24
        (MonthFn January
            (YearFn 1949))))
Government.kif 3991-3991 dateEstablished UnitedNationsMilitaryObserverGroupInIndiaAndPakistan and DayFn 24 and MonthFn January and YearFn 1949
(dateEstablished WorldTourismOrganization
    (DayFn 2
        (MonthFn January
            (YearFn 1975))))
Government.kif 4299-4299 dateEstablished WorldTourismOrganization and DayFn 2 and MonthFn January and YearFn 1975
(subclass Epiphany
    (DayFn 6 January))
Media.kif 517-517 subclass Epiphany and DayFn 6 and January


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