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 8959-8959
(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 8957-8957 一月subclass
(successorClass January February) Merge.kif 8933-8933 successorClass 一月 and 二月

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 9130-9137
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8965-8969
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8961-8963

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 3001-3001 1 Day共同经济援助理事会 的闭幕 date
(dateEstablished BankForInternationalSettlements
    (DayFn 20
        (MonthFn January
            (YearFn 1930))))
Government.kif 2887-2887 20 Day国际结算银行 的成立 date
(dateEstablished CouncilForMutualEconomicAssistance
    (DayFn 25
        (MonthFn January
            (YearFn 1949))))
Government.kif 3000-3000 25 Day共同经济援助理事会 的成立 date
(dateEstablished EconomicCooperationOrganization
    (MonthFn January
        (YearFn 1985)))
Government.kif 3138-3138 一月 month经济合作组织 的成立 date
(dateEstablished EuropeanFreeTradeAssociation
    (DayFn 4
        (MonthFn January
            (YearFn 1960))))
Government.kif 3175-3175 4 Day欧洲自由贸易协会 的成立 date
(dateEstablished InternationalDevelopmentAssociation
    (DayFn 26
        (MonthFn January
            (YearFn 1960))))
Government.kif 3481-3481 26 Day国际发展协会 的成立 date
(dateEstablished OrganizationForSecurityAndCooperationInEurope
    (DayFn 1
        (MonthFn January
            (YearFn 1995))))
Government.kif 3706-3706 1 Day欧洲安全与合作组织 的成立 date
(dateEstablished OrganizationOfArabPetroleumExportingCountries
    (DayFn 9
        (MonthFn January
            (YearFn 1968))))
Government.kif 3757-3757 9 Day阿拉伯石油出口国组织 的成立 date
(dateEstablished PartnershipForPeace
    (DayFn 11
        (MonthFn January
            (YearFn 1994))))
Government.kif 3800-3800 11 Day和平伙伴关系 的成立 date
(dateEstablished UnitedNationsMilitaryObserverGroupInIndiaAndPakistan
    (DayFn 24
        (MonthFn January
            (YearFn 1949))))
Government.kif 4052-4052 24 Day联合国驻印度和巴基斯坦军事观察组 的成立 date
(dateEstablished WorldTourismOrganization
    (DayFn 2
        (MonthFn January
            (YearFn 1975))))
Government.kif 4360-4360 2 Day世界旅游组织 的成立 date
(equal UnixEpoch
    (SecondFn 0
        (MinuteFn 0
            (HourFn 0
                (DayFn 1
                    (MonthFn January
                        (YearFn 1970)))))))
QoSontology.kif 2148-2148 Unix时代 equal 0 second
(subclass Epiphany
    (DayFn 6 January))
Media.kif 517-517 Epiphany 是 6 daysubclass


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