Day - Sigma Knowledge base Browser

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 9276-9276
(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 5947-5947
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg")	pictureList.kif 6342-6342
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg")	pictureList.kif 6343-6343
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg")	pictureList.kif 6344-6344
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg")	pictureList.kif 6345-6345
(relatedInternalConcept Day DayDuration)	Merge.kif 9274-9274	Day is internally related to day duration
(relatedInternalConcept Day DayFn)	Merge.kif 9273-9273	Day is internally related to day
(subclass Day TimeInterval)	Merge.kif 9272-9272	Day is a subclass of time interval

appearance as argument number 2

(rangeSubclass DayFn Day)	Merge.kif 8632-8632	The values returned by day are subclasses of day
(subclass ChristmasDay Day)	Media.kif 335-335	Christmas day is a subclass of day
(subclass Friday Day)	Merge.kif 9333-9333	Friday is a subclass of day
(subclass Monday Day)	Merge.kif 9282-9282	Monday is a subclass of day
(subclass Saturday Day)	Merge.kif 9346-9346	Saturday is a subclass of day
(subclass Sunday Day)	Merge.kif 9359-9359	Sunday is a subclass of day
(subclass Thursday Day)	Merge.kif 9320-9320	Thursday is a subclass of day
(subclass Tuesday Day)	Merge.kif 9294-9294	Tuesday is a subclass of day
(subclass Wednesday Day)	Merge.kif 9307-9307	Wednesday is a subclass of day
(termFormat ChineseLanguage Day "日")	chinese_format.kif 1289-1289	Wednesday is a subclass of day
(termFormat EnglishLanguage Day "day")	english_format.kif 1795-1795	Wednesday is a subclass of day
(termFormat FrenchLanguage Day "jour")	french_format.kif 967-967	Wednesday is a subclass of day
(termFormat Hindi Day "divasa")	terms-hindi.txt 502-502	Wednesday is a subclass of day
(termFormat ItalianLanguage Day "Giorno")	terms-it.txt 506-506	Wednesday is a subclass of day
(termFormat JapaneseLanguage Day "日")	japanese_format.kif 2651-2651	Wednesday is a subclass of day
(termFormat PortugueseLanguage Day "Dia")	portuguese_format.kif 919-919	Wednesday is a subclass of day
(termFormat cb Day "adlaw")	terms-cb.txt 508-508	Wednesday is a subclass of day
(termFormat cz Day "day")	terms-cz.txt 542-542	Wednesday is a subclass of day
(termFormat de Day "Tag")	terms-de.txt 801-801	Wednesday is a subclass of day
(termFormat ro Day "zi")	relations-ro.kif 988-988	Wednesday is a subclass of day
(termFormat tg Day "araw")	terms-tg.txt 507-507	Wednesday is a subclass of day

appearance as argument number 3

(domain AfternoonFn 1 Day)	Merge.kif 8876-8876	The number 1 argument of afternoon of is an instance of day
(domain EveningFn 1 Day)	Merge.kif 8976-8976	The number 1 argument of Evening fn is an instance of day
(domain MorningFn 1 Day)	Merge.kif 8860-8860	The number 1 argument of morning fn is an instance of day
(domain availableBalance 2 Day)	FinancialOntology.kif 3822-3822	The number 2 argument of available balance is an instance of day
(domain availableCash 2 Day)	FinancialOntology.kif 3845-3845	The number 2 argument of available cash is an instance of day
(domain baptizeddate 2 Day)	Biography.kif 175-175	The number 2 argument of baptizedmdate is an instance of day
(domain birthdate 2 Day)	Mid-level-ontology.kif 25387-25387	The number 2 argument of birthdate is an instance of day
(domain buyingPowerAmount 2 Day)	FinancialOntology.kif 4106-4106	The number 2 argument of buying power amount is an instance of day
(domain callDate 2 Day)	FinancialOntology.kif 2499-2499	The number 2 argument of call date is an instance of day
(domain closingPrice 3 Day)	FinancialOntology.kif 3486-3486	The number 3 argument of closing price is an instance of day
(domain currentAccountBalance 2 Day)	FinancialOntology.kif 673-673	The number 2 argument of current account balance is an instance of day
(domain currentInterestRate 2 Day)	FinancialOntology.kif 615-615	The number 2 argument of current interest rate is an instance of day
(domain date 2 Day)	Merge.kif 8587-8587	The number 2 argument of date is an instance of day
(domain dateOfStatement 2 Day)	FinancialOntology.kif 4041-4041	The number 2 argument of date of statement is an instance of day
(domain deathdate 2 Day)	Mid-level-ontology.kif 25400-25400	The number 2 argument of deathdate is an instance of day
(domain marginBalanceAmount 2 Day)	FinancialOntology.kif 4115-4115	The number 2 argument of margin balance amount is an instance of day
(domain marketValueAmount 2 Day)	FinancialOntology.kif 4133-4133	The number 2 argument of market value amount is an instance of day
(domain maturityDate 2 Day)	FinancialOntology.kif 632-632	The number 2 argument of maturity date is an instance of day
(domain netWorth 3 Day)	FinancialOntology.kif 868-868	The number 3 argument of net worth is an instance of day
(domain overdraft 3 Day)	FinancialOntology.kif 780-780	The number 3 argument of overdraft is an instance of day
(domain primeInterestRate 1 Day)	FinancialOntology.kif 600-600	The number 1 argument of prime interest rate is an instance of day
(domain shortBalanceAmount 2 Day)	FinancialOntology.kif 4124-4124	The number 2 argument of short balance amount is an instance of day
(domain weddingdate 3 Day)	Mid-level-ontology.kif 25332-25332	The number 3 argument of weddingdate is an instance of day
(domainSubclass HourFn 2 Day)	Merge.kif 8656-8656	The number 2 argument of hour is a subclass of day
(domainSubclass anniversary 2 Day)	Mid-level-ontology.kif 25301-25301	The number 2 argument of anniversary is a subclass of day

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 8882-8887	If an afternoon is an instance of afternoon and a day is an instance of day and the afternoon is equal to the afternoon of the day, then the afternoon takes place during the day
(=> (and (instance ?E Evening) (instance ?D Day) (equal ?E (EveningFn ?D))) (during ?E ?D))	Merge.kif 8982-8987	If an evening is an instance of evening and a day is an instance of day and the evening is equal to the evening of the day, then the evening takes place during the day
(=> (and (instance ?E Morning) (instance ?D Day) (equal ?E (MorningFn ?D))) (during ?E ?D))	Merge.kif 8866-8871	If a morning is an instance of morning and a day is an instance of day and the morning is equal to the morning of the day, then the morning takes place during the day
(=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE))	Merge.kif 8964-8971	If a time interval is an instance of evening and another time interval is an instance of afternoon and a third time interval is an instance of day and the time interval takes place during the third time interval and the other time interval takes place during the third time interval, then the other time interval meets the time interval
(=> (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	If an agent is an instance of man and mausaharati is an attribute of the agent and a process is an instance of drumming and the agent is an agent of the process and the processAY is an instance of day and another time interval is an instance of sunrise and the other time interval takes place during the processAY and the time of existence of the process happens earlier than the other time interval, then the process has the purpose there exist an entity, the other time intervalUHUR and a third entity such that the third entity is an instance of waking up and the entity experiences the third entity and the other time intervalUHUR is an instance of suhur and the entity is an agent of the other time intervalUHUR and the time of existence of the third entity happens earlier than the time of existence of the other time intervalUHUR and the time of existence of the third entity takes place during the processAY and the time of existence of the other time intervalUHUR takes place during the processAY
(=> (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 5027-5045	If a time interval is an instance of low tide and another time interval is an instance of high tide and the time interval is located at an object and the other time interval is located at the object and a third time interval is an instance of day and the third time interval overlaps the time interval and the third time interval overlaps the other time interval, then there exist a real number, another real number and an entity such that the entity is an instance of unit of length and the real number the entity(s) is a water depth of the object holds during the time interval and the other real number the entity(s) is a water depth of the object holds during the other time interval and the other real number is greater than the real number
(=> (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 5096-5106	If a region low tide a time interval for a real number an unit of measure(s) and the region is high tide another time interval for another real number the unit of measure(s) and the unit of measure is an instance of unit of length and a third time interval is an instance of day and the third time interval overlaps the time interval and the third time interval overlaps the other time interval, then the real number is greater than the other real number
(=> (instance ?DAY Day) (duration ?DAY (MeasureFn 1 DayDuration)))	Merge.kif 9278-9280	If a time interval is an instance of day, then duration of the time interval is 1 day duration(s)
(=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24))	Merge.kif 9538-9540	If a time interval is an instance of day, then the number of instances in decomposition of the time interval into hours is equal to 24

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 25355-25365	If a day is a birthdate of a human and the day is an instance of the day a positive integer, then there exist another kind of day and an integer such that the human's birthday is another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer and the integer is greater than another integer
(=> (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 3964-3974	If a time interval is equal to the fiscal year starting of an agent and a kind of year and another kind of time interval is a fiscal year period of the agent and the time interval is an instance of another kind of time interval, then there exist a third time interval and a time position such that the third time interval is an instance of day and the third time interval starts the time interval and the time position is an instance of a kind of year and the third time interval is a part of the time position
(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER))	Merge.kif 9528-9532	If a time interval is an instance of month and duration of the time interval is an integer day duration(s), then the number of instances in decomposition of the time interval into days is equal to the integer
(=> (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	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist an entity, another entity and a third entity such that the entity is a guest at the organization and the entity stays at the other entity and the third entity is equal to the time of existence of the entity stays at the other entity and for all a fourth entity if the fourth entity is an instance of day and the fourth entity takes place during the third entity, then there exists a fifth entity such that the fifth entity is an instance of service and the other entity is a patient of the fifth entity and the fifth entity takes place during the fourth entity holds during the third entity has the modal force of likely
(=> (and (instance ?REGION GeographicArea) (located ?REGION AntarcticArea)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated))))))	Geography.kif 3619-3628	If a physical is an instance of geographic area and the physical is located at antarctic area, then there exists a time position such that the time position is an instance of day and illuminated is not an attribute of the physical holds during the time position
(=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated))))))	Geography.kif 3558-3567	If a physical is an instance of geographic area and the physical is located at arctic region, then there exists a time position such that the time position is an instance of day and illuminated is not an attribute of the physical holds during the time position
(=> (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	If a content bearing physical is an instance of birth certificate and a process is an instance of birth and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is a birthdate of the agent and the entity is an instance of day and the other entity is a birthplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name
(=> (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	If a content bearing physical is an instance of DeathCertificate and a process is an instance of death and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist the processAY, another entity,, , a third entity and the other entityROC such that the processAY is a deathdate of the agent and the processAY is an instance of day and the other entity is a deathplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name and the other entityROC causes the process and the other entityROC is an instance of process
(=> (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	If a content bearing physical is an instance of MarriageCertificate and a human is an instance of human and another human is an instance of human and the human is the spouse of the other human, then the content bearing physical contains the formula there exists an entity such that the human and the other human were married on the entity and the entity is an instance of day
(=> (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 25314-25325	If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer, then there exist another kind of day and an integer such that weddingAnniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer and the integer is greater than another integer
(=> (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 3705-3725	If an agent is a day phone of a symbolic string, then there exist a telephone, an entity and a real number such that the telephone is a phone number of the symbolic string and the real number is greater than 6 and the real number is less than 18 and there exists another entity such that the other entity is an instance of telephoning and the other entity ends up at the agent and the telephone is a patient of the other entity and the agent possesses the telephone and the statement there exists a third entity such that the third entity is an instance of answering and the third entity is a subprocess of the other entity and the agent is an agent of the third entity has the modal force of likely holds during the entity is an instance of the hour the real number
(=> (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 3749-3769	If an agent is an evening phone of a symbolic string, then there exist a telephone, an entity and a real number such that the telephone is a phone number of the symbolic string and the real number is greater than 18 and the real number is less than 6 and there exists another entity such that the other entity is an instance of telephoning and the other entity ends up at the agent and the telephone is a patient of the other entity and the agent possesses the telephone and the statement there exists a third entity such that the third entity is an instance of answering and the third entity is a subprocess of the other entity and the agent is an agent of the third entity has the modal force of likely holds during the entity is an instance of the hour the real number
(=> (instance ?C CalendarText) (exists (?D) (and (instance ?D Day) (refers ?C ?D))))	ComputingBrands.kif 2295-2300	If an entity is an instance of calendar, then there exists another entity such that the other entity is an instance of day and the entity includes a reference to the other entity
(=> (instance ?M Midnight) (exists (?D) (and (instance ?D Day) (equal ?M (EndFn ?D)))))	Merge.kif 8823-8828	If a time point is an instance of midnight, then there exists a time interval such that the time interval is an instance of day and the time point is equal to the end of the time interval
(=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7))	Merge.kif 9534-9536	If a time interval is an instance of week, then the number of instances in decomposition of the time interval into days is equal to 7
(=> (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	If a physical is an instance of iftar, then there exist a time interval, another time interval and a third time interval such that the other time interval is an instance of sunset and the time interval is an instance of ramadan and the third time interval is an instance of day and the third time interval takes place during the time interval and the time of existence of the physical takes place during the third time interval and the other time interval takes place during the third time interval and the other time interval happens before the time of existence of the physical
(=> (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	If a physical is an instance of suhur, then there exist a time interval, another time interval and a third time interval such that the other time interval is an instance of sunrise and the time interval is an instance of ramadan and the third time interval is an instance of day and the third time interval takes place during the time interval and the time of existence of the physical takes place during the third time interval and the other time interval takes place during the third time interval and the time of existence of the physical happens before the other time interval

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

KB Term:			Term intersection

English Word: