Day - Sigma Knowledge base Browser

appearance as argument number 3

s__domain(s__AfternoonFn__m,n__1,s__Day)	Merge.kif 8255-8255	The number 1 argument of AfternoonFn is an instance of day
s__domain(s__EveningFn__m,n__1,s__Day)	Merge.kif 8352-8352	The number 1 argument of EveningFn is an instance of day
s__domain(s__MorningFn__m,n__1,s__Day)	Merge.kif 8242-8242	The number 1 argument of MorningFn is an instance of day
s__domain(s__availableBalance__m,n__2,s__Day)	FinancialOntology.kif 3655-3655	The number 2 argument of available balance is an instance of day
s__domain(s__availableCash__m,n__2,s__Day)	FinancialOntology.kif 3675-3675	The number 2 argument of available cash is an instance of day
s__domain(s__baptismdate__m,n__2,s__Day)	Biography.kif 65-65	The number 2 argument of baptismdate is an instance of day
s__domain(s__birthdate__m,n__2,s__Day)	Mid-level-ontology.kif 21986-21986	The number 2 argument of birthdate is an instance of day
s__domain(s__birthday__m,n__2,s__Day)	Mid-level-ontology.kif 21963-21963	The number 2 argument of birthday is an instance of day
s__domain(s__buyingPowerAmount__m,n__2,s__Day)	FinancialOntology.kif 3935-3935	The number 2 argument of buying power amount is an instance of day
s__domain(s__callDate__m,n__2,s__Day)	FinancialOntology.kif 2407-2407	The number 2 argument of call date is an instance of day
s__domain(s__closingPrice__m,n__3,s__Day)	FinancialOntology.kif 3369-3369	The number 3 argument of closing price is an instance of day
s__domain(s__currentAccountBalance__m,n__2,s__Day)	FinancialOntology.kif 632-632	The number 2 argument of current account balance is an instance of day
s__domain(s__currentInterestRate__m,n__2,s__Day)	FinancialOntology.kif 574-574	The number 2 argument of current interest rate is an instance of day
s__domain(s__date__m,n__2,s__Day)	Merge.kif 7972-7972	The number 2 argument of date is an instance of day
s__domain(s__dateOfStatement__m,n__2,s__Day)	FinancialOntology.kif 3870-3870	The number 2 argument of date of statement is an instance of day
s__domain(s__deathdate__m,n__2,s__Day)	Mid-level-ontology.kif 21998-21998	The number 2 argument of deathdate is an instance of day
s__domain(s__marginBalanceAmount__m,n__2,s__Day)	FinancialOntology.kif 3944-3944	The number 2 argument of margin balance amount is an instance of day
s__domain(s__marketValueAmount__m,n__2,s__Day)	FinancialOntology.kif 3962-3962	The number 2 argument of market value amount is an instance of day
s__domain(s__maturityDate__m,n__2,s__Day)	FinancialOntology.kif 591-591	The number 2 argument of maturity date is an instance of day
s__domain(s__netWorth__m,n__3,s__Day)	FinancialOntology.kif 812-812	The number 3 argument of net worth is an instance of day
s__domain(s__overdraft__m,n__3,s__Day)	FinancialOntology.kif 729-729	The number 3 argument of overdraft is an instance of day
s__domain(s__primeInterestRate__m,n__1,s__Day)	FinancialOntology.kif 559-559	The number 1 argument of prime interest rate is an instance of day
s__domain(s__shortBalanceAmount__m,n__2,s__Day)	FinancialOntology.kif 3953-3953	The number 2 argument of short balance amount is an instance of day
s__domain(s__weddingdate__m,n__3,s__Day)	Biography.kif 49-49	The number 3 argument of weddingdate is an instance of day
s__domainSubclass(s__HourFn__m,n__2,s__Day)	Merge.kif 8041-8041	The number 2 argument of hour is a subclass of day

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 57-75	If mausaharati is an attribute of an agent and a time interval is an instance of drumming and the agent is an agent of the time interval and the time intervalAY is an instance of day and another time interval is an instance of sunrise and the other time interval takes place during the time interval and the time interval happens before the other time interval, then the time interval purpose there exist another entity, the other time intervalUHUR and a fourth entity such that the fourth entity is an instance of waking up and the other entity experiences the fourth entity and the other time intervalUHUR is an instance of suhur and the other entity is an agent of the other time intervalUHUR and the fourth entity happens before the other time intervalUHUR and the fourth entity takes place during the time intervalAY and the other time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3590-3598	If an agent is a day phone of a symbolic string and a kind of day is an instance of day, then there exists a telephone such that the telephone is a phone number of the symbolic string and the agent possesses the telephone holds during the hour the symbolic string and the symbolic string is less than 18
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3607-3615	If an agent is an evening phone of a symbolic string and a kind of day is an instance of day, then there exists a telephone such that the telephone is a phone number of the symbolic string and the agent possesses the telephone holds during the hour the symbolic string and the symbolic string is greater than 18
( ! [V__D,V__EVE,V__AFT] : ((s__instance(V__EVE,s__Evening) & s__instance(V__AFT,s__Afternoon) & s__instance(V__D,s__Day) & s__during(V__EVE,V__D) & s__during(V__AFT,V__D)) => s__meetsTemporally(V__AFT,V__EVE) ) )	Merge.kif 8340-8347	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4644-4657	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 2 and the other time interval is located at 2 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 quantity and another quantity such that the quantity is a water depth of an entity holds during the time interval and the other quantity is a water depth of the entity holds during the other time interval and the other quantity is greater than the quantity
( ! [V__DAY,V__PLACE,V__TIME2,V__TIME1,V__AMOUNT2,V__AMOUNT1] : ((s__instance(V__PLACE,s__Region) & s__instance(V__TIME2,s__TimeInterval) & s__instance(V__TIME1,s__TimeInterval) & s__instance(V__AMOUNT2,s__LengthMeasure) & s__instance(V__AMOUNT1,s__LengthMeasure)) => (s__lowTide(V__PLACE,V__TIME1,V__AMOUNT1) & s__highTide(V__PLACE,V__TIME2,V__AMOUNT2) & s__instance(V__DAY,s__Day) & s__overlapsTemporally(V__TIME1,V__DAY) & s__overlapsTemporally(V__TIME2,V__DAY)) => s__greaterThan(V__AMOUNT1,V__AMOUNT2) ) )	Geography.kif 4708-4715	If a region low tide a time interval for a length measure and the region is high tide another time interval for another length measure 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 length measure is greater than the other length measure
( ! [V__DAY] : (s__instance(V__DAY,s__Day) => s__duration(V__DAY,s__MeasureFn(n__1,s__DayDuration)) ) )	Merge.kif 8645-8647	If a time interval is an instance of day, then duration of the time interval is 1 day duration(s)
( ! [V__DAY] : (s__instance(V__DAY,s__Day) => (s__CardinalityFn(s__TemporalCompositionFn(V__DAY,s__Hour)) = n__24) ) )	Merge.kif 8882-8884	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

( ! [V__FY,V__PLACE,V__YEAR,V__PERIOD] : ((s__instance(V__FY,s__TimeInterval) & s__instance(V__PLACE,s__Agent) & s__subclass(V__YEAR,s__Year) & s__instance(V__YEAR,s__TimePosition) & s__subclass(V__PERIOD,s__TimeInterval) & s__instance(V__PERIOD,s__SetOrClass)) => ((V__FY = s__FiscalYearStartingFn(V__PLACE,V__YEAR)) & s__fiscalYearPeriod(V__PLACE,V__PERIOD) & s__instance(V__FY,V__PERIOD)) => ( ? [V__DAY] : ((s__instance(V__DAY,s__Day) & s__starts(V__DAY,V__FY) & s__temporalPart(V__DAY,V__YEAR)))) ) )	Economy.kif 3755-3764	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 exists a third time interval such that the third time interval is an instance of day and the third time interval starts the time interval and the third time interval is a part of a kind of year
( ! [V__MONTH,V__NUMBER] : (s__instance(V__NUMBER,s__Integer) => (s__instance(V__MONTH,s__Month) & s__duration(V__MONTH,s__MeasureFn(V__NUMBER,s__DayDuration))) => (s__CardinalityFn(s__TemporalCompositionFn(V__MONTH,s__Day)) = V__NUMBER) ) )	Merge.kif 8872-8876	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2600-2620	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist an entity and another entity such that the entity is a guest at the organization and the entity stays at the other entity and a 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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3469-3478	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3429-3438	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
( ! [V__C] : (s__instance(V__C,s__CalendarText) => ( ? [V__D] : ((s__instance(V__D,s__Day) & s__refers(V__C,V__D)))) ) )	ComputingBrands.kif 2275-2280	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
( ! [V__M] : (s__instance(V__M,s__Midnight) => ( ? [V__D] : ((s__instance(V__D,s__Day) & (V__M = s__EndFn(V__D))))) ) )	Merge.kif 8207-8212	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
( ! [V__WEEK] : (s__instance(V__WEEK,s__Week) => (s__CardinalityFn(s__TemporalCompositionFn(V__WEEK,s__Day)) = n__7) ) )	Merge.kif 8878-8880	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
( ! [V__X] : (s__instance(V__X,s__Iftar) => ( ? [V__R, V__S, V__D] : ((s__instance(V__S,s__Sunset) & s__instance(V__R,s__Ramadan) & s__instance(V__D,s__Day) & s__during(V__D,V__R) & s__during(s__WhenFn(V__X) ,V__D) & s__during(V__S,V__D) & s__before(V__S,s__WhenFn(V__X))))) ) )	ArabicCulture.kif 82-92	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
( ! [V__X] : (s__instance(V__X,s__Suhur) => ( ? [V__R, V__S, V__D] : ((s__instance(V__S,s__Sunrise) & s__instance(V__R,s__Ramadan) & s__instance(V__D,s__Day) & s__during(V__D,V__R) & s__during(s__WhenFn(V__X) ,V__D) & s__during(V__S,V__D) & s__before(s__WhenFn(V__X) ,V__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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

s__documentation(s__Day,s__ChineseLanguage,'"这是所有日历日的 Class。"')	chinese_format.kif 2807-2807
s__documentation(s__Day,s__EnglishLanguage,'"The Class of all calendar Days."')	Merge.kif 8643-8643
s__externalImage(s__Day,'"http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG"')	pictureList.kif 5949-5949
s__externalImage(s__Day,'"http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg"')	pictureList.kif 6344-6344
s__externalImage(s__Day,'"http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg"')	pictureList.kif 6345-6345
s__externalImage(s__Day,'"http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg"')	pictureList.kif 6346-6346
s__externalImage(s__Day,'"http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg"')	pictureList.kif 6347-6347
s__relatedInternalConcept(s__Day,s__DayDuration)	Merge.kif 8641-8641	Day is internally related to day duration
s__relatedInternalConcept(s__Day,s__DayFn__m)	Merge.kif 8640-8640	Day is internally related to day
s__instance(s__TimeInterval,s__SetOrClass) s__instance(s__Day,s__SetOrClass) s__subclass(s__Day,s__TimeInterval)	Merge.kif 8639-8639	Day is a subclass of time interval

s__rangeSubclass(s__DayFn__m,s__Day)	Merge.kif 8017-8017	The values returned by day are subclasses of day
s__subclass(s__ChristmasDay,s__Day) s__instance(s__ChristmasDay,s__SetOrClass) s__instance(s__Day,s__SetOrClass)	Media.kif 335-335	ChristmasDay is a subclass of day
s__subclass(s__Friday,s__Day) s__instance(s__Day,s__SetOrClass) s__instance(s__Friday,s__SetOrClass)	Merge.kif 8691-8691	Friday is a subclass of day
s__instance(s__Monday,s__SetOrClass) s__instance(s__Day,s__SetOrClass) s__subclass(s__Monday,s__Day)	Merge.kif 8649-8649	Monday is a subclass of day
s__subclass(s__Saturday,s__Day) s__instance(s__Saturday,s__SetOrClass) s__instance(s__Day,s__SetOrClass)	Merge.kif 8704-8704	Saturday is a subclass of day
s__instance(s__Day,s__SetOrClass) s__subclass(s__Sunday,s__Day) s__instance(s__Sunday,s__SetOrClass)	Merge.kif 8717-8717	Sunday is a subclass of day
s__subclass(s__Thursday,s__Day) s__instance(s__Day,s__SetOrClass) s__instance(s__Thursday,s__SetOrClass)	Merge.kif 8678-8678	Thursday is a subclass of day
s__subclass(s__Tuesday,s__Day) s__instance(s__Tuesday,s__SetOrClass) s__instance(s__Day,s__SetOrClass)	Merge.kif 8652-8652	Tuesday is a subclass of day
s__instance(s__Wednesday,s__SetOrClass) s__subclass(s__Wednesday,s__Day) s__instance(s__Day,s__SetOrClass)	Merge.kif 8665-8665	Wednesday is a subclass of day
s__termFormat(s__ChineseLanguage,s__Day,'"日"')	chinese_format.kif 1289-1289
s__termFormat(s__EnglishLanguage,s__Day,'"day"')	english_format.kif 1804-1804

KB Term:			Term intersection

English Word: