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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Day

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 9138-9138
(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 9136-9136 一天长度 是 内部相关
(relatedInternalConcept Day DayFn) Merge.kif 9135-9135 日函数 是 内部相关
(subclass Day TimeInterval) Merge.kif 9134-9134 时距subclass

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


(rangeSubclass DayFn Day) Merge.kif 8498-8498 日函数 的所得值 是 subclass
(subclass ChristmasDay Day) Media.kif 335-335 ChristmasDaysubclass
(subclass Friday Day) Merge.kif 9186-9186 星期五subclass
(subclass Monday Day) Merge.kif 9144-9144 星期一subclass
(subclass Saturday Day) Merge.kif 9199-9199 星期六subclass
(subclass Sunday Day) Merge.kif 9212-9212 星期日subclass
(subclass Thursday Day) Merge.kif 9173-9173 星期四subclass
(subclass Tuesday Day) Merge.kif 9147-9147 星期二subclass
(subclass Wednesday Day) Merge.kif 9160-9160 星期三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 8742-8742 AfternoonFn 的 1 数量 是 instance
(domain EveningFn 1 Day) Merge.kif 8842-8842 EveningFn 的 1 数量 是 instance
(domain MorningFn 1 Day) Merge.kif 8726-8726 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 23649-23649 生日 的 2 数量 是 instance
(domain birthday 2 Day) Mid-level-ontology.kif 23626-23626 生日 的 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 8453-8453 日期 的 2 数量 是 instance
(domain dateOfStatement 2 Day) FinancialOntology.kif 3979-3979 声明日期 的 2 数量 是 instance
(domain deathdate 2 Day) Mid-level-ontology.kif 23662-23662 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 8522-8522 时函数 的 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 8748-8753
(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))
Merge.kif 8848-8853
(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))
Merge.kif 8732-8737
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8830-8837
(=>
    (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 9140-9142
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 9377-9379

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 9367-9371
(=>
    (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 8689-8694
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 9373-9375
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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