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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Day

 Sigma KEE - Day
Day(Giorno)
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 9234-9234
(documentation Day JapaneseLanguage "すべてのカレンダー Day の Class。") japanese_format.kif 1548-1548
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG") pictureList.kif 5948-5948
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg") pictureList.kif 6343-6343
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg") pictureList.kif 6344-6344
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg") pictureList.kif 6345-6345
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg") pictureList.kif 6346-6346
(relatedInternalConcept Day DayDuration) Merge.kif 9232-9232 Giorno è interamente correlato a DayDuration
(relatedInternalConcept Day DayFn) Merge.kif 9231-9231 Giorno è interamente correlato a DayFn
(subclass Day TimeInterval) Merge.kif 9230-9230 Giorno è una sottoclasse di IntervalloTemporale

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


(rangeSubclass DayFn Day) Merge.kif 8590-8590 I valori resi da DayFn sono sottoclassi diGiorno
(subclass ChristmasDay Day) Media.kif 335-335 ChristmasDay è una sottoclasse di Giorno
(subclass Friday Day) Merge.kif 9282-9282 Venerd� è una sottoclasse di Giorno
(subclass Monday Day) Merge.kif 9240-9240 Luned� è una sottoclasse di Giorno
(subclass Saturday Day) Merge.kif 9295-9295 Sabato è una sottoclasse di Giorno
(subclass Sunday Day) Merge.kif 9308-9308 Domenica è una sottoclasse di Giorno
(subclass Thursday Day) Merge.kif 9269-9269 Gioved� è una sottoclasse di Giorno
(subclass Tuesday Day) Merge.kif 9243-9243 Marted� è una sottoclasse di Giorno
(subclass Wednesday Day) Merge.kif 9256-9256 Mercoled� è una sottoclasse di Giorno
(termFormat ChineseLanguage Day "日") chinese_format.kif 1289-1289
(termFormat EnglishLanguage Day "day") english_format.kif 1795-1795
(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 506-506
(termFormat JapaneseLanguage Day "日") japanese_format.kif 2651-2651
(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 ro Day "zi") relations-ro.kif 988-988
(termFormat tg Day "araw") terms-tg.txt 507-507

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


(domain AfternoonFn 1 Day) Merge.kif 8834-8834 Il numero 1 argomenti di AfternoonFn è un istanza di Giorno
(domain EveningFn 1 Day) Merge.kif 8934-8934 Il numero 1 argomenti di EveningFn è un istanza di Giorno
(domain MorningFn 1 Day) Merge.kif 8818-8818 Il numero 1 argomenti di MorningFn è un istanza di Giorno
(domain availableBalance 2 Day) FinancialOntology.kif 3808-3808 Il numero 2 argomenti di availableBalance è un istanza di Giorno
(domain availableCash 2 Day) FinancialOntology.kif 3831-3831 Il numero 2 argomenti di availableCash è un istanza di Giorno
(domain baptizeddate 2 Day) Biography.kif 175-175 Il numero 2 argomenti di baptizeddate è un istanza di Giorno
(domain birthdate 2 Day) Mid-level-ontology.kif 24268-24268 Il numero 2 argomenti di birthdate è un istanza di Giorno
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 4092-4092 Il numero 2 argomenti di buyingPowerAmount è un istanza di Giorno
(domain callDate 2 Day) FinancialOntology.kif 2485-2485 Il numero 2 argomenti di callDate è un istanza di Giorno
(domain closingPrice 3 Day) FinancialOntology.kif 3472-3472 Il numero 3 argomenti di closingPrice è un istanza di Giorno
(domain currentAccountBalance 2 Day) FinancialOntology.kif 673-673 Il numero 2 argomenti di currentAccountBalance è un istanza di Giorno
(domain currentInterestRate 2 Day) FinancialOntology.kif 615-615 Il numero 2 argomenti di currentInterestRate è un istanza di Giorno
(domain date 2 Day) Merge.kif 8545-8545 Il numero 2 argomenti di date è un istanza di Giorno
(domain dateOfStatement 2 Day) FinancialOntology.kif 4027-4027 Il numero 2 argomenti di dateOfStatement è un istanza di Giorno
(domain deathdate 2 Day) Mid-level-ontology.kif 24281-24281 Il numero 2 argomenti di deathdate è un istanza di Giorno
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 4101-4101 Il numero 2 argomenti di marginBalanceAmount è un istanza di Giorno
(domain marketValueAmount 2 Day) FinancialOntology.kif 4119-4119 Il numero 2 argomenti di marketValueAmount è un istanza di Giorno
(domain maturityDate 2 Day) FinancialOntology.kif 632-632 Il numero 2 argomenti di maturityDate è un istanza di Giorno
(domain netWorth 3 Day) FinancialOntology.kif 868-868 Il numero 3 argomenti di netWorth è un istanza di Giorno
(domain overdraft 3 Day) FinancialOntology.kif 780-780 Il numero 3 argomenti di overdraft è un istanza di Giorno
(domain primeInterestRate 1 Day) FinancialOntology.kif 600-600 Il numero 1 argomenti di primeInterestRate è un istanza di Giorno
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 4110-4110 Il numero 2 argomenti di shortBalanceAmount è un istanza di Giorno
(domain weddingdate 3 Day) Mid-level-ontology.kif 24213-24213 Il numero 3 argomenti di weddingdate è un istanza di Giorno
(domainSubclass HourFn 2 Day) Merge.kif 8614-8614 Il numero 2 argomento HourFn è una sottoclasse diGiorno
(domainSubclass anniversary 2 Day) Mid-level-ontology.kif 24182-24182 Il numero 2 argomento anniversary è una sottoclasse diGiorno

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 8840-8845
(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))		 Merge.kif 8940-8945
(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))		 Merge.kif 8824-8829
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))		 Merge.kif 8922-8929
(=>
    (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 4958-4976
(=>
    (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 5027-5037
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))		 Merge.kif 9236-9238
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))		 Merge.kif 9473-9475

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 24236-24246
(=>
    (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 3754-3764
(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))		 Merge.kif 9463-9467
(=>
    (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 3631-3640
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))		 Geography.kif 3570-3579
(=>
    (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 24195-24206
(=>
    (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 3691-3711
(=>
    (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 3735-3755
(=>
    (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 8781-8786
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))		 Merge.kif 9469-9471
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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