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。") Merge.kif 12860-12860
(documentation Day EnglishLanguage "The Class of all calendar Days.") Merge.kif 12858-12858
(documentation Day JapaneseLanguage "すべてのカレンダー DayClass。") Merge.kif 12862-12862
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG") pictureList.kif 5949-5949 externalImage and "http://upload.wikimedia.org/wikipedia/commons/1/14/ Harrison%27s_Chronometer_H5.JPG"
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg") pictureList.kif 6344-6344 externalImage and "http://upload.wikimedia.org/wikipedia/commons/7/70/ Wooden_hourglass_3.jpg"
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg") pictureList.kif 6345-6345 externalImage and "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Dagr_by_Arbo.jpg"
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg") pictureList.kif 6346-6346 externalImage and "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Water%2CRabbit%2CDeer.jpg"
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg") pictureList.kif 6347-6347 externalImage and "http://upload.wikimedia.org/wikipedia/commons/f/f6/ A_day_panorama_-_digital_art.jpg"
(relatedInternalConcept Day DayDuration) Merge.kif 12856-12856 DayDurationinternally 関連して %n
(relatedInternalConcept Day DayFn) Merge.kif 12855-12855 DayFninternally 関連して %n
(subclass Day TimeInterval) Merge.kif 12854-12854 時間間隔subclass では %n

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


(rangeSubclass DayFn Day) Merge.kif 12154-12154 DayFn が返す値は subclasses では %n
(subclass ChristmasDay Day) Media.kif 335-335 ChristmasDaysubclass では %n
(subclass Friday Day) Merge.kif 12926-12926 金曜日subclass では %n
(subclass Monday Day) Merge.kif 12868-12868 月曜日subclass では %n
(subclass Saturday Day) Merge.kif 12944-12944 土曜日subclass では %n
(subclass Sunday Day) Merge.kif 12961-12961 日曜日subclass では %n
(subclass Thursday Day) Merge.kif 12909-12909 木曜日subclass では %n
(subclass Tuesday Day) Merge.kif 12875-12875 火曜日subclass では %n
(subclass Wednesday Day) Merge.kif 12892-12892 水曜日subclass では %n
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289 termFormat ChineseLanguage, and "日"
(termFormat EnglishLanguage Day "day") english_format.kif 2580-2580 termFormat EnglishLanguage, and "day"
(termFormat JapaneseLanguage Day "日") english_format.kif 2581-2581 termFormat JapaneseLanguage, and "日"

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


(domain AfternoonFn 1 Day) Merge.kif 12422-12422 AfternoonFn の数値 1 引数は instance では %n
(domain EveningFn 1 Day) Merge.kif 12480-12480 EveningFn の数値 1 引数は instance では %n
(domain MorningFn 1 Day) Merge.kif 12404-12404 MorningFn の数値 1 引数は instance では %n
(domain availableBalance 2 Day) FinancialOntology.kif 3648-3648 availableBalance の数値 2 引数は instance では %n
(domain availableCash 2 Day) FinancialOntology.kif 3668-3668 availableCash の数値 2 引数は instance では %n
(domain baptismdate 2 Day) Biography.kif 65-65 baptismdate の数値 2 引数は instance では %n
(domain birthdate 2 Day) Mid-level-ontology.kif 21974-21974 birthdate の数値 2 引数は instance では %n
(domain birthday 2 Day) Mid-level-ontology.kif 21951-21951 birthday の数値 2 引数は instance では %n
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 3929-3929 buyingPowerAmount の数値 2 引数は instance では %n
(domain callDate 2 Day) FinancialOntology.kif 2408-2408 callDate の数値 2 引数は instance では %n
(domain closingPrice 3 Day) FinancialOntology.kif 3362-3362 closingPrice の数値 3 引数は instance では %n
(domain currentAccountBalance 2 Day) FinancialOntology.kif 633-633 currentAccountBalance の数値 2 引数は instance では %n
(domain currentInterestRate 2 Day) FinancialOntology.kif 575-575 currentInterestRate の数値 2 引数は instance では %n
(domain date 2 Day) Merge.kif 12075-12075 date の数値 2 引数は instance では %n
(domain dateOfStatement 2 Day) FinancialOntology.kif 3863-3863 dateOfStatement の数値 2 引数は instance では %n
(domain deathdate 2 Day) Mid-level-ontology.kif 21986-21986 deathdate の数値 2 引数は instance では %n
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 3938-3938 marginBalanceAmount の数値 2 引数は instance では %n
(domain marketValueAmount 2 Day) FinancialOntology.kif 3956-3956 marketValueAmount の数値 2 引数は instance では %n
(domain maturityDate 2 Day) FinancialOntology.kif 592-592 maturityDate の数値 2 引数は instance では %n
(domain netWorth 3 Day) FinancialOntology.kif 813-813 netWorth の数値 3 引数は instance では %n
(domain overdraft 3 Day) FinancialOntology.kif 730-730 overdraft の数値 3 引数は instance では %n
(domain primeInterestRate 1 Day) FinancialOntology.kif 560-560 primeInterestRate の数値 1 引数は instance では %n
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 3947-3947 shortBalanceAmount の数値 2 引数は instance では %n
(domain weddingdate 3 Day) Biography.kif 49-49 weddingdate の数値 3 引数は instance では %n
(domainSubclass HourFn 2 Day) Merge.kif 12189-12189 HourFn の数値 2 引数は subclass では %n

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 3583-3591
(=>
    (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 3600-3608
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 12468-12475
(=>
    (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)
        (and
            (holdsDuring ?LOW
                (waterDepth ?PLACE ?AMOUNT1))
            (holdsDuring ?HIGH
                (waterDepth ?PLACE ?AMOUNT2))
            (greaterThan ?AMOUNT2 ?AMOUNT1))))
Geography.kif 4630-4643
(=>
    (and
        (lowTide ?PLACE ?TIME1 ?AMOUNT1)
        (highTide ?PLACE ?TIME2 ?AMOUNT2)
        (instance ?DAY Day)
        (overlapsTemporally ?TIME1 ?DAY)
        (overlapsTemporally ?TIME2 ?DAY))
    (greaterThan ?AMOUNT1 ?AMOUNT2))
Geography.kif 4694-4701
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 12864-12866
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 13157-13159

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 3755-3764
(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))
Merge.kif 13147-13151
(=>
    (and
        (instance ?POLICY DailyHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY))
    (modalAttribute
        (exists (?GUEST ?ROOM)
            (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 2595-2615
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3456-3465
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3416-3425
(=>
    (instance ?C CalendarText)
    (exists (?D)
        (and
            (instance ?D Day)
            (refers ?C ?D))))
ComputingBrands.kif 2116-2121
(=>
    (instance ?M Midnight)
    (exists (?D)
        (and
            (instance ?D Day)
            (equal ?M
                (EndFn ?D)))))
Merge.kif 12394-12399
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 13153-13155
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners