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。") chinese_format.kif 2807-2807
(documentation Day EnglishLanguage "The Class of all calendar Days.") Merge.kif 9332-9332
(documentation Day JapaneseLanguage "すべてのカレンダー Day の Class。") 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 9330-9330
(relatedInternalConcept Day DayFn) Merge.kif 9329-9329
(subclass Day TimeInterval) Merge.kif 9328-9328

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


(rangeSubclass DayFn Day) Merge.kif 8688-8688
(subclass ChristmasDay Day) Media.kif 335-335
(subclass Friday Day) Merge.kif 9389-9389
(subclass Monday Day) Merge.kif 9338-9338
(subclass Saturday Day) Merge.kif 9402-9402
(subclass Sunday Day) Merge.kif 9415-9415
(subclass Thursday Day) Merge.kif 9376-9376
(subclass Tuesday Day) Merge.kif 9350-9350
(subclass Wednesday Day) Merge.kif 9363-9363
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289
(termFormat EnglishLanguage Day "day") english_format.kif 1795-1795
(termFormat FrenchLanguage Day "jour") french_format.kif 967-967
(termFormat Hindi Day "divasa") terms-hindi.txt 502-502
(termFormat ItalianLanguage Day "Giorno") terms-it.txt 506-506
(termFormat JapaneseLanguage Day "日") japanese_format.kif 2651-2651
(termFormat PortugueseLanguage Day "Dia") portuguese_format.kif 919-919
(termFormat cb Day "adlaw") terms-cb.txt 508-508
(termFormat cz Day "day") terms-cz.txt 542-542
(termFormat de Day "Tag") terms-de.txt 801-801
(termFormat ro Day "zi") relations-ro.kif 988-988
(termFormat tg Day "araw") terms-tg.txt 507-507

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


(domain AfternoonFn 1 Day) Merge.kif 8932-8932
(domain EveningFn 1 Day) Merge.kif 9032-9032
(domain MorningFn 1 Day) Merge.kif 8916-8916
(domain availableBalance 2 Day) FinancialOntology.kif 3826-3826
(domain availableCash 2 Day) FinancialOntology.kif 3849-3849
(domain baptizeddate 2 Day) Biography.kif 180-180
(domain birthdate 2 Day) Mid-level-ontology.kif 25934-25934
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 4110-4110
(domain callDate 2 Day) FinancialOntology.kif 2502-2502
(domain closingPrice 3 Day) FinancialOntology.kif 3490-3490
(domain currentAccountBalance 2 Day) FinancialOntology.kif 675-675
(domain currentInterestRate 2 Day) FinancialOntology.kif 617-617
(domain date 2 Day) Merge.kif 8643-8643
(domain dateOfStatement 2 Day) FinancialOntology.kif 4045-4045
(domain deathdate 2 Day) Mid-level-ontology.kif 25962-25962
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 4119-4119
(domain marketValueAmount 2 Day) FinancialOntology.kif 4137-4137
(domain maturityDate 2 Day) FinancialOntology.kif 634-634
(domain netWorth 3 Day) FinancialOntology.kif 870-870
(domain overdraft 3 Day) FinancialOntology.kif 782-782
(domain primeInterestRate 1 Day) FinancialOntology.kif 602-602
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 4128-4128
(domain weddingdate 3 Day) Mid-level-ontology.kif 25879-25879
(domainSubclass HourFn 2 Day) Merge.kif 8712-8712
(domainSubclass anniversary 2 Day) Mid-level-ontology.kif 25847-25847

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 8938-8943
(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))		 Merge.kif 9038-9043
(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))		 Merge.kif 8922-8927
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))		 Merge.kif 9020-9027
(=>
    (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 5028-5046
(=>
    (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 5097-5107
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))		 Merge.kif 9334-9336
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))		 Merge.kif 9594-9596

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 25902-25912
(=>
    (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 9584-9588
(=>
    (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 3619-3628
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))		 Geography.kif 3558-3567
(=>
    (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 25861-25872
(=>
    (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 8879-8884
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))		 Merge.kif 9590-9592
(=>
    (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