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

Formal Language: 



KB Term:  Term intersection
English Word: 

  January

Sigma KEE - January
January(January)
Jan, 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 8948-8948
(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 8946-8946 January is a subclass of month
(successorClass January February) Merge.kif 8922-8922 %2 is the successorClass of %2.

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


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

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 9119-9126
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8954-8958
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8950-8952

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


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

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


(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))
Government.kif 2989-2989 The day 1 is a date dissolved of council for mutual economic assistance
(dateEstablished BankForInternationalSettlements
    (DayFn 20
        (MonthFn January
            (YearFn 1930))))
Government.kif 2875-2875 The day 20 is a date established of bank for international settlements
(dateEstablished CouncilForMutualEconomicAssistance
    (DayFn 25
        (MonthFn January
            (YearFn 1949))))
Government.kif 2988-2988 The day 25 is a date established of council for mutual economic assistance
(dateEstablished EconomicCooperationOrganization
    (MonthFn January
        (YearFn 1985)))
Government.kif 3126-3126 The month January is a date established of economic cooperation organization
(dateEstablished EuropeanFreeTradeAssociation
    (DayFn 4
        (MonthFn January
            (YearFn 1960))))
Government.kif 3163-3163 The day 4 is a date established of european free trade association
(dateEstablished InternationalDevelopmentAssociation
    (DayFn 26
        (MonthFn January
            (YearFn 1960))))
Government.kif 3469-3469 The day 26 is a date established of international development association
(dateEstablished OrganizationForSecurityAndCooperationInEurope
    (DayFn 1
        (MonthFn January
            (YearFn 1995))))
Government.kif 3694-3694 The day 1 is a date established of organization for security and cooperation in europe
(dateEstablished OrganizationOfArabPetroleumExportingCountries
    (DayFn 9
        (MonthFn January
            (YearFn 1968))))
Government.kif 3745-3745 The day 9 is a date established of organization of arab petroleum exporting countries
(dateEstablished PartnershipForPeace
    (DayFn 11
        (MonthFn January
            (YearFn 1994))))
Government.kif 3788-3788 The day 11 is a date established of partnership for peace
(dateEstablished UnitedNationsMilitaryObserverGroupInIndiaAndPakistan
    (DayFn 24
        (MonthFn January
            (YearFn 1949))))
Government.kif 4040-4040 The day 24 is a date established of united nations military observer group in india and pakistan
(dateEstablished WorldTourismOrganization
    (DayFn 2
        (MonthFn January
            (YearFn 1975))))
Government.kif 4348-4348 The day 2 is a date established of world tourism organization
(equal UnixEpoch
    (SecondFn 0
        (MinuteFn 0
            (HourFn 0
                (DayFn 1
                    (MonthFn January
                        (YearFn 1970)))))))
QoSontology.kif 2148-2148 Unix epoch is equal to the second 0
(subclass Epiphany
    (DayFn 6 January))
Media.kif 517-517 Epiphany is a subclass of the day 6


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 3.0 is open source software produced by Articulate Software and its partners