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。") 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 "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 9256-9256 Day is internally related to day duration
(relatedInternalConcept Day DayFn) Merge.kif 9255-9255 Day is internally related to day
(subclass Day TimeInterval) Merge.kif 9254-9254 Day is a subclass of time interval

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


(rangeSubclass DayFn Day) Merge.kif 8710-8710 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 9307-9307 Friday is a subclass of day
(subclass Monday Day) Merge.kif 9264-9264 Monday is a subclass of day
(subclass Saturday Day) Merge.kif 9320-9320 Saturday is a subclass of day
(subclass Sunday Day) Merge.kif 9333-9333 Sunday is a subclass of day
(subclass Thursday Day) Merge.kif 9294-9294 Thursday is a subclass of day
(subclass Tuesday Day) Merge.kif 9268-9268 Tuesday is a subclass of day
(subclass Wednesday Day) Merge.kif 9281-9281 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 1948-1948 "day" is the printable form of day in english language
(termFormat JapaneseLanguage Day "日") english_format.kif 1949-1949 "日" is the printable form of day in japanese language

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


(domain AfternoonFn 1 Day) Merge.kif 8929-8929 The number 1 argument of AfternoonFn is an instance of day
(domain EveningFn 1 Day) Merge.kif 8971-8971 The number 1 argument of EveningFn is an instance of day
(domain MorningFn 1 Day) Merge.kif 8917-8917 The number 1 argument of MorningFn is an instance of day
(domain availableBalance 2 Day) FinancialOntology.kif 3648-3648 The number 2 argument of available balance is an instance of day
(domain availableCash 2 Day) FinancialOntology.kif 3668-3668 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 21973-21973 The number 2 argument of birthdate is an instance of day
(domain birthday 2 Day) Mid-level-ontology.kif 21950-21950 The number 2 argument of birthday is an instance of day
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 3929-3929 The number 2 argument of buying power amount is an instance of day
(domain callDate 2 Day) FinancialOntology.kif 2408-2408 The number 2 argument of call date is an instance of day
(domain closingPrice 3 Day) FinancialOntology.kif 3362-3362 The number 3 argument of closing price is an instance of day
(domain currentAccountBalance 2 Day) FinancialOntology.kif 633-633 The number 2 argument of current account balance is an instance of day
(domain currentInterestRate 2 Day) FinancialOntology.kif 575-575 The number 2 argument of current interest rate is an instance of day
(domain date 2 Day) Merge.kif 8655-8655 The number 2 argument of date is an instance of day
(domain dateOfStatement 2 Day) FinancialOntology.kif 3863-3863 The number 2 argument of date of statement is an instance of day
(domain deathdate 2 Day) Mid-level-ontology.kif 21985-21985 The number 2 argument of deathdate is an instance of day
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 3938-3938 The number 2 argument of margin balance amount is an instance of day
(domain marketValueAmount 2 Day) FinancialOntology.kif 3956-3956 The number 2 argument of market value amount is an instance of day
(domain maturityDate 2 Day) FinancialOntology.kif 592-592 The number 2 argument of maturity date is an instance of day
(domain netWorth 3 Day) FinancialOntology.kif 813-813 The number 3 argument of net worth is an instance of day
(domain overdraft 3 Day) FinancialOntology.kif 730-730 The number 3 argument of overdraft is an instance of day
(domain primeInterestRate 1 Day) FinancialOntology.kif 560-560 The number 1 argument of prime interest rate is an instance of day
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 3947-3947 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 8737-8737 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 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 2116-2121
(=>
    (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