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 9258-9258
(documentation Day EnglishLanguage "The Class of all calendar Days.") Merge.kif 9257-9257
(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 9256-9256
(relatedInternalConcept Day DayFn) Merge.kif 9255-9255
(subclass Day TimeInterval) Merge.kif 9254-9254

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


(rangeSubclass DayFn Day) Merge.kif 8710-8710
(subclass ChristmasDay Day) Media.kif 335-335
(subclass Friday Day) Merge.kif 9307-9307
(subclass Monday Day) Merge.kif 9264-9264
(subclass Saturday Day) Merge.kif 9320-9320
(subclass Sunday Day) Merge.kif 9333-9333
(subclass Thursday Day) Merge.kif 9294-9294
(subclass Tuesday Day) Merge.kif 9268-9268
(subclass Wednesday Day) Merge.kif 9281-9281
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289
(termFormat EnglishLanguage Day "day") english_format.kif 1948-1948
(termFormat JapaneseLanguage Day "日") english_format.kif 1949-1949

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


(domain AfternoonFn 1 Day) Merge.kif 8929-8929
(domain EveningFn 1 Day) Merge.kif 8971-8971
(domain MorningFn 1 Day) Merge.kif 8917-8917
(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 21973-21973
(domain birthday 2 Day) Mid-level-ontology.kif 21950-21950
(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 8655-8655
(domain dateOfStatement 2 Day) FinancialOntology.kif 3863-3863
(domain deathdate 2 Day) Mid-level-ontology.kif 21985-21985
(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 HourFn 2 Day) Merge.kif 8737-8737

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 8959-8966
(=>
    (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 9260-9262
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 9502-9504

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 9492-9496
(=>
    (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 8907-8912
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 9498-9500
(=>
    (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