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 8552-8552
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG")	pictureList.kif 5949-5949	externalImage Day and "http://upload.wikimedia.org/wikipedia/commons/1/14/ Harrison%27s_Chronometer_H5.JPG"
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg")	pictureList.kif 6344-6344	externalImage Day and "http://upload.wikimedia.org/wikipedia/commons/7/70/ Wooden_hourglass_3.jpg"
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg")	pictureList.kif 6345-6345	externalImage Day and "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Dagr_by_Arbo.jpg"
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg")	pictureList.kif 6346-6346	externalImage Day and "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Water%2CRabbit%2CDeer.jpg"
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg")	pictureList.kif 6347-6347	externalImage Day and "http://upload.wikimedia.org/wikipedia/commons/f/f6/ A_day_panorama_-_digital_art.jpg"
(relatedInternalConcept Day DayDuration)	Merge.kif 8550-8550	relatedInternalConcept Day and DayDuration
(relatedInternalConcept Day DayFn)	Merge.kif 8549-8549	relatedInternalConcept Day and DayFn
(subclass Day TimeInterval)	Merge.kif 8548-8548	subclass Day and TimeInterval

appearance as argument number 2

(rangeSubclass DayFn Day)	Merge.kif 7926-7926	rangeSubclass DayFn and Day
(subclass ChristmasDay Day)	Media.kif 335-335	subclass ChristmasDay and Day
(subclass Friday Day)	Merge.kif 8600-8600	subclass Friday and Day
(subclass Monday Day)	Merge.kif 8558-8558	subclass Monday and Day
(subclass Saturday Day)	Merge.kif 8613-8613	subclass Saturday and Day
(subclass Sunday Day)	Merge.kif 8626-8626	subclass Sunday and Day
(subclass Thursday Day)	Merge.kif 8587-8587	subclass Thursday and Day
(subclass Tuesday Day)	Merge.kif 8561-8561	subclass Tuesday and Day
(subclass Wednesday Day)	Merge.kif 8574-8574	subclass Wednesday and Day
(termFormat ChineseLanguage Day "日")	chinese_format.kif 1289-1289	termFormat ChineseLanguage, Day and "日"
(termFormat EnglishLanguage Day "day")	english_format.kif 1804-1804	termFormat EnglishLanguage, Day and "day"

appearance as argument number 3

(domain AfternoonFn 1 Day)	Merge.kif 8164-8164	domain AfternoonFn, 1 and Day
(domain EveningFn 1 Day)	Merge.kif 8261-8261	domain EveningFn, 1 and Day
(domain MorningFn 1 Day)	Merge.kif 8151-8151	domain MorningFn, 1 and Day
(domain availableBalance 2 Day)	FinancialOntology.kif 3654-3654	domain availableBalance, 2 and Day
(domain availableCash 2 Day)	FinancialOntology.kif 3674-3674	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 21974-21974	domain birthdate, 2 and Day
(domain birthday 2 Day)	Mid-level-ontology.kif 21951-21951	domain birthday, 2 and Day
(domain buyingPowerAmount 2 Day)	FinancialOntology.kif 3934-3934	domain buyingPowerAmount, 2 and Day
(domain callDate 2 Day)	FinancialOntology.kif 2406-2406	domain callDate, 2 and Day
(domain closingPrice 3 Day)	FinancialOntology.kif 3368-3368	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 7881-7881	domain date, 2 and Day
(domain dateOfStatement 2 Day)	FinancialOntology.kif 3869-3869	domain dateOfStatement, 2 and Day
(domain deathdate 2 Day)	Mid-level-ontology.kif 21986-21986	domain deathdate, 2 and Day
(domain marginBalanceAmount 2 Day)	FinancialOntology.kif 3943-3943	domain marginBalanceAmount, 2 and Day
(domain marketValueAmount 2 Day)	FinancialOntology.kif 3961-3961	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 3952-3952	domain shortBalanceAmount, 2 and Day
(domain weddingdate 3 Day)	Biography.kif 49-49	domain weddingdate, 3 and Day
(domainSubclass HourFn 2 Day)	Merge.kif 7950-7950	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	attribute Agent and Mausaharati instance TimeInterval and Drumming agent TimeInterval and Agent instance TimeIntervalAY and Day instance TimeInterval and Sunrise during TimeInterval and TimeInterval before TimeInterval and TimeInterval hasPurpose TimeInterval and entity TimeIntervalUHUR and entity instance entity and WakingUp experiencer entity and entity instance TimeIntervalUHUR and Suhur agent TimeIntervalUHUR and entity before entity and TimeIntervalUHUR during entity and TimeIntervalAY during TimeIntervalUHUR and TimeIntervalAY
(=> (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 3589-3597	dayPhone SymbolicString and Agent instance Day and Day Telephone phoneNumber SymbolicString and Telephone holdsDuring HourFn SymbolicString and Day and possesses Agent and Telephone lessThan SymbolicString and 18
(=> (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 3606-3614	eveningPhone SymbolicString and Agent instance Day and Day Telephone phoneNumber SymbolicString and Telephone holdsDuring HourFn SymbolicString and Day and possesses Agent and Telephone greaterThan SymbolicString and 18
(=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE))	Merge.kif 8249-8256	instance TimeInterval and Evening instance TimeInterval and Afternoon instance TimeInterval and Day during TimeInterval and TimeInterval during TimeInterval and TimeInterval meetsTemporally TimeInterval and TimeInterval
(=> (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	instance TimeInterval and LowTide instance TimeInterval and HighTide eventLocated TimeInterval and Entity eventLocated TimeInterval and Entity instance TimeInterval and Day overlapsTemporally TimeInterval and TimeInterval overlapsTemporally TimeInterval and TimeInterval Quantity Quantity holdsDuring TimeInterval and waterDepth Entity and Quantity holdsDuring TimeInterval and waterDepth Entity and Quantity greaterThan Quantity and Quantity
(=> (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	lowTide Region, TimeInterval and LengthMeasure highTide Region, TimeInterval and LengthMeasure instance TimeInterval and Day overlapsTemporally TimeInterval and TimeInterval overlapsTemporally TimeInterval and TimeInterval greaterThan LengthMeasure and LengthMeasure
(=> (instance ?DAY Day) (duration ?DAY (MeasureFn 1 DayDuration)))	Merge.kif 8554-8556	instance TimeInterval and Day duration TimeInterval and MeasureFn 1 and DayDuration
(=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24))	Merge.kif 8791-8793	instance TimeInterval and Day equal CardinalityFn TemporalCompositionFn TimeInterval and Hour and 24

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	equal TimeInterval and FiscalYearStartingFn Agent and Year fiscalYearPeriod Agent and TimeInterval instance TimeInterval and TimeInterval TimeInterval instance TimeInterval and Day starts TimeInterval and TimeInterval temporalPart TimeInterval and Year
(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER))	Merge.kif 8781-8785	instance TimeInterval and Month duration TimeInterval and MeasureFn Integer and DayDuration equal CardinalityFn TemporalCompositionFn TimeInterval and Day and Integer
(=> (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	instance Policy and DailyHousekeepingPolicy policyOwner Organization and Policy modalAttribute entity entity guest entity and Organization stays entity and entity equal entity and WhenFn stays entity and entity holdsDuring entity and entity instance entity and Day during entity and entity entity instance entity and RoomCleaningService patient entity and entity during entity and entity and Likely
(=> (and (instance ?REGION GeographicArea) (located ?REGION AntarcticArea)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated))))))	Geography.kif 3469-3478	instance Physical and GeographicArea located Physical and AntarcticArea TimePosition instance TimePosition and Day holdsDuring TimePosition and attribute Physical and Illuminated
(=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated))))))	Geography.kif 3429-3438	instance Physical and GeographicArea located Physical and ArcticRegion TimePosition instance TimePosition and Day holdsDuring TimePosition and attribute Physical and Illuminated
(=> (instance ?C CalendarText) (exists (?D) (and (instance ?D Day) (refers ?C ?D))))	ComputingBrands.kif 2275-2280	instance Entity and カレンダー Entity instance Entity and Day refers Entity and Entity
(=> (instance ?M Midnight) (exists (?D) (and (instance ?D Day) (equal ?M (EndFn ?D)))))	Merge.kif 8116-8121	instance TimePoint and Midnight TimeInterval instance TimeInterval and Day equal TimePoint and EndFn TimeInterval
(=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7))	Merge.kif 8787-8789	instance TimeInterval and Week equal CardinalityFn TemporalCompositionFn TimeInterval and Day and 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 82-92	instance Physical and Iftar TimeInterval TimeInterval and TimeInterval instance TimeInterval and Sunset instance TimeInterval and Ramadan instance TimeInterval and Day during TimeInterval and TimeInterval during WhenFn Physical and TimeInterval during TimeInterval and TimeInterval before TimeInterval and WhenFn 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	instance Physical and Suhur TimeInterval TimeInterval and TimeInterval instance TimeInterval and Sunrise instance TimeInterval and Ramadan instance TimeInterval and Day during TimeInterval and TimeInterval during WhenFn Physical and TimeInterval during TimeInterval and TimeInterval before WhenFn Physical and TimeInterval

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

KB Term:			Term intersection

English Word: