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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9086-9086
(documentation January JapaneseLanguage "1月のすべての MonthClass。") japanese_format.kif 1536-1536
(externalImage January "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ Ice_fishing-Lake_Harriet-2007-01-20.jpg") pictureList.kif 4897-4897
(subclass January Month) Merge.kif 9084-9084 January is a subclass of month
(successorClass January February) Merge.kif 9060-9060 February is the successor class of January.

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


(termFormat ChineseLanguage January "一月") chinese_format.kif 1277-1277
(termFormat EnglishLanguage January "January") english_format.kif 1771-1771
(termFormat FrenchLanguage January "Janvier") french_format.kif 955-955
(termFormat Hindi January "janavarI") terms-hindi.txt 490-490
(termFormat ItalianLanguage January "Gennaio") terms-it.txt 494-494
(termFormat JapaneseLanguage January "1月") japanese_format.kif 2639-2639
(termFormat PortugueseLanguage January "Janeiro") portuguese_format.kif 907-907
(termFormat cb January "enero") terms-cb.txt 496-496
(termFormat cz January "january") terms-cz.txt 530-530
(termFormat ro January "ianuarie") relations-ro.kif 976-976
(termFormat tg January "Enero") terms-tg.txt 495-495

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 9257-9264
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9092-9096
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9088-9090

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


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

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


(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))
Government.kif 2973-2973 The day 1 is a date dissolved of council for mutual economic assistance
(dateEstablished BankForInternationalSettlements
    (DayFn 20
        (MonthFn January
            (YearFn 1930))))
Government.kif 2859-2859 The day 20 is a date established of bank for international settlements
(dateEstablished CouncilForMutualEconomicAssistance
    (DayFn 25
        (MonthFn January
            (YearFn 1949))))
Government.kif 2972-2972 The day 25 is a date established of council for mutual economic assistance
(dateEstablished EconomicCooperationOrganization
    (MonthFn January
        (YearFn 1985)))
Government.kif 3110-3110 The month January is a date established of economic cooperation organization
(dateEstablished EuropeanFreeTradeAssociation
    (DayFn 4
        (MonthFn January
            (YearFn 1960))))
Government.kif 3147-3147 The day 4 is a date established of european free trade association
(dateEstablished InternationalDevelopmentAssociation
    (DayFn 26
        (MonthFn January
            (YearFn 1960))))
Government.kif 3453-3453 The day 26 is a date established of international development association
(dateEstablished OrganizationForSecurityAndCooperationInEurope
    (DayFn 1
        (MonthFn January
            (YearFn 1995))))
Government.kif 3678-3678 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 3729-3729 The day 9 is a date established of organization of arab petroleum exporting countries
(dateEstablished PartnershipForPeace
    (DayFn 11
        (MonthFn January
            (YearFn 1994))))
Government.kif 3772-3772 The day 11 is a date established of partnership for peace
(dateEstablished UnitedNationsMilitaryObserverGroupInIndiaAndPakistan
    (DayFn 24
        (MonthFn January
            (YearFn 1949))))
Government.kif 4024-4024 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 4332-4332 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 2143-2143 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 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