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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - January
January(1月)

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 9163-9163
(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 4896-4896
(subclass January Month) Merge.kif 9161-9161 1月subclass では
(successorClass January February) Merge.kif 9137-9137 successorClass 1月 and 2月

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 de January "Januar") terms-de.txt 789-789
(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 9334-9341
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9169-9173
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9165-9167

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 2970-2970 dateDissolved CouncilForMutualEconomicAssistance and 1 day
(dateEstablished BankForInternationalSettlements
    (DayFn 20
        (MonthFn January
            (YearFn 1930))))
Government.kif 2856-2856 dateEstablished BankForInternationalSettlements and 20 day
(dateEstablished CouncilForMutualEconomicAssistance
    (DayFn 25
        (MonthFn January
            (YearFn 1949))))
Government.kif 2969-2969 dateEstablished CouncilForMutualEconomicAssistance and 25 day
(dateEstablished EconomicCooperationOrganization
    (MonthFn January
        (YearFn 1985)))
Government.kif 3107-3107 dateEstablished EconomicCooperationOrganization and 1月 month
(dateEstablished EuropeanFreeTradeAssociation
    (DayFn 4
        (MonthFn January
            (YearFn 1960))))
Government.kif 3144-3144 dateEstablished EuropeanFreeTradeAssociation and 4 day
(dateEstablished InternationalDevelopmentAssociation
    (DayFn 26
        (MonthFn January
            (YearFn 1960))))
Government.kif 3450-3450 dateEstablished InternationalDevelopmentAssociation and 26 day
(dateEstablished OrganizationForSecurityAndCooperationInEurope
    (DayFn 1
        (MonthFn January
            (YearFn 1995))))
Government.kif 3675-3675 dateEstablished OrganizationForSecurityAndCooperationInEurope and 1 day
(dateEstablished OrganizationOfArabPetroleumExportingCountries
    (DayFn 9
        (MonthFn January
            (YearFn 1968))))
Government.kif 3726-3726 dateEstablished OrganizationOfArabPetroleumExportingCountries and 9 day
(dateEstablished PartnershipForPeace
    (DayFn 11
        (MonthFn January
            (YearFn 1994))))
Government.kif 3769-3769 dateEstablished PartnershipForPeace and 11 day
(dateEstablished UnitedNationsMilitaryObserverGroupInIndiaAndPakistan
    (DayFn 24
        (MonthFn January
            (YearFn 1949))))
Government.kif 4021-4021 dateEstablished UnitedNationsMilitaryObserverGroupInIndiaAndPakistan and 24 day
(dateEstablished WorldTourismOrganization
    (DayFn 2
        (MonthFn January
            (YearFn 1975))))
Government.kif 4329-4329 dateEstablished WorldTourismOrganization and 2 day
(equal UnixEpoch
    (SecondFn 0
        (MinuteFn 0
            (HourFn 0
                (DayFn 1
                    (MonthFn January
                        (YearFn 1970)))))))
QoSontology.kif 2275-2275 equal UnixEpoch and 0 second
(subclass Epiphany
    (DayFn 6 January))
Media.kif 517-517 Epiphany は 6 day 目 の subclass では


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