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 9347-9347
(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 9345-9345 相關的內部概念 Day and 一天長度
(relatedInternalConcept Day DayFn) Merge.kif 9344-9344 相關的內部概念 Day and 天
(subclass Day TimeInterval) Merge.kif 9343-9343 子類 Day and TimeInterval

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


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

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


(domain AfternoonFn 1 Day) Merge.kif 8947-8947 域 AfternoonFn, 1 and Day
(domain EveningFn 1 Day) Merge.kif 9047-9047 域 EveningFn, 1 and Day
(domain MorningFn 1 Day) Merge.kif 8931-8931 域 MorningFn, 1 and Day
(domain availableBalance 2 Day) FinancialOntology.kif 3826-3826 域 可用餘額, 2 and Day
(domain availableCash 2 Day) FinancialOntology.kif 3849-3849 域 可用現金, 2 and Day
(domain baptizeddate 2 Day) Biography.kif 180-180 域 baptizeddate, 2 and Day
(domain birthdate 2 Day) Mid-level-ontology.kif 25915-25915 域 出生日期, 2 and Day
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 4110-4110 域 購買電量, 2 and Day
(domain callDate 2 Day) FinancialOntology.kif 2502-2502 域 通話日期, 2 and Day
(domain closingPrice 3 Day) FinancialOntology.kif 3490-3490 域 收盤價, 3 and Day
(domain currentAccountBalance 2 Day) FinancialOntology.kif 675-675 域 目前賬戶餘額, 2 and Day
(domain currentInterestRate 2 Day) FinancialOntology.kif 617-617 域 目前的利率, 2 and Day
(domain date 2 Day) Merge.kif 8658-8658 域 日期, 2 and Day
(domain dateOfStatement 2 Day) FinancialOntology.kif 4045-4045 域 聲明日期, 2 and Day
(domain deathdate 2 Day) Mid-level-ontology.kif 25943-25943 域 deathdate, 2 and Day
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 4119-4119 域 餘額幅度, 2 and Day
(domain marketValueAmount 2 Day) FinancialOntology.kif 4137-4137 域 市值金額, 2 and Day
(domain maturityDate 2 Day) FinancialOntology.kif 634-634 域 成人禮, 2 and Day
(domain netWorth 3 Day) FinancialOntology.kif 870-870 域 淨值, 3 and Day
(domain overdraft 3 Day) FinancialOntology.kif 782-782 域 透支, 3 and Day
(domain primeInterestRate 1 Day) FinancialOntology.kif 602-602 域 主要利率, 1 and Day
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 4128-4128 域 短期金額, 2 and Day
(domain weddingdate 3 Day) Mid-level-ontology.kif 25860-25860 域 weddingdate, 3 and Day
(domainSubclass HourFn 2 Day) Merge.kif 8727-8727 域子類 小時, 2 and Day
(domainSubclass anniversary 2 Day) Mid-level-ontology.kif 25828-25828 域子類 週年, 2 and 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