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。") Merge.kif 9258-9258
(documentation Day EnglishLanguage "The Class of all calendar Days.") Merge.kif 9257-9257
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG") pictureList.kif 5949-5949 externalImage and "http://upload.wikimedia.org/wikipedia/commons/1/14/ Harrison%27s_Chronometer_H5.JPG"
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg") pictureList.kif 6344-6344 externalImage and "http://upload.wikimedia.org/wikipedia/commons/7/70/ Wooden_hourglass_3.jpg"
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg") pictureList.kif 6345-6345 externalImage and "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Dagr_by_Arbo.jpg"
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg") pictureList.kif 6346-6346 externalImage and "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Water%2CRabbit%2CDeer.jpg"
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg") pictureList.kif 6347-6347 externalImage and "http://upload.wikimedia.org/wikipedia/commons/f/f6/ A_day_panorama_-_digital_art.jpg"
(relatedInternalConcept Day DayDuration) Merge.kif 9256-9256 DayDuration 是 内部相关
(relatedInternalConcept Day DayFn) Merge.kif 9255-9255 日函数 是 内部相关
(subclass Day TimeInterval) Merge.kif 9254-9254 时距subclass

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


(rangeSubclass DayFn Day) Merge.kif 8710-8710 日函数 的所得值 是 subclass
(subclass ChristmasDay Day) Media.kif 335-335 ChristmasDaysubclass
(subclass Friday Day) Merge.kif 9307-9307 星期五subclass
(subclass Monday Day) Merge.kif 9264-9264 星期一subclass
(subclass Saturday Day) Merge.kif 9320-9320 星期六subclass
(subclass Sunday Day) Merge.kif 9333-9333 星期日subclass
(subclass Thursday Day) Merge.kif 9294-9294 星期四subclass
(subclass Tuesday Day) Merge.kif 9268-9268 星期二subclass
(subclass Wednesday Day) Merge.kif 9281-9281 星期三subclass
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289 termFormat ChineseLanguage, and "日"
(termFormat EnglishLanguage Day "day") english_format.kif 976-976 termFormat EnglishLanguage, and "day"

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


(domain AfternoonFn 1 Day) Merge.kif 8929-8929 AfternoonFn 的 1 数量 是 instance
(domain EveningFn 1 Day) Merge.kif 8971-8971 EveningFn 的 1 数量 是 instance
(domain MorningFn 1 Day) Merge.kif 8917-8917 MorningFn 的 1 数量 是 instance
(domain availableBalance 2 Day) FinancialOntology.kif 3648-3648 availableBalance 的 2 数量 是 instance
(domain availableCash 2 Day) FinancialOntology.kif 3668-3668 availableCash 的 2 数量 是 instance
(domain baptismdate 2 Day) Biography.kif 65-65 baptismdate 的 2 数量 是 instance
(domain birthdate 2 Day) Mid-level-ontology.kif 21973-21973 birthdate 的 2 数量 是 instance
(domain birthday 2 Day) Mid-level-ontology.kif 21950-21950 birthday 的 2 数量 是 instance
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 3929-3929 buyingPowerAmount 的 2 数量 是 instance
(domain callDate 2 Day) FinancialOntology.kif 2408-2408 callDate 的 2 数量 是 instance
(domain closingPrice 3 Day) FinancialOntology.kif 3362-3362 closingPrice 的 3 数量 是 instance
(domain currentAccountBalance 2 Day) FinancialOntology.kif 633-633 currentAccountBalance 的 2 数量 是 instance
(domain currentInterestRate 2 Day) FinancialOntology.kif 575-575 currentInterestRate 的 2 数量 是 instance
(domain date 2 Day) Merge.kif 8655-8655 日期 的 2 数量 是 instance
(domain dateOfStatement 2 Day) FinancialOntology.kif 3863-3863 dateOfStatement 的 2 数量 是 instance
(domain deathdate 2 Day) Mid-level-ontology.kif 21985-21985 deathdate 的 2 数量 是 instance
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 3938-3938 marginBalanceAmount 的 2 数量 是 instance
(domain marketValueAmount 2 Day) FinancialOntology.kif 3956-3956 marketValueAmount 的 2 数量 是 instance
(domain maturityDate 2 Day) FinancialOntology.kif 592-592 maturityDate 的 2 数量 是 instance
(domain netWorth 3 Day) FinancialOntology.kif 813-813 netWorth 的 3 数量 是 instance
(domain overdraft 3 Day) FinancialOntology.kif 730-730 overdraft 的 3 数量 是 instance
(domain primeInterestRate 1 Day) FinancialOntology.kif 560-560 primeInterestRate 的 1 数量 是 instance
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 3947-3947 shortBalanceAmount 的 2 数量 是 instance
(domain weddingdate 3 Day) Biography.kif 49-49 weddingdate 的 3 数量 是 instance
(domainSubclass HourFn 2 Day) Merge.kif 8737-8737 时函数 的 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 3583-3591
(=>
    (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 3600-3608
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8959-8966
(=>
    (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 4630-4643
(=>
    (and
        (lowTide ?PLACE ?TIME1 ?AMOUNT1)
        (highTide ?PLACE ?TIME2 ?AMOUNT2)
        (instance ?DAY Day)
        (overlapsTemporally ?TIME1 ?DAY)
        (overlapsTemporally ?TIME2 ?DAY))
    (greaterThan ?AMOUNT1 ?AMOUNT2))
Geography.kif 4694-4701
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 9260-9262
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 9502-9504

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 9492-9496
(=>
    (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 2595-2615
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3456-3465
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3416-3425
(=>
    (instance ?C CalendarText)
    (exists (?D)
        (and
            (instance ?D Day)
            (refers ?C ?D))))
ComputingBrands.kif 929-934
(=>
    (instance ?M Midnight)
    (exists (?D)
        (and
            (instance ?D Day)
            (equal ?M
                (EndFn ?D)))))
Merge.kif 8907-8912
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 9498-9500
(=>
    (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