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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Day
Day(日)
more pictures...

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


(documentation Day ChineseLanguage "这是所有日历日的 Class。") chinese_format.kif 2807-2807
(documentation Day EnglishLanguage "The Class of all calendar Days.") Merge.kif 9272-9272
(documentation Day JapaneseLanguage "すべてのカレンダー DayClass。") japanese_format.kif 1548-1548
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG") pictureList.kif 5947-5947
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg") pictureList.kif 6342-6342
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg") pictureList.kif 6343-6343
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg") pictureList.kif 6344-6344
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg") pictureList.kif 6345-6345
(relatedInternalConcept Day DayDuration) Merge.kif 9270-9270 一天长度 是 内部相关
(relatedInternalConcept Day DayFn) Merge.kif 9269-9269 日函数 是 内部相关
(subclass Day TimeInterval) Merge.kif 9268-9268 时距subclass

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


(rangeSubclass DayFn Day) Merge.kif 8628-8628 日函数 的所得值 是 subclass
(subclass ChristmasDay Day) Media.kif 335-335 ChristmasDaysubclass
(subclass Friday Day) Merge.kif 9320-9320 星期五subclass
(subclass Monday Day) Merge.kif 9278-9278 星期一subclass
(subclass Saturday Day) Merge.kif 9333-9333 星期六subclass
(subclass Sunday Day) Merge.kif 9346-9346 星期日subclass
(subclass Thursday Day) Merge.kif 9307-9307 星期四subclass
(subclass Tuesday Day) Merge.kif 9281-9281 星期二subclass
(subclass Wednesday Day) Merge.kif 9294-9294 星期三subclass
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289 星期三subclass
(termFormat EnglishLanguage Day "day") english_format.kif 1795-1795 星期三subclass
(termFormat FrenchLanguage Day "jour") french_format.kif 967-967 星期三subclass
(termFormat Hindi Day "divasa") terms-hindi.txt 502-502 星期三subclass
(termFormat ItalianLanguage Day "Giorno") terms-it.txt 506-506 星期三subclass
(termFormat JapaneseLanguage Day "日") japanese_format.kif 2651-2651 星期三subclass
(termFormat PortugueseLanguage Day "Dia") portuguese_format.kif 919-919 星期三subclass
(termFormat cb Day "adlaw") terms-cb.txt 508-508 星期三subclass
(termFormat cz Day "day") terms-cz.txt 542-542 星期三subclass
(termFormat ro Day "zi") relations-ro.kif 988-988 星期三subclass
(termFormat tg Day "araw") terms-tg.txt 507-507 星期三subclass

appearance as argument number 3
-------------------------


(domain AfternoonFn 1 Day) Merge.kif 8872-8872 AfternoonFn 的 1 数量 是 instance
(domain EveningFn 1 Day) Merge.kif 8972-8972 EveningFn 的 1 数量 是 instance
(domain MorningFn 1 Day) Merge.kif 8856-8856 MorningFn 的 1 数量 是 instance
(domain availableBalance 2 Day) FinancialOntology.kif 3808-3808 可用余额 的 2 数量 是 instance
(domain availableCash 2 Day) FinancialOntology.kif 3831-3831 可用现金 的 2 数量 是 instance
(domain baptizeddate 2 Day) Biography.kif 175-175 baptizeddate 的 2 数量 是 instance
(domain birthdate 2 Day) Mid-level-ontology.kif 24597-24597 出生日期 的 2 数量 是 instance
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 4092-4092 购买电量 的 2 数量 是 instance
(domain callDate 2 Day) FinancialOntology.kif 2485-2485 通话日期 的 2 数量 是 instance
(domain closingPrice 3 Day) FinancialOntology.kif 3472-3472 收盘价 的 3 数量 是 instance
(domain currentAccountBalance 2 Day) FinancialOntology.kif 673-673 目前账户余额 的 2 数量 是 instance
(domain currentInterestRate 2 Day) FinancialOntology.kif 615-615 目前的利率 的 2 数量 是 instance
(domain date 2 Day) Merge.kif 8583-8583 日期 的 2 数量 是 instance
(domain dateOfStatement 2 Day) FinancialOntology.kif 4027-4027 声明日期 的 2 数量 是 instance
(domain deathdate 2 Day) Mid-level-ontology.kif 24610-24610 deathdate 的 2 数量 是 instance
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 4101-4101 余额幅度 的 2 数量 是 instance
(domain marketValueAmount 2 Day) FinancialOntology.kif 4119-4119 市值金额 的 2 数量 是 instance
(domain maturityDate 2 Day) FinancialOntology.kif 632-632 成人礼 的 2 数量 是 instance
(domain netWorth 3 Day) FinancialOntology.kif 868-868 净值 的 3 数量 是 instance
(domain overdraft 3 Day) FinancialOntology.kif 780-780 透支 的 3 数量 是 instance
(domain primeInterestRate 1 Day) FinancialOntology.kif 600-600 主要利率 的 1 数量 是 instance
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 4110-4110 短期金额 的 2 数量 是 instance
(domain weddingdate 3 Day) Mid-level-ontology.kif 24542-24542 weddingdate 的 3 数量 是 instance
(domainSubclass HourFn 2 Day) Merge.kif 8652-8652 时函数 的 2 数量 是 subclass
(domainSubclass anniversary 2 Day) Mid-level-ontology.kif 24511-24511 周年 的 2 数量 是 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?E Afternoon)
        (instance ?D Day)
        (equal ?E
            (AfternoonFn ?D)))
    (during ?E ?D))
Merge.kif 8878-8883
(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))
Merge.kif 8978-8983
(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))
Merge.kif 8862-8867
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8960-8967
(=>
    (and
        (instance ?H Man)
        (attribute ?H Mausaharati)
        (instance ?D Drumming)
        (agent ?D ?H)
        (instance ?DAY Day)
        (instance ?S Sunrise)
        (during ?S ?DAY)
        (earlier
            (WhenFn ?D) ?S))
    (hasPurpose ?D
        (exists (?P ?SUHUR ?WU)
            (and
                (instance ?WU WakingUp)
                (experiencer ?WU ?P)
                (instance ?SUHUR Suhur)
                (agent ?SUHUR ?P)
                (earlier
                    (WhenFn ?WU)
                    (WhenFn ?SUHUR))
                (during
                    (WhenFn ?WU) ?DAY)
                (during
                    (WhenFn ?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
(=>
    (and
        (instance ?LOW LowTide)
        (instance ?HIGH HighTide)
        (eventLocated ?LOW ?PLACE)
        (eventLocated ?HIGH ?PLACE)
        (instance ?DAY Day)
        (overlapsTemporally ?LOW ?DAY)
        (overlapsTemporally ?HIGH ?DAY))
    (exists (?AMOUNT1 ?AMOUNT2 ?U)
        (and
            (instance ?U UnitOfLength)
            (holdsDuring ?LOW
                (waterDepth ?PLACE
                    (MeasureFn ?AMOUNT1 ?U)))
            (holdsDuring ?HIGH
                (waterDepth ?PLACE
                    (MeasureFn ?AMOUNT2 ?U)))
            (greaterThan ?AMOUNT2 ?AMOUNT1))))
Geography.kif 4934-4952
(=>
    (and
        (lowTide ?PLACE ?TIME1
            (MeasureFn ?AMOUNT1 ?U))
        (highTide ?PLACE ?TIME2
            (MeasureFn ?AMOUNT2 ?U))
        (instance ?U UnitOfLength)
        (instance ?DAY Day)
        (overlapsTemporally ?TIME1 ?DAY)
        (overlapsTemporally ?TIME2 ?DAY))
    (greaterThan ?AMOUNT1 ?AMOUNT2))
Geography.kif 5003-5013
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 9274-9276
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 9511-9513

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


(=>
    (and
        (birthdate ?A ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (birthday ?A ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))
Mid-level-ontology.kif 24565-24575
(=>
    (and
        (equal ?FY
            (FiscalYearStartingFn ?PLACE ?YEAR))
        (fiscalYearPeriod ?PLACE ?PERIOD)
        (instance ?FY ?PERIOD))
    (exists (?DAY ?INST)
        (and
            (instance ?DAY Day)
            (starts ?DAY ?FY)
            (instance ?INST ?YEAR)
            (temporalPart ?DAY ?INST))))
Economy.kif 3869-3879
(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))
Merge.kif 9501-9505
(=>
    (and
        (instance ?POLICY DailyHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY))
    (modalAttribute
        (exists (?GUEST ?ROOM ?STAY)
            (and
                (guest ?GUEST ?AGENT)
                (stays ?GUEST ?ROOM)
                (equal ?STAY
                    (WhenFn
                        (stays ?GUEST ?ROOM)))
                (holdsDuring ?STAY
                    (forall (?DAY)
                        (=>
                            (and
                                (instance ?DAY Day)
                                (during ?DAY ?STAY))
                            (exists (?RC)
                                (and
                                    (instance ?RC RoomCleaningService)
                                    (patient ?RC ?ROOM)
                                    (during ?RC ?DAY)))))))) Likely))
Hotel.kif 2654-2674
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3619-3628
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3558-3567
(=>
    (and
        (instance ?TEXT BirthCertificate)
        (instance ?B Birth)
        (instance ?A Human)
        (experiencer ?B ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N)
            (and
                (birthdate ?A ?DAY)
                (instance ?DAY Day)
                (birthplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)))))
Biography.kif 250-264
(=>
    (and
        (instance ?TEXT DeathCertificate)
        (instance ?D Death)
        (instance ?A Human)
        (experiencer ?D ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N ?PROC)
            (and
                (deathdate ?A ?DAY)
                (instance ?DAY Day)
                (deathplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)
                (causes ?PROC ?D)
                (instance ?PROC Process)))))
Biography.kif 280-296
(=>
    (and
        (instance ?TEXT MarriageCertificate)
        (instance ?A Human)
        (instance ?B Human)
        (spouse ?A ?B))
    (containsFormula ?TEXT
        (exists (?DAY)
            (and
                (weddingdate ?A ?B ?DAY)
                (instance ?DAY Day)))))
Biography.kif 307-317
(=>
    (and
        (instance ?WED Wedding)
        (date ?WED ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (weddingAnniversary ?WED ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))
Mid-level-ontology.kif 24524-24535
(=>
    (dayPhone ?Number ?Agent)
    (exists (?Phone ?Hour ?Num)
        (and
            (phoneNumber ?Number ?Phone)
            (greaterThan ?Num 6)
            (lessThan ?Num 18)
            (holdsDuring
                (instance ?Hour
                    (HourFn ?Num Day))
                (exists (?T)
                    (and
                        (instance ?T Telephoning)
                        (destination ?T ?Agent)
                        (patient ?T ?Phone)
                        (possesses ?Agent ?Phone)
                        (modalAttribute
                            (exists (?A)
                                (and
                                    (instance ?A Answering)
                                    (subProcess ?A ?T)
                                    (agent ?A ?Agent))) Likely)))))))
FinancialOntology.kif 3691-3711
(=>
    (eveningPhone ?Number ?Agent)
    (exists (?Phone ?Hour ?Num)
        (and
            (phoneNumber ?Number ?Phone)
            (greaterThan ?Num 18)
            (lessThan ?Num 6)
            (holdsDuring
                (instance ?Hour
                    (HourFn ?Num Day))
                (exists (?T)
                    (and
                        (instance ?T Telephoning)
                        (destination ?T ?Agent)
                        (patient ?T ?Phone)
                        (possesses ?Agent ?Phone)
                        (modalAttribute
                            (exists (?A)
                                (and
                                    (instance ?A Answering)
                                    (subProcess ?A ?T)
                                    (agent ?A ?Agent))) Likely)))))))
FinancialOntology.kif 3735-3755
(=>
    (instance ?C CalendarText)
    (exists (?D)
        (and
            (instance ?D Day)
            (refers ?C ?D))))
ComputingBrands.kif 2295-2300
(=>
    (instance ?M Midnight)
    (exists (?D)
        (and
            (instance ?D Day)
            (equal ?M
                (EndFn ?D)))))
Merge.kif 8819-8824
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 9507-9509
(=>
    (instance ?X Iftar)
    (exists (?R ?S ?D)
        (and
            (instance ?S Sunset)
            (instance ?R Ramadan)
            (instance ?D Day)
            (during ?D ?R)
            (during
                (WhenFn ?X) ?D)
            (during ?S ?D)
            (before ?S
                (WhenFn ?X)))))
ArabicCulture.kif 91-101
(=>
    (instance ?X Suhur)
    (exists (?R ?S ?D)
        (and
            (instance ?S Sunrise)
            (instance ?R Ramadan)
            (instance ?D Day)
            (during ?D ?R)
            (during
                (WhenFn ?X) ?D)
            (during ?S ?D)
            (before
                (WhenFn ?X) ?S))))
ArabicCulture.kif 36-46


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