Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Day
Day
more pictures...
วัน, วันทำงาน, วันหยุด, วันหยุดงาน, วันหยุดครึ่งวัน, การไปเที่ยวนอกบ้านและทำอาหารไปทานนอกบ้าน, กำหนดจ่ายเงิน, 24 ชั่วโมง, ยี่สิบสี่ชั่วโมง, วัน, พรุ่งนี้, วันพรุ่งนี้, วันนี้, เมื่อวานนี้, วานนี้, พรุ่งนี้, วันสุกดิบ, วันปฏิทิน, วัน, วันปลูกต้นไม้ในสหรัฐ, วันรับปริญญา, วันรับปริญญาบัตร, 5 พฤศจิกายน, 20 มกราคม, 29 กุมภาพันธ์, วัน, วันที่, วันที่, วันข้างหน้า, วันที่มีฝนตกมาก, วันหมดอายุ, วันแรกของช่วง 3 เดือน, วันถือศีลอด, วันเทศกาล, 6 มิถุนายน 2487, วันดีเดย์, วันแห่งชัยชนะสงคราม, 8 พฤษภาคม 2488, 15 สิงหาคม 2488, วันวี-เจ, วันในสัปดาห์, วีคเดย์, วันสะบาโต, วันพิพากษา, วันพิพากษาโลก, วันจ่ายเงินเดือน, วันเงินเดือนออก, วันเงินออก, วันเลือกตั้ง, วันแห่งชัยชนะ, วันซ้อมรบ, วันที่ 13 ของเดือนอื่นๆ ในปี, วันที่ 15 ของเดือนมี.ค. พ.ค., ก.ค, ต.ค (ตามปฏิทินโรมันโบราณ),, วันตลาดนัด...

appearance as argument number 1
-------------------------


(documentation Day ChineseLanguage "这是所有日历日的 Class。") Merge.kif 9203-9203
(documentation Day EnglishLanguage "The Class of all calendar Days.") Merge.kif 9202-9202
(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 9201-9201
(relatedInternalConcept Day DayFn) Merge.kif 9200-9200
(subclass Day TimeInterval) Merge.kif 9199-9199

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


(rangeSubclass DayFn Day) Merge.kif 8693-8693
(subclass ChristmasDay Day) Media.kif 335-335
(subclass Friday Day) Merge.kif 9252-9252
(subclass Monday Day) Merge.kif 9209-9209
(subclass Saturday Day) Merge.kif 9265-9265
(subclass Sunday Day) Merge.kif 9278-9278
(subclass Thursday Day) Merge.kif 9239-9239
(subclass Tuesday Day) Merge.kif 9213-9213
(subclass Wednesday Day) Merge.kif 9226-9226
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289
(termFormat EnglishLanguage Day "day") english_format.kif 976-976
(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 504-504
(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 tg Day "araw") terms-tg.txt 507-507

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


(domain availableBalance 2 Day) FinancialOntology.kif 3648-3648
(domain availableCash 2 Day) FinancialOntology.kif 3668-3668
(domain baptismdate 2 Day) Biography.kif 65-65
(domain birthdate 2 Day) Mid-level-ontology.kif 21942-21942
(domain birthday 2 Day) Mid-level-ontology.kif 21919-21919
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 3929-3929
(domain callDate 2 Day) FinancialOntology.kif 2408-2408
(domain closingPrice 3 Day) FinancialOntology.kif 3362-3362
(domain currentAccountBalance 2 Day) FinancialOntology.kif 633-633
(domain currentInterestRate 2 Day) FinancialOntology.kif 575-575
(domain date 2 Day) Merge.kif 8638-8638
(domain dateOfStatement 2 Day) FinancialOntology.kif 3863-3863
(domain deathdate 2 Day) Mid-level-ontology.kif 21954-21954
(domain foundingdate 2 Day) Society.kif 210-210
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 3938-3938
(domain marketValueAmount 2 Day) FinancialOntology.kif 3956-3956
(domain maturityDate 2 Day) FinancialOntology.kif 592-592
(domain netWorth 3 Day) FinancialOntology.kif 813-813
(domain overdraft 3 Day) FinancialOntology.kif 730-730
(domain primeInterestRate 1 Day) FinancialOntology.kif 560-560
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 3947-3947
(domain weddingdate 3 Day) Biography.kif 49-49
(domainSubclass AfternoonFn 1 Day) Merge.kif 8906-8906
(domainSubclass EveningFn 1 Day) Merge.kif 8948-8948
(domainSubclass HourFn 2 Day) Merge.kif 8720-8720

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 8936-8943
(=>
    (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 4631-4644
(=>
    (and
        (lowTide ?PLACE ?TIME1 ?AMOUNT1)
        (highTide ?PLACE ?TIME2 ?AMOUNT2)
        (instance ?DAY Day)
        (overlapsTemporally ?TIME1 ?DAY)
        (overlapsTemporally ?TIME2 ?DAY))
    (greaterThan ?AMOUNT1 ?AMOUNT2))
Geography.kif 4695-4702
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 9205-9207
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 9447-9449

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 9437-9441
(=>
    (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 ?M Midnight)
    (exists (?D)
        (and
            (instance ?D Day)
            (equal ?M
                (EndFn ?D)))))
Merge.kif 8884-8889
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 9443-9445
(=>
    (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