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 9143-9143
(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 9141-9141 Day is internally related to day duration
(relatedInternalConcept Day DayFn) Merge.kif 9140-9140 Day is internally related to day
(subclass Day TimeInterval) Merge.kif 9139-9139 Day is a subclass of time interval

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


(rangeSubclass DayFn Day) Merge.kif 8500-8500 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 9191-9191 Friday is a subclass of day
(subclass Monday Day) Merge.kif 9149-9149 Monday is a subclass of day
(subclass Saturday Day) Merge.kif 9204-9204 Saturday is a subclass of day
(subclass Sunday Day) Merge.kif 9217-9217 Sunday is a subclass of day
(subclass Thursday Day) Merge.kif 9178-9178 Thursday is a subclass of day
(subclass Tuesday Day) Merge.kif 9152-9152 Tuesday is a subclass of day
(subclass Wednesday Day) Merge.kif 9165-9165 Wednesday is a subclass of day
(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 8744-8744 The number 1 argument of AfternoonFn is an instance of day
(domain EveningFn 1 Day) Merge.kif 8844-8844 The number 1 argument of EveningFn is an instance of day
(domain MorningFn 1 Day) Merge.kif 8728-8728 The number 1 argument of MorningFn is an instance of day
(domain availableBalance 2 Day) FinancialOntology.kif 3760-3760 The number 2 argument of available balance is an instance of day
(domain availableCash 2 Day) FinancialOntology.kif 3783-3783 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 23734-23734 The number 2 argument of birthdate is an instance of day
(domain birthday 2 Day) Mid-level-ontology.kif 23711-23711 The number 2 argument of birthday is an instance of day
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 4044-4044 The number 2 argument of buying power amount is an instance of day
(domain callDate 2 Day) FinancialOntology.kif 2493-2493 The number 2 argument of call date is an instance of day
(domain closingPrice 3 Day) FinancialOntology.kif 3476-3476 The number 3 argument of closing price is an instance of day
(domain currentAccountBalance 2 Day) FinancialOntology.kif 673-673 The number 2 argument of current account balance is an instance of day
(domain currentInterestRate 2 Day) FinancialOntology.kif 615-615 The number 2 argument of current interest rate is an instance of day
(domain date 2 Day) Merge.kif 8455-8455 The number 2 argument of date is an instance of day
(domain dateOfStatement 2 Day) FinancialOntology.kif 3979-3979 The number 2 argument of date of statement is an instance of day
(domain deathdate 2 Day) Mid-level-ontology.kif 23747-23747 The number 2 argument of deathdate is an instance of day
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 4053-4053 The number 2 argument of margin balance amount is an instance of day
(domain marketValueAmount 2 Day) FinancialOntology.kif 4071-4071 The number 2 argument of market value amount is an instance of day
(domain maturityDate 2 Day) FinancialOntology.kif 632-632 The number 2 argument of maturity date is an instance of day
(domain netWorth 3 Day) FinancialOntology.kif 867-867 The number 3 argument of net worth is an instance of day
(domain overdraft 3 Day) FinancialOntology.kif 779-779 The number 3 argument of overdraft is an instance of day
(domain primeInterestRate 1 Day) FinancialOntology.kif 600-600 The number 1 argument of prime interest rate is an instance of day
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 4062-4062 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 8524-8524 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 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 8750-8755
(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))
Merge.kif 8850-8855
(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))
Merge.kif 8734-8739
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8832-8839
(=>
    (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 9145-9147
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 9382-9384

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 9372-9376
(=>
    (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 2654-2674
(=>
    (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 8691-8696
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 9378-9380
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners