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 8552-8552
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG") pictureList.kif 5949-5949 "http://upload.wikimedia.org/wikipedia/commons/1/14/ Harrison%27s_Chronometer_H5.JPG" 是苗素 URL
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg") pictureList.kif 6344-6344 "http://upload.wikimedia.org/wikipedia/commons/7/70/ Wooden_hourglass_3.jpg" 是苗素 URL
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg") pictureList.kif 6345-6345 "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Dagr_by_Arbo.jpg" 是苗素 URL
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg") pictureList.kif 6346-6346 "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Water%2CRabbit%2CDeer.jpg" 是苗素 URL
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg") pictureList.kif 6347-6347 "http://upload.wikimedia.org/wikipedia/commons/f/f6/ A_day_panorama_-_digital_art.jpg" 是苗素 URL
(relatedInternalConcept Day DayDuration) Merge.kif 8550-8550 一天长度 是 内部相关
(relatedInternalConcept Day DayFn) Merge.kif 8549-8549 日函数 是 内部相关
(subclass Day TimeInterval) Merge.kif 8548-8548 时距subclass

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


(rangeSubclass DayFn Day) Merge.kif 7926-7926 日函数 的所得值 是 subclass
(subclass ChristmasDay Day) Media.kif 335-335 ChristmasDaysubclass
(subclass Friday Day) Merge.kif 8600-8600 星期五subclass
(subclass Monday Day) Merge.kif 8558-8558 星期一subclass
(subclass Saturday Day) Merge.kif 8613-8613 星期六subclass
(subclass Sunday Day) Merge.kif 8626-8626 星期日subclass
(subclass Thursday Day) Merge.kif 8587-8587 星期四subclass
(subclass Tuesday Day) Merge.kif 8561-8561 星期二subclass
(subclass Wednesday Day) Merge.kif 8574-8574 星期三subclass
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289 "日" 是 printable formChineseLanguage
(termFormat EnglishLanguage Day "day") english_format.kif 1804-1804 "day" 是 printable form英语

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


(domain AfternoonFn 1 Day) Merge.kif 8164-8164 AfternoonFn 的 1 数量 是 instance
(domain EveningFn 1 Day) Merge.kif 8261-8261 EveningFn 的 1 数量 是 instance
(domain MorningFn 1 Day) Merge.kif 8151-8151 MorningFn 的 1 数量 是 instance
(domain availableBalance 2 Day) FinancialOntology.kif 3654-3654 可用余额 的 2 数量 是 instance
(domain availableCash 2 Day) FinancialOntology.kif 3674-3674 可用现金 的 2 数量 是 instance
(domain baptismdate 2 Day) Biography.kif 65-65 baptismdate 的 2 数量 是 instance
(domain birthdate 2 Day) Mid-level-ontology.kif 21974-21974 生日 的 2 数量 是 instance
(domain birthday 2 Day) Mid-level-ontology.kif 21951-21951 生日 的 2 数量 是 instance
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 3934-3934 购买电量 的 2 数量 是 instance
(domain callDate 2 Day) FinancialOntology.kif 2406-2406 通话日期 的 2 数量 是 instance
(domain closingPrice 3 Day) FinancialOntology.kif 3368-3368 收盘价 的 3 数量 是 instance
(domain currentAccountBalance 2 Day) FinancialOntology.kif 632-632 目前账户余额 的 2 数量 是 instance
(domain currentInterestRate 2 Day) FinancialOntology.kif 574-574 目前的利率 的 2 数量 是 instance
(domain date 2 Day) Merge.kif 7881-7881 日期 的 2 数量 是 instance
(domain dateOfStatement 2 Day) FinancialOntology.kif 3869-3869 声明日期 的 2 数量 是 instance
(domain deathdate 2 Day) Mid-level-ontology.kif 21986-21986 deathdate 的 2 数量 是 instance
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 3943-3943 余额幅度 的 2 数量 是 instance
(domain marketValueAmount 2 Day) FinancialOntology.kif 3961-3961 市值金额 的 2 数量 是 instance
(domain maturityDate 2 Day) FinancialOntology.kif 591-591 成人礼 的 2 数量 是 instance
(domain netWorth 3 Day) FinancialOntology.kif 812-812 净值 的 3 数量 是 instance
(domain overdraft 3 Day) FinancialOntology.kif 729-729 透支 的 3 数量 是 instance
(domain primeInterestRate 1 Day) FinancialOntology.kif 559-559 主要利率 的 1 数量 是 instance
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 3952-3952 短期金额 的 2 数量 是 instance
(domain weddingdate 3 Day) Biography.kif 49-49 weddingdate 的 3 数量 是 instance
(domainSubclass HourFn 2 Day) Merge.kif 7950-7950 时函数 的 2 数量 是 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (attribute ?H Mausaharati)
        (instance ?D Drumming)
        (agent ?D ?H)
        (instance ?DAY Day)
        (instance ?S Sunrise)
        (during ?S ?D)
        (before ?D ?S))
    (hasPurpose ?D
        (exists (?P ?SUHUR ?WU)
            (and
                (instance ?WU WakingUp)
                (experiencer ?WU ?P)
                (instance ?SUHUR Suhur)
                (agent ?SUHUR ?P)
                (before ?WU ?SUHUR)
                (during ?WU ?DAY)
                (during ?SUHUR ?DAY)))))
ArabicCulture.kif 57-75
(=>
    (and
        (dayPhone ?Number ?Agent)
        (instance ?Day Day))
    (exists (?Phone)
        (and
            (phoneNumber ?Number ?Phone)
            (holdsDuring
                (HourFn ?Number ?Day)
                (possesses ?Agent ?Phone))
            (lessThan ?Number 18))))
FinancialOntology.kif 3589-3597
(=>
    (and
        (eveningPhone ?Number ?Agent)
        (instance ?Day Day))
    (exists (?Phone)
        (and
            (phoneNumber ?Number ?Phone)
            (holdsDuring
                (HourFn ?Number ?Day)
                (possesses ?Agent ?Phone))
            (greaterThan ?Number 18))))
FinancialOntology.kif 3606-3614
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8249-8256
(=>
    (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)
        (and
            (holdsDuring ?LOW
                (waterDepth ?PLACE ?AMOUNT1))
            (holdsDuring ?HIGH
                (waterDepth ?PLACE ?AMOUNT2))
            (greaterThan ?AMOUNT2 ?AMOUNT1))))
Geography.kif 4644-4657
(=>
    (and
        (lowTide ?PLACE ?TIME1 ?AMOUNT1)
        (highTide ?PLACE ?TIME2 ?AMOUNT2)
        (instance ?DAY Day)
        (overlapsTemporally ?TIME1 ?DAY)
        (overlapsTemporally ?TIME2 ?DAY))
    (greaterThan ?AMOUNT1 ?AMOUNT2))
Geography.kif 4708-4715
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 8554-8556
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 8791-8793

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


(=>
    (and
        (equal ?FY
            (FiscalYearStartingFn ?PLACE ?YEAR))
        (fiscalYearPeriod ?PLACE ?PERIOD)
        (instance ?FY ?PERIOD))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (starts ?DAY ?FY)
            (temporalPart ?DAY ?YEAR))))
Economy.kif 3755-3764
(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))
Merge.kif 8781-8785
(=>
    (and
        (instance ?POLICY DailyHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY))
    (modalAttribute
        (exists (?GUEST ?ROOM)
            (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 2600-2620
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3469-3478
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3429-3438
(=>
    (instance ?C CalendarText)
    (exists (?D)
        (and
            (instance ?D Day)
            (refers ?C ?D))))
ComputingBrands.kif 2275-2280
(=>
    (instance ?M Midnight)
    (exists (?D)
        (and
            (instance ?D Day)
            (equal ?M
                (EndFn ?D)))))
Merge.kif 8116-8121
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 8787-8789
(=>
    (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 82-92
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners