meetsTemporally - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2722-2723
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7689-7691
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7686-7686	The number 1 argument of meets temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7687-7687	The number 2 argument of meets temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7683-7683	meets temporally is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7681-7681	meets temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7684-7684	meets temporally is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7682-7682	meets temporally is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7685-7685	meets temporally is an instance of total valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 435-435
No TPTP formula. May not be expressible in strict first order.	english_format.kif 444-444
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 436-436	"在时间上接着" is the printable form of meets temporally in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36847-36847	"短暂相遇" is the printable form of meets temporally in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36846-36846	"短暫相遇" is the printable form of meets temporally in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36845-36845	"meets temporally" is the printable form of meets temporally in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7693-7697	A time interval meets another time interval if and only if the end of the time interval is equal to the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8639-8648	If a time interval is an instance of Sunday and another time interval is an instance of Monday and a third time interval is an instance of week and a fourth time interval is an instance of week and the time interval is a part of the third time interval and the other time interval is a part of the fourth time interval and the third time interval meets the fourth time interval, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 155-166	If a process is an instance of drawingA check and an entity is a patient of the process and another process is an instance of processingA check and the entity is a patient of the other process and the time of existence of the process is equal to the processTime and the time of existence of the other process is equal to the other processTime and the processTime meets a third time interval and the third time interval meets the other processTime and duration of the third time interval is a time duration, then the time duration is less than 6 month duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 437-444	If a time interval is an instance of EasterSunday and another time interval is an instance of Lent and the other time interval meets the time interval and the time interval takes place during a third time interval and the third time interval is an instance of year, then the other time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 446-453	If a time interval is an instance of EasterSunday and another time interval is an instance of Lent and the other time interval meets the time interval and the other time interval takes place during a third time interval and the third time interval is an instance of year, then the time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8539-8546	If a time interval is an instance of the month December and another time interval is an instance of the month January and a third time interval is an instance of a kind of year and a fourth time interval is an instance of another kind of year and the third time interval meets the fourth time interval, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 387-394	If a time interval is an instance of Advent and another time interval is an instance of ChristmasDay and the time interval takes place during a third time interval and the third time interval is an instance of year and the time interval meets the other time interval, then the other time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 396-403	If a time interval is an instance of Advent and another time interval is an instance of ChristmasDay and the other time interval takes place during a third time interval and the third time interval is an instance of year and the time interval meets the other time interval, then the time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 376-385	If a time interval is an instance of Advent and another time interval is an instance of ChristmasDay and the time interval meets the other time interval, then there exists a third time interval such that the third time interval is an instance of year and the time interval takes place during the third time interval and the other time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 658-668	If the startup time delay of a computer program is a time duration and a computer process is an instance of computer process and the computer program is a program running of the computer process and the time of existence of the computer process is equal to a time interval and a physical is an instance of computer process and the time of existence of the physical is equal to another time interval and the time interval meets a third time interval and the third time interval meets the other time interval, then the measure of the third time interval is the time duration

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1154-1171	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at 2, then the statement there exist an entity and another entity such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at 2 and the time of existence of the process meets the time of existence of the other entity and the object is equal to the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16742-16748	If larval is an attribute of an agent holds during a time interval and a process is an instance of birth and another time interval is equal to the time of existence of the process and the agent experiences the process, then the other time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 609-622	If a process is an instance of dodging and an agent is an agent of the process and the processT is equal to the time of existence of the process, then the process purpose there doesn't exist an entity such that the processT meets the time of existence of the entity or the time of existence of the entity overlaps the processT and the entity is an instance of impacting and the agent is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7939-7944	If a time interval is an instance of the day a positive integer and another time interval is an instance of the day another positive integer and (the other positive integer and the positive integer) is equal to 1, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8617-8624	If a time interval is an instance of Friday and another time interval is an instance of Saturday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8565-8572	If a time interval is an instance of Monday and another time interval is an instance of Tuesday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8630-8637	If a time interval is an instance of Saturday and another time interval is an instance of Sunday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8639-8648	If a time interval is an instance of Sunday and another time interval is an instance of Monday and a third time interval is an instance of week and a fourth time interval is an instance of week and the time interval is a part of the third time interval and the other time interval is a part of the fourth time interval and the third time interval meets the fourth time interval, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8604-8611	If a time interval is an instance of Thursday and another time interval is an instance of Friday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8578-8585	If a time interval is an instance of Tuesday and another time interval is an instance of Wednesday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8591-8598	If a time interval is an instance of Wednesday and another time interval is an instance of Thursday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11037-11044	If a process is an instance of discovering and an entity is a patient of the process, then there exists a physical such that the physical is an instance of pursuing and the time of existence of the physical meets the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3134-3147	If a process is an instance of downtick and a physical is a patient of the process and the time of existence of the process is equal to an agent and the physical is price a currency measure for the agent, then there exist another process and another agent such that the other process is an instance of stock market transaction and the physical is a patient of the other process and the time of existence of the other process is equal to the other agent and the other agent meets the agent and the physical is price another currency measure for the other agent and the other currency measure is greater than the currency measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14844-14852	If a process is an instance of escaping and an agent is an agent of the process, then there exists another process such that the other process is an instance of confining and the agent is a patient of the other process and the time of existence of the other process meets the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8249-8256	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.	Merge.kif 7965-7970	If a time interval is an instance of the hour a nonnegative integer and another time interval is an instance of the hour another nonnegative integer and (the other nonnegative integer and the nonnegative integer) is equal to 1, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7992-7997	If a time interval is an instance of the minute a nonnegative integer and another time interval is an instance of the minute another nonnegative integer and (the other nonnegative integer and the nonnegative integer) is equal to 1, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8426-8430	If a time interval is an instance of the month April and another time interval is an instance of the month May, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8482-8486	If a time interval is an instance of the month August and another time interval is an instance of the month September, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8539-8546	If a time interval is an instance of the month December and another time interval is an instance of the month January and a third time interval is an instance of a kind of year and a fourth time interval is an instance of another kind of year and the third time interval meets the fourth time interval, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8398-8402	If a time interval is an instance of the month February and another time interval is an instance of the month March, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8374-8378	If a time interval is an instance of the month January and another time interval is an instance of the month February, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8468-8472	If a time interval is an instance of the month July and another time interval is an instance of the month August, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8454-8458	If a time interval is an instance of the month June and another time interval is an instance of the month July, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8412-8416	If a time interval is an instance of the month March and another time interval is an instance of the month April, then the time interval meets the other time interval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: