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 9347-9347
(documentation Day JapaneseLanguage "すべてのカレンダー DayClass。") japanese_format.kif 1548-1548
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG") pictureList.kif 5947-5947
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg") pictureList.kif 6342-6342
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg") pictureList.kif 6343-6343
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg") pictureList.kif 6344-6344
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg") pictureList.kif 6345-6345
(relatedInternalConcept Day DayDuration) Merge.kif 9345-9345 Day is internally related to day duration
(relatedInternalConcept Day DayFn) Merge.kif 9344-9344 Day is internally related to day
(subclass Day TimeInterval) Merge.kif 9343-9343 Day is a subclass of time interval

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


(rangeSubclass DayFn Day) Merge.kif 8703-8703 The values returned by day are subclasses of day
(subclass ChristmasDay Day) Media.kif 335-335 Christmas day is a subclass of day
(subclass Friday Day) Merge.kif 9404-9404 Friday is a subclass of day
(subclass Monday Day) Merge.kif 9353-9353 Monday is a subclass of day
(subclass Saturday Day) Merge.kif 9417-9417 Saturday is a subclass of day
(subclass Sunday Day) Merge.kif 9430-9430 Sunday is a subclass of day
(subclass Thursday Day) Merge.kif 9391-9391 Thursday is a subclass of day
(subclass Tuesday Day) Merge.kif 9365-9365 Tuesday is a subclass of day
(subclass Wednesday Day) Merge.kif 9378-9378 Wednesday is a subclass of day
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289 Wednesday is a subclass of day
(termFormat EnglishLanguage Day "day") english_format.kif 1795-1795 Wednesday is a subclass of day
(termFormat FrenchLanguage Day "jour") french_format.kif 967-967 Wednesday is a subclass of day
(termFormat Hindi Day "divasa") terms-hindi.txt 502-502 Wednesday is a subclass of day
(termFormat ItalianLanguage Day "Giorno") terms-it.txt 506-506 Wednesday is a subclass of day
(termFormat JapaneseLanguage Day "日") japanese_format.kif 2651-2651 Wednesday is a subclass of day
(termFormat PortugueseLanguage Day "Dia") portuguese_format.kif 919-919 Wednesday is a subclass of day
(termFormat cb Day "adlaw") terms-cb.txt 508-508 Wednesday is a subclass of day
(termFormat cz Day "day") terms-cz.txt 542-542 Wednesday is a subclass of day
(termFormat de Day "Tag") terms-de.txt 801-801 Wednesday is a subclass of day
(termFormat ro Day "zi") relations-ro.kif 988-988 Wednesday is a subclass of day
(termFormat tg Day "araw") terms-tg.txt 507-507 Wednesday is a subclass of day

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


(domain AfternoonFn 1 Day) Merge.kif 8947-8947 The number 1 argument of afternoon of is an instance of day
(domain EveningFn 1 Day) Merge.kif 9047-9047 The number 1 argument of Evening fn is an instance of day
(domain MorningFn 1 Day) Merge.kif 8931-8931 The number 1 argument of morning fn is an instance of day
(domain availableBalance 2 Day) FinancialOntology.kif 3826-3826 The number 2 argument of available balance is an instance of day
(domain availableCash 2 Day) FinancialOntology.kif 3849-3849 The number 2 argument of available cash is an instance of day
(domain baptizeddate 2 Day) Biography.kif 180-180 The number 2 argument of baptizedmdate is an instance of day
(domain birthdate 2 Day) Mid-level-ontology.kif 25915-25915 The number 2 argument of birthdate is an instance of day
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 4110-4110 The number 2 argument of buying power amount is an instance of day
(domain callDate 2 Day) FinancialOntology.kif 2502-2502 The number 2 argument of call date is an instance of day
(domain closingPrice 3 Day) FinancialOntology.kif 3490-3490 The number 3 argument of closing price is an instance of day
(domain currentAccountBalance 2 Day) FinancialOntology.kif 675-675 The number 2 argument of current account balance is an instance of day
(domain currentInterestRate 2 Day) FinancialOntology.kif 617-617 The number 2 argument of current interest rate is an instance of day
(domain date 2 Day) Merge.kif 8658-8658 The number 2 argument of date is an instance of day
(domain dateOfStatement 2 Day) FinancialOntology.kif 4045-4045 The number 2 argument of date of statement is an instance of day
(domain deathdate 2 Day) Mid-level-ontology.kif 25943-25943 The number 2 argument of deathdate is an instance of day
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 4119-4119 The number 2 argument of margin balance amount is an instance of day
(domain marketValueAmount 2 Day) FinancialOntology.kif 4137-4137 The number 2 argument of market value amount is an instance of day
(domain maturityDate 2 Day) FinancialOntology.kif 634-634 The number 2 argument of maturity date is an instance of day
(domain netWorth 3 Day) FinancialOntology.kif 870-870 The number 3 argument of net worth is an instance of day
(domain overdraft 3 Day) FinancialOntology.kif 782-782 The number 3 argument of overdraft is an instance of day
(domain primeInterestRate 1 Day) FinancialOntology.kif 602-602 The number 1 argument of prime interest rate is an instance of day
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 4128-4128 The number 2 argument of short balance amount is an instance of day
(domain weddingdate 3 Day) Mid-level-ontology.kif 25860-25860 The number 3 argument of weddingdate is an instance of day
(domainSubclass HourFn 2 Day) Merge.kif 8727-8727 The number 2 argument of hour is a subclass of day
(domainSubclass anniversary 2 Day) Mid-level-ontology.kif 25828-25828 The number 2 argument of anniversary is a subclass of day

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?E Afternoon)
        (instance ?D Day)
        (equal ?E
            (AfternoonFn ?D)))
    (during ?E ?D))
Merge.kif 8953-8958
(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))
Merge.kif 9053-9058
(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))
Merge.kif 8937-8942
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 9035-9042
(=>
    (and
        (instance ?H Man)
        (attribute ?H Mausaharati)
        (instance ?D Drumming)
        (agent ?D ?H)
        (instance ?DAY Day)
        (instance ?S Sunrise)
        (during ?S ?DAY)
        (earlier
            (WhenFn ?D) ?S))
    (hasPurpose ?D
        (exists (?P ?SUHUR ?WU)
            (and
                (instance ?WU WakingUp)
                (experiencer ?WU ?P)
                (instance ?SUHUR Suhur)
                (agent ?SUHUR ?P)
                (earlier
                    (WhenFn ?WU)
                    (WhenFn ?SUHUR))
                (during
                    (WhenFn ?WU) ?DAY)
                (during
                    (WhenFn ?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
(=>
    (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 5212-5230
(=>
    (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 5281-5291
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 9349-9351
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 9609-9611

consequent
-------------------------


(=>
    (and
        (birthdate ?A ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (birthday ?A ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))
Mid-level-ontology.kif 25883-25893
(=>
    (and
        (equal ?FY
            (FiscalYearStartingFn ?PLACE ?YEAR))
        (fiscalYearPeriod ?PLACE ?PERIOD)
        (instance ?FY ?PERIOD))
    (exists (?DAY ?INST)
        (and
            (instance ?DAY Day)
            (starts ?DAY ?FY)
            (instance ?INST ?YEAR)
            (temporalPart ?DAY ?INST))))
Economy.kif 4091-4101
(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))
Merge.kif 9599-9603
(=>
    (and
        (instance ?POLICY DailyHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY))
    (modalAttribute
        (exists (?GUEST ?ROOM ?STAY)
            (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 2665-2685
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3789-3798
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3728-3737
(=>
    (and
        (instance ?TEXT BirthCertificate)
        (instance ?B Birth)
        (instance ?A Human)
        (experiencer ?B ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N)
            (and
                (birthdate ?A ?DAY)
                (instance ?DAY Day)
                (birthplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)))))
Biography.kif 256-270
(=>
    (and
        (instance ?TEXT DeathCertificate)
        (instance ?D Death)
        (instance ?A Human)
        (experiencer ?D ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N ?PROC)
            (and
                (deathdate ?A ?DAY)
                (instance ?DAY Day)
                (deathplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)
                (causes ?PROC ?D)
                (instance ?PROC Process)))))
Biography.kif 287-303
(=>
    (and
        (instance ?TEXT MarriageCertificate)
        (instance ?A Human)
        (instance ?B Human)
        (spouse ?A ?B))
    (containsFormula ?TEXT
        (exists (?DAY)
            (and
                (weddingdate ?A ?B ?DAY)
                (instance ?DAY Day)))))
Biography.kif 315-325
(=>
    (and
        (instance ?WED Wedding)
        (date ?WED ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (weddingAnniversary ?WED ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))
Mid-level-ontology.kif 25842-25853
(=>
    (dayPhone ?Number ?Agent)
    (exists (?Phone ?Hour ?Num)
        (and
            (phoneNumber ?Number ?Phone)
            (greaterThan ?Num 6)
            (lessThan ?Num 18)
            (holdsDuring
                (instance ?Hour
                    (HourFn ?Num Day))
                (exists (?T)
                    (and
                        (instance ?T Telephoning)
                        (destination ?T ?Agent)
                        (patient ?T ?Phone)
                        (possesses ?Agent ?Phone)
                        (modalAttribute
                            (exists (?A)
                                (and
                                    (instance ?A Answering)
                                    (subProcess ?A ?T)
                                    (agent ?A ?Agent))) Likely)))))))
FinancialOntology.kif 3709-3729
(=>
    (eveningPhone ?Number ?Agent)
    (exists (?Phone ?Hour ?Num)
        (and
            (phoneNumber ?Number ?Phone)
            (greaterThan ?Num 18)
            (lessThan ?Num 6)
            (holdsDuring
                (instance ?Hour
                    (HourFn ?Num Day))
                (exists (?T)
                    (and
                        (instance ?T Telephoning)
                        (destination ?T ?Agent)
                        (patient ?T ?Phone)
                        (possesses ?Agent ?Phone)
                        (modalAttribute
                            (exists (?A)
                                (and
                                    (instance ?A Answering)
                                    (subProcess ?A ?T)
                                    (agent ?A ?Agent))) Likely)))))))
FinancialOntology.kif 3753-3773
(=>
    (instance ?C CalendarText)
    (exists (?D)
        (and
            (instance ?D Day)
            (refers ?C ?D))))
ComputingBrands.kif 2295-2300
(=>
    (instance ?M Midnight)
    (exists (?D)
        (and
            (instance ?D Day)
            (equal ?M
                (EndFn ?D)))))
Merge.kif 8894-8899
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 9605-9607
(=>
    (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 91-101
(=>
    (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