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 8676-8676
(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 8674-8674 relatedInternalConcept Day and DayDuration
(relatedInternalConcept Day DayFn) Merge.kif 8673-8673 relatedInternalConcept Day and DayFn
(subclass Day TimeInterval) Merge.kif 8672-8672 subclass Day and TimeInterval

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


(rangeSubclass DayFn Day) Merge.kif 8050-8050 rangeSubclass DayFn and Day
(subclass ChristmasDay Day) Media.kif 335-335 subclass ChristmasDay and Day
(subclass Friday Day) Merge.kif 8724-8724 subclass Friday and Day
(subclass Monday Day) Merge.kif 8682-8682 subclass Monday and Day
(subclass Saturday Day) Merge.kif 8737-8737 subclass Saturday and Day
(subclass Sunday Day) Merge.kif 8750-8750 subclass Sunday and Day
(subclass Thursday Day) Merge.kif 8711-8711 subclass Thursday and Day
(subclass Tuesday Day) Merge.kif 8685-8685 subclass Tuesday and Day
(subclass Wednesday Day) Merge.kif 8698-8698 subclass Wednesday and Day
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289
(termFormat EnglishLanguage Day "day") english_format.kif 1804-1804

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


(domain AfternoonFn 1 Day) Merge.kif 8288-8288 domain AfternoonFn, 1 and Day
(domain EveningFn 1 Day) Merge.kif 8385-8385 domain EveningFn, 1 and Day
(domain MorningFn 1 Day) Merge.kif 8275-8275 domain MorningFn, 1 and Day
(domain availableBalance 2 Day) FinancialOntology.kif 3655-3655 domain availableBalance, 2 and Day
(domain availableCash 2 Day) FinancialOntology.kif 3675-3675 domain availableCash, 2 and Day
(domain baptismdate 2 Day) Biography.kif 65-65 domain baptismdate, 2 and Day
(domain birthdate 2 Day) Mid-level-ontology.kif 22011-22011 domain birthdate, 2 and Day
(domain birthday 2 Day) Mid-level-ontology.kif 21988-21988 domain birthday, 2 and Day
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 3935-3935 domain buyingPowerAmount, 2 and Day
(domain callDate 2 Day) FinancialOntology.kif 2407-2407 domain callDate, 2 and Day
(domain closingPrice 3 Day) FinancialOntology.kif 3369-3369 domain closingPrice, 3 and Day
(domain currentAccountBalance 2 Day) FinancialOntology.kif 632-632 domain currentAccountBalance, 2 and Day
(domain currentInterestRate 2 Day) FinancialOntology.kif 574-574 domain currentInterestRate, 2 and Day
(domain date 2 Day) Merge.kif 8005-8005 domain date, 2 and Day
(domain dateOfStatement 2 Day) FinancialOntology.kif 3870-3870 domain dateOfStatement, 2 and Day
(domain deathdate 2 Day) Mid-level-ontology.kif 22023-22023 domain deathdate, 2 and Day
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 3944-3944 domain marginBalanceAmount, 2 and Day
(domain marketValueAmount 2 Day) FinancialOntology.kif 3962-3962 domain marketValueAmount, 2 and Day
(domain maturityDate 2 Day) FinancialOntology.kif 591-591 domain maturityDate, 2 and Day
(domain netWorth 3 Day) FinancialOntology.kif 812-812 domain netWorth, 3 and Day
(domain overdraft 3 Day) FinancialOntology.kif 729-729 domain overdraft, 3 and Day
(domain primeInterestRate 1 Day) FinancialOntology.kif 559-559 domain primeInterestRate, 1 and Day
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 3953-3953 domain shortBalanceAmount, 2 and Day
(domain weddingdate 3 Day) Biography.kif 49-49 domain weddingdate, 3 and Day
(domainSubclass HourFn 2 Day) Merge.kif 8074-8074 domainSubclass HourFn, 2 and Day

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 3590-3598
(=>
    (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 3607-3615
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8373-8380
(=>
    (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 4644-4657
(=>
    (and
        (lowTide ?PLACE ?TIME1 ?AMOUNT1)
        (highTide ?PLACE ?TIME2 ?AMOUNT2)
        (instance ?DAY Day)
        (overlapsTemporally ?TIME1 ?DAY)
        (overlapsTemporally ?TIME2 ?DAY))
    (greaterThan ?AMOUNT1 ?AMOUNT2))
Geography.kif 4708-4715
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 8678-8680
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 8915-8917

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 8905-8909
(=>
    (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 2600-2620
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3469-3478
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3429-3438
(=>
    (instance ?C CalendarText)
    (exists (?D)
        (and
            (instance ?D Day)
            (refers ?C ?D))))
ComputingBrands.kif 2273-2278
(=>
    (instance ?M Midnight)
    (exists (?D)
        (and
            (instance ?D Day)
            (equal ?M
                (EndFn ?D)))))
Merge.kif 8240-8245
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 8911-8913
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners