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 8442-8444
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1446-1448
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8439-8439	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 8440-8440	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 8436-8436	meets temporally is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8434-8434	meets temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8437-8437	meets temporally is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8435-8435	meets temporally is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8438-8438	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 441-441
No TPTP formula. May not be expressible in strict first order.	french_format.kif 252-252
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 180-180
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2046-2046
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 204-204
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 258-258
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 568-568
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 218-218
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 273-273
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 276-276
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 356-356
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 436-436
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36932-36932
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36931-36931
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36930-36930
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 175-175

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9443-9452	If a time interval is an instance of Saturday and another time interval is an instance of Sunday 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 157-168	If a process is an instance of drawing a check and an entity is a patient of the process and another process is an instance of processing a check and the entity is a patient of the other process and equal the time of existence of the process and the processTime and equal the time of existence of the other process and 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 real number month duration(s), then the real number is less than 6
No TPTP formula. May not be expressible in strict first order.	Media.kif 437-444	If a time interval is an instance of Easter sunday 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 Easter sunday 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 9334-9341	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 Christmas day 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 Christmas day 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 Christmas day 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.	Medicine.kif 1306-1318	If mild traumatic brain injury is an attribute of an entity doesn't hold during a time interval and mild traumatic brain injury is an attribute of the entity holds during another time interval and the time interval meets the other time interval, then the statement unconscious is an attribute of the entity holds during the beginning of the other time interval has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 769-779	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 equal the time of existence of the computer process and a time interval and a physical is an instance of computer process and equal the time of existence of the physical and another time interval and the time interval meets a third time interval and the third time interval meets the other time interval, then duration of the third time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8446-8450	If a time interval meets another time interval, then equal the end of the time interval and the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8458-8465	If a time interval meets another time interval, then there doesn't exist a time position such that the time position is an instance of time interval and the time position is a part of the time interval and the time position is a part of the other time interval

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	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 the object, then the statement there exist an entity, another entity and the object such that the other entity is an instance of eating and the entity is an agent of the other entity and equal the agent and the entity and the entity is an instance of group of people and the other entity is located at the object and the time of existence of the process meets the time of existence of the other entity and equal the object and the object has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18368-18374	If larval is an attribute of an agent holds during a time interval and a process is an instance of birth and equal another time interval and 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 443-456	If a process is an instance of dodging and an agent is an agent of the process and equal the processT and the time of existence of the process, then the process has the 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 8716-8721	If a time interval is an instance of the day a positive integer of month a kind of month and another time interval is an instance of the day another positive integer of month a kind of month and equal (the other positive integer and the positive integer) and 1, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9421-9428	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 9369-9376	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 9434-9441	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 doesn't meet the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9443-9452	If a time interval is an instance of Saturday and another time interval is an instance of Sunday 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 9356-9363	If a time interval is an instance of Sunday and another time interval is an instance of Monday 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 9408-9415	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 9382-9389	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 9395-9402	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 12114-12121	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 3251-3267	If a process is an instance of downtick and a physical is a patient of the process and equal the time of existence of the process and an agent and an unit of measure is an instance of unit of currency and the physical is price a real number the unit of measure(s) for the agent, then there exist another process, another agent and another real number such that the other process is an instance of stock market transaction and the physical is a patient of the other process and equal the time of existence of the other process and the other agent and the other agent meets the agent and the physical is price the other real number the unit of measure(s) for the other agent and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18832-18840	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 9035-9042	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.	Mid-level-ontology.kif 636-654	If a process is an instance of flashing light and the process originates at an object, then there exist another process, a time interval and a third process such that the other process is an instance of radiating light and the time interval is an instance of time interval and the third process is an instance of radiating light and the time of existence of the other process meets the time interval and the time interval meets the time of existence of the third process and there doesn't exist a fourth process such that the fourth process is an instance of radiating light and the fourth process originates at the object and the time of existence of the fourth process takes place during the time interval and the other process is a subprocess of the process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8742-8747	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 equal (the other nonnegative integer and the nonnegative integer) and 1, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8769-8774	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 equal (the other nonnegative integer and the nonnegative integer) and 1, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9221-9225	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 9277-9281	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 9334-9341	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 9193-9197	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 9169-9173	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 9263-9267	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

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: