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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9256-9256
(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 9254-9254 Giorno è interamente correlato a DayDuration
(relatedInternalConcept Day DayFn) Merge.kif 9253-9253 Giorno è interamente correlato a DayFn
(subclass Day TimeInterval) Merge.kif 9252-9252 Giorno è una sottoclasse di IntervalloTemporale

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


(rangeSubclass DayFn Day) Merge.kif 8612-8612 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 9304-9304 Venerd� è una sottoclasse di Giorno
(subclass Monday Day) Merge.kif 9262-9262 Luned� è una sottoclasse di Giorno
(subclass Saturday Day) Merge.kif 9317-9317 Sabato è una sottoclasse di Giorno
(subclass Sunday Day) Merge.kif 9330-9330 Domenica è una sottoclasse di Giorno
(subclass Thursday Day) Merge.kif 9291-9291 Gioved� è una sottoclasse di Giorno
(subclass Tuesday Day) Merge.kif 9265-9265 Marted� è una sottoclasse di Giorno
(subclass Wednesday Day) Merge.kif 9278-9278 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 8856-8856 Il numero 1 argomenti di AfternoonFn è un istanza di Giorno
(domain EveningFn 1 Day) Merge.kif 8956-8956 Il numero 1 argomenti di EveningFn è un istanza di Giorno
(domain MorningFn 1 Day) Merge.kif 8840-8840 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 24267-24267 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 8567-8567 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 24280-24280 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 24212-24212 Il numero 3 argomenti di weddingdate è un istanza di Giorno
(domainSubclass HourFn 2 Day) Merge.kif 8636-8636 Il numero 2 argomento HourFn è una sottoclasse diGiorno
(domainSubclass anniversary 2 Day) Mid-level-ontology.kif 24181-24181 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 8862-8867
(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))		 Merge.kif 8962-8967
(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))		 Merge.kif 8846-8851
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))		 Merge.kif 8944-8951
(=>
    (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 9258-9260
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))		 Merge.kif 9495-9497

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 24235-24245
(=>
    (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 9485-9489
(=>
    (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 24194-24205
(=>
    (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 8803-8808
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))		 Merge.kif 9491-9493
(=>
    (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 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