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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Day
Day(day)
more pictures...
14_July, 15_August_1945, 24-hour_interval, 6_June_1944, 8_May_1945, 9-11, 9/11, Admission_Day, All_Fools'_day, Allhallows_Eve, April_14, April_Fools', April_Fools'_day, Arbor_Day, Armistice_Day, Assumption, Assumption_of_Mary, August_1, August_15, August_6, Bastille_Day, Boxing_Day, Candlemas, Candlemas_Day, Christmas_Eve, Cinco_de_Mayo, Circumcision, Citizenship_Day, Commonwealth_Day, D-day, Davis'_Birthday, Day_of_Judgement, Day_of_Judgment, Dec_24, Dominion_Day, Doomsday, Dormition, Empire_day, Fast_of_Ab, Fast_of_Av, Feast_of_Dormition, Feast_of_the_Circumcision, Feb_2, February_2, February_29, Flag_Day, Groundhog_Day, Guy_Fawkes_Day, Hallowe'en, Halloween...

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 8519-8519
(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" is a URL depicting day
(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" is a URL depicting day
(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" is a URL depicting day
(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" is a URL depicting day
(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" is a URL depicting day
(relatedInternalConcept Day DayDuration) Merge.kif 8517-8517 Day is internally related to day duration
(relatedInternalConcept Day DayFn) Merge.kif 8516-8516 Day is internally related to day
(subclass Day TimeInterval) Merge.kif 8515-8515 Day is a subclass of time interval

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


(rangeSubclass DayFn Day) Merge.kif 7893-7893 The values returned by day are subclasses of day
(subclass ChristmasDay Day) Media.kif 335-335 ChristmasDay is a subclass of day
(subclass Friday Day) Merge.kif 8567-8567 Friday is a subclass of day
(subclass Monday Day) Merge.kif 8525-8525 Monday is a subclass of day
(subclass Saturday Day) Merge.kif 8580-8580 Saturday is a subclass of day
(subclass Sunday Day) Merge.kif 8593-8593 Sunday is a subclass of day
(subclass Thursday Day) Merge.kif 8554-8554 Thursday is a subclass of day
(subclass Tuesday Day) Merge.kif 8528-8528 Tuesday is a subclass of day
(subclass Wednesday Day) Merge.kif 8541-8541 Wednesday is a subclass of day
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289 "日" is the printable form of day in ChineseLanguage
(termFormat EnglishLanguage Day "day") english_format.kif 1804-1804 "day" is the printable form of day in english language

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


(domain AfternoonFn 1 Day) Merge.kif 8131-8131 The number 1 argument of AfternoonFn is an instance of day
(domain EveningFn 1 Day) Merge.kif 8228-8228 The number 1 argument of EveningFn is an instance of day
(domain MorningFn 1 Day) Merge.kif 8118-8118 The number 1 argument of MorningFn is an instance of day
(domain availableBalance 2 Day) FinancialOntology.kif 3654-3654 The number 2 argument of available balance is an instance of day
(domain availableCash 2 Day) FinancialOntology.kif 3674-3674 The number 2 argument of available cash is an instance of day
(domain baptismdate 2 Day) Biography.kif 65-65 The number 2 argument of baptismdate is an instance of day
(domain birthdate 2 Day) Mid-level-ontology.kif 21878-21878 The number 2 argument of birthdate is an instance of day
(domain birthday 2 Day) Mid-level-ontology.kif 21855-21855 The number 2 argument of birthday is an instance of day
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 3934-3934 The number 2 argument of buying power amount is an instance of day
(domain callDate 2 Day) FinancialOntology.kif 2406-2406 The number 2 argument of call date is an instance of day
(domain closingPrice 3 Day) FinancialOntology.kif 3368-3368 The number 3 argument of closing price is an instance of day
(domain currentAccountBalance 2 Day) FinancialOntology.kif 632-632 The number 2 argument of current account balance is an instance of day
(domain currentInterestRate 2 Day) FinancialOntology.kif 574-574 The number 2 argument of current interest rate is an instance of day
(domain date 2 Day) Merge.kif 7848-7848 The number 2 argument of date is an instance of day
(domain dateOfStatement 2 Day) FinancialOntology.kif 3869-3869 The number 2 argument of date of statement is an instance of day
(domain deathdate 2 Day) Mid-level-ontology.kif 21890-21890 The number 2 argument of deathdate is an instance of day
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 3943-3943 The number 2 argument of margin balance amount is an instance of day
(domain marketValueAmount 2 Day) FinancialOntology.kif 3961-3961 The number 2 argument of market value amount is an instance of day
(domain maturityDate 2 Day) FinancialOntology.kif 591-591 The number 2 argument of maturity date is an instance of day
(domain netWorth 3 Day) FinancialOntology.kif 812-812 The number 3 argument of net worth is an instance of day
(domain overdraft 3 Day) FinancialOntology.kif 729-729 The number 3 argument of overdraft is an instance of day
(domain primeInterestRate 1 Day) FinancialOntology.kif 559-559 The number 1 argument of prime interest rate is an instance of day
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 3952-3952 The number 2 argument of short balance amount is an instance of day
(domain weddingdate 3 Day) Biography.kif 49-49 The number 3 argument of weddingdate is an instance of day
(domainSubclass HourFn 2 Day) Merge.kif 7917-7917 The number 2 argument of hour is a subclass of day

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 8216-8223
(=>
    (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 8521-8523
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 8758-8760

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 8748-8752
(=>
    (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 2116-2121
(=>
    (instance ?M Midnight)
    (exists (?D)
        (and
            (instance ?D Day)
            (equal ?M
                (EndFn ?D)))))
Merge.kif 8083-8088
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 8754-8756
(=>
    (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