Day - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9126-9126
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9125-9125
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5949-5949	"http://upload.wikimedia.org/wikipedia/commons/1/14/ Harrison%27s_Chronometer_H5.JPG" is a URL depicting day
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6344-6344	"http://upload.wikimedia.org/wikipedia/commons/7/70/ Wooden_hourglass_3.jpg" is a URL depicting day
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6345-6345	"http://upload.wikimedia.org/wikipedia/commons/7/7d/ Dagr_by_Arbo.jpg" is a URL depicting day
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6346-6346	"http://upload.wikimedia.org/wikipedia/commons/f/f2/ Water%2CRabbit%2CDeer.jpg" is a URL depicting day
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6347-6347	"http://upload.wikimedia.org/wikipedia/commons/f/f6/ A_day_panorama_-_digital_art.jpg" is a URL depicting day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9124-9124	Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9123-9123	Day is internally related to day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9122-9122	Day is a subclass of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8658-8658	The values returned by day are subclasses of day
No TPTP formula. May not be expressible in strict first order.	Media.kif 335-335	ChristmasDay is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9175-9175	Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9132-9132	Monday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9188-9188	Saturday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9201-9201	Sunday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9162-9162	Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9136-9136	Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9149-9149	Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1289-1289	"日" is the printable form of day in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 976-976	"day" is the printable form of day in english language
No TPTP formula. May not be expressible in strict first order.	french_format.kif 967-967	"jour" is the printable form of day in french language
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 502-502	"divasa" is the printable form of day in Hindi
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 504-504	"Giorno" is the printable form of day in italian language
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 919-919	"Dia" is the printable form of day in portuguese language
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 508-508	"adlaw" is the printable form of day in cb
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 542-542	"day" is the printable form of day in cz
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 507-507	"araw" is the printable form of day in tg

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3648-3648	The number 2 argument of available balance is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3668-3668	The number 2 argument of available cash is an instance of day
No TPTP formula. May not be expressible in strict first order.	Biography.kif 65-65	The number 2 argument of baptismdate is an instance of day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21581-21581	The number 2 argument of birthdate is an instance of day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21558-21558	The number 2 argument of birthday is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3929-3929	The number 2 argument of buying power amount is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2408-2408	The number 2 argument of call date is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3362-3362	The number 3 argument of closing price is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 633-633	The number 2 argument of current account balance is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 575-575	The number 2 argument of current interest rate is an instance of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8603-8603	The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3863-3863	The number 2 argument of date of statement is an instance of day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21593-21593	The number 2 argument of deathdate is an instance of day
No TPTP formula. May not be expressible in strict first order.	Society.kif 210-210	The number 2 argument of foundingdate is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3938-3938	The number 2 argument of margin balance amount is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3956-3956	The number 2 argument of market value amount is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 592-592	The number 2 argument of maturity date is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 813-813	The number 3 argument of net worth is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 730-730	The number 3 argument of overdraft is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 560-560	The number 1 argument of prime interest rate is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3947-3947	The number 2 argument of short balance amount is an instance of day
No TPTP formula. May not be expressible in strict first order.	Biography.kif 49-49	The number 3 argument of weddingdate is an instance of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8829-8829	The number 1 argument of AfternoonFn is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8871-8871	The number 1 argument of EveningFn is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8685-8685	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 a third time interval is an instance of sunrise and the third time interval takes place during the time interval and the time interval happens before the third time interval, then the time interval has purpose there exist another agent, the third time intervalUHUR and a fifth time interval such that the fifth time interval is an instance of waking up and the other agent experiences the fifth time interval and the third time intervalUHUR is an instance of suhur and the other agent is an agent of the third time intervalUHUR and the fifth time interval happens before the third time intervalUHUR and the fifth time interval takes place during the time intervalAY and the third time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3583-3591	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 3600-3608	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8859-8866	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 4631-4644	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 length measure and another length measure such that the length measure is a water depth of a water area holds during the time interval and the other length measure is a water depth of the water area holds during the other time interval and the other length measure is greater than the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4695-4702	If a region low tide a time interval for a length measure and the region 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9128-9130	If a time interval is an instance of day, then duration of the time interval is 1 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9370-9372	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9360-9364	If a time interval is an instance of month and duration of the time interval is a real number day duration(s), then the number of instances in decomposition of the time interval into days is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2595-2615	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist a human and a temporary residence such that the human is a guest at the organization and the human stays at the temporary residence and a time interval is equal to the time of existence of the human stays at the temporary residence and for all another time interval if the other time interval is an instance of day and the other time interval takes place during the time interval, then there exists a third time interval such that the third time interval is an instance of service and the temporary residence is a patient of the third time interval and the third time interval takes place during the other time interval holds during the time interval has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3456-3465	If an object is an instance of geographic area and the object is located at antarctic area, then there exists an entity such that the entity is an instance of day and illuminated is not an attribute of the object holds during the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3416-3425	If an object is an instance of geographic area and the object is located at arctic region, then there exists an entity such that the entity is an instance of day and illuminated is not an attribute of the object holds during the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8807-8812	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9366-9368	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

KB Term:			Term intersection

English Word: