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 9276-9276
(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 9274-9274 DayDurationinternally 関連して %n
(relatedInternalConcept Day DayFn) Merge.kif 9273-9273 DayFninternally 関連して %n
(subclass Day TimeInterval) Merge.kif 9272-9272 時間間隔subclass では %n

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


(rangeSubclass DayFn Day) Merge.kif 8632-8632 DayFn が返す値は subclasses では %n
(subclass ChristmasDay Day) Media.kif 335-335 ChristmasDaysubclass では %n
(subclass Friday Day) Merge.kif 9333-9333 金曜日subclass では %n
(subclass Monday Day) Merge.kif 9282-9282 月曜日subclass では %n
(subclass Saturday Day) Merge.kif 9346-9346 土曜日subclass では %n
(subclass Sunday Day) Merge.kif 9359-9359 日曜日subclass では %n
(subclass Thursday Day) Merge.kif 9320-9320 木曜日subclass では %n
(subclass Tuesday Day) Merge.kif 9294-9294 火曜日subclass では %n
(subclass Wednesday Day) Merge.kif 9307-9307 水曜日subclass では %n
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289 水曜日subclass では %n
(termFormat EnglishLanguage Day "day") english_format.kif 1795-1795 水曜日subclass では %n
(termFormat FrenchLanguage Day "jour") french_format.kif 967-967 水曜日subclass では %n
(termFormat Hindi Day "divasa") terms-hindi.txt 502-502 水曜日subclass では %n
(termFormat ItalianLanguage Day "Giorno") terms-it.txt 506-506 水曜日subclass では %n
(termFormat JapaneseLanguage Day "日") japanese_format.kif 2651-2651 水曜日subclass では %n
(termFormat PortugueseLanguage Day "Dia") portuguese_format.kif 919-919 水曜日subclass では %n
(termFormat cb Day "adlaw") terms-cb.txt 508-508 水曜日subclass では %n
(termFormat cz Day "day") terms-cz.txt 542-542 水曜日subclass では %n
(termFormat de Day "Tag") terms-de.txt 801-801 水曜日subclass では %n
(termFormat ro Day "zi") relations-ro.kif 988-988 水曜日subclass では %n
(termFormat tg Day "araw") terms-tg.txt 507-507 水曜日subclass では %n

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


(domain AfternoonFn 1 Day) Merge.kif 8876-8876 AfternoonFn の数値 1 引数は instance では %n
(domain EveningFn 1 Day) Merge.kif 8976-8976 EveningFn の数値 1 引数は instance では %n
(domain MorningFn 1 Day) Merge.kif 8860-8860 MorningFn の数値 1 引数は instance では %n
(domain availableBalance 2 Day) FinancialOntology.kif 3822-3822 availableBalance の数値 2 引数は instance では %n
(domain availableCash 2 Day) FinancialOntology.kif 3845-3845 availableCash の数値 2 引数は instance では %n
(domain baptizeddate 2 Day) Biography.kif 175-175 baptizeddate の数値 2 引数は instance では %n
(domain birthdate 2 Day) Mid-level-ontology.kif 25387-25387 birthdate の数値 2 引数は instance では %n
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 4106-4106 buyingPowerAmount の数値 2 引数は instance では %n
(domain callDate 2 Day) FinancialOntology.kif 2499-2499 callDate の数値 2 引数は instance では %n
(domain closingPrice 3 Day) FinancialOntology.kif 3486-3486 closingPrice の数値 3 引数は instance では %n
(domain currentAccountBalance 2 Day) FinancialOntology.kif 673-673 currentAccountBalance の数値 2 引数は instance では %n
(domain currentInterestRate 2 Day) FinancialOntology.kif 615-615 currentInterestRate の数値 2 引数は instance では %n
(domain date 2 Day) Merge.kif 8587-8587 date の数値 2 引数は instance では %n
(domain dateOfStatement 2 Day) FinancialOntology.kif 4041-4041 dateOfStatement の数値 2 引数は instance では %n
(domain deathdate 2 Day) Mid-level-ontology.kif 25400-25400 deathdate の数値 2 引数は instance では %n
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 4115-4115 marginBalanceAmount の数値 2 引数は instance では %n
(domain marketValueAmount 2 Day) FinancialOntology.kif 4133-4133 marketValueAmount の数値 2 引数は instance では %n
(domain maturityDate 2 Day) FinancialOntology.kif 632-632 maturityDate の数値 2 引数は instance では %n
(domain netWorth 3 Day) FinancialOntology.kif 868-868 netWorth の数値 3 引数は instance では %n
(domain overdraft 3 Day) FinancialOntology.kif 780-780 overdraft の数値 3 引数は instance では %n
(domain primeInterestRate 1 Day) FinancialOntology.kif 600-600 primeInterestRate の数値 1 引数は instance では %n
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 4124-4124 shortBalanceAmount の数値 2 引数は instance では %n
(domain weddingdate 3 Day) Mid-level-ontology.kif 25332-25332 weddingdate の数値 3 引数は instance では %n
(domainSubclass HourFn 2 Day) Merge.kif 8656-8656 HourFn の数値 2 引数は subclass では %n
(domainSubclass anniversary 2 Day) Mid-level-ontology.kif 25301-25301 anniversary の数値 2 引数は subclass では %n

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 8882-8887
(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))
Merge.kif 8982-8987
(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))
Merge.kif 8866-8871
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8964-8971
(=>
    (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 5027-5045
(=>
    (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 5096-5106
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 9278-9280
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 9538-9540

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 25355-25365
(=>
    (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 3964-3974
(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))
Merge.kif 9528-9532
(=>
    (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 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 250-264
(=>
    (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 280-296
(=>
    (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 307-317
(=>
    (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 25314-25325
(=>
    (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 3705-3725
(=>
    (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 3749-3769
(=>
    (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 8823-8828
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 9534-9536
(=>
    (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