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

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


(rangeSubclass DayFn Day) Merge.kif 8492-8492 日函数 的所得值 是 subclass
(subclass ChristmasDay Day) Media.kif 335-335 ChristmasDaysubclass
(subclass Friday Day) Merge.kif 9180-9180 星期五subclass
(subclass Monday Day) Merge.kif 9138-9138 星期一subclass
(subclass Saturday Day) Merge.kif 9193-9193 星期六subclass
(subclass Sunday Day) Merge.kif 9206-9206 星期日subclass
(subclass Thursday Day) Merge.kif 9167-9167 星期四subclass
(subclass Tuesday Day) Merge.kif 9141-9141 星期二subclass
(subclass Wednesday Day) Merge.kif 9154-9154 星期三subclass
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289
(termFormat EnglishLanguage Day "day") english_format.kif 1795-1795

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


(domain AfternoonFn 1 Day) Merge.kif 8736-8736 AfternoonFn 的 1 数量 是 instance
(domain EveningFn 1 Day) Merge.kif 8836-8836 EveningFn 的 1 数量 是 instance
(domain MorningFn 1 Day) Merge.kif 8720-8720 MorningFn 的 1 数量 是 instance
(domain availableBalance 2 Day) FinancialOntology.kif 3760-3760 可用余额 的 2 数量 是 instance
(domain availableCash 2 Day) FinancialOntology.kif 3783-3783 可用现金 的 2 数量 是 instance
(domain baptismdate 2 Day) Biography.kif 65-65 baptismdate 的 2 数量 是 instance
(domain birthdate 2 Day) Mid-level-ontology.kif 23645-23645 生日 的 2 数量 是 instance
(domain birthday 2 Day) Mid-level-ontology.kif 23622-23622 生日 的 2 数量 是 instance
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 4044-4044 购买电量 的 2 数量 是 instance
(domain callDate 2 Day) FinancialOntology.kif 2493-2493 通话日期 的 2 数量 是 instance
(domain closingPrice 3 Day) FinancialOntology.kif 3476-3476 收盘价 的 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 8447-8447 日期 的 2 数量 是 instance
(domain dateOfStatement 2 Day) FinancialOntology.kif 3979-3979 声明日期 的 2 数量 是 instance
(domain deathdate 2 Day) Mid-level-ontology.kif 23658-23658 deathdate 的 2 数量 是 instance
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 4053-4053 余额幅度 的 2 数量 是 instance
(domain marketValueAmount 2 Day) FinancialOntology.kif 4071-4071 市值金额 的 2 数量 是 instance
(domain maturityDate 2 Day) FinancialOntology.kif 632-632 成人礼 的 2 数量 是 instance
(domain netWorth 3 Day) FinancialOntology.kif 867-867 净值 的 3 数量 是 instance
(domain overdraft 3 Day) FinancialOntology.kif 779-779 透支 的 3 数量 是 instance
(domain primeInterestRate 1 Day) FinancialOntology.kif 600-600 主要利率 的 1 数量 是 instance
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 4062-4062 短期金额 的 2 数量 是 instance
(domain weddingdate 3 Day) Biography.kif 49-49 weddingdate 的 3 数量 是 instance
(domainSubclass HourFn 2 Day) Merge.kif 8516-8516 时函数 的 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 3695-3703
(=>
    (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 3712-3720
(=>
    (and
        (instance ?E Afternoon)
        (instance ?D Day)
        (equal ?E
            (AfternoonFn ?D)))
    (during ?E ?D))
Merge.kif 8742-8747
(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))
Merge.kif 8842-8847
(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))
Merge.kif 8726-8731
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8824-8831
(=>
    (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 4856-4874
(=>
    (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 4925-4935
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 9134-9136
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 9371-9373

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 3762-3771
(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))
Merge.kif 9361-9365
(=>
    (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 2627-2647
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3553-3562
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3492-3501
(=>
    (instance ?C CalendarText)
    (exists (?D)
        (and
            (instance ?D Day)
            (refers ?C ?D))))
ComputingBrands.kif 2263-2268
(=>
    (instance ?M Midnight)
    (exists (?D)
        (and
            (instance ?D Day)
            (equal ?M
                (EndFn ?D)))))
Merge.kif 8683-8688
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 9367-9369
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners