meetsTemporally - Sigma Knowledge base Browser

appearance as argument number 1

(documentation meetsTemporally ChineseLanguage "(meetsTemporally ?INTERVAL1 ?INTERVAL2) 的意思是 TimeInterval ?INTERVAL1 的终点是 TimeInterval ?INTERVAL2 起点。")	chinese_format.kif 2722-2723
(documentation meetsTemporally EnglishLanguage "(meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2.")	Merge.kif 8379-8381
(documentation meetsTemporally JapaneseLanguage "(meetsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL1 の端子点が TimeInterval ?INTERVAL2 の初期点であることを意味する。")	japanese_format.kif 1446-1448
(domain meetsTemporally 1 TimeInterval)	Merge.kif 8376-8376	The number 1 argument of meets temporally is an instance of time interval
(domain meetsTemporally 2 TimeInterval)	Merge.kif 8377-8377	The number 2 argument of meets temporally is an instance of time interval
(instance meetsTemporally AsymmetricRelation)	Merge.kif 8373-8373	meets temporally is an instance of asymmetric relation
(instance meetsTemporally BinaryPredicate)	Merge.kif 8371-8371	meets temporally is an instance of binary predicate
(instance meetsTemporally IntransitiveRelation)	Merge.kif 8374-8374	meets temporally is an instance of intransitive relation
(instance meetsTemporally TemporalRelation)	Merge.kif 8372-8372	meets temporally is an instance of temporal relation
(instance meetsTemporally TotalValuedRelation)	Merge.kif 8375-8375	meets temporally is an instance of total valued relation

appearance as argument number 2

(format ChineseLanguage meetsTemporally "%1 %n{doesn't} 接着 %2")	chinese_format.kif 435-435
(format EnglishLanguage meetsTemporally "%1 %n{doesn't} meet%p{s} %2")	english_format.kif 441-441
(format FrenchLanguage meetsTemporally "%1 %n{ne} rencontre %n{pas} %2")	french_format.kif 252-252
(format ItalianLanguage meetsTemporally "%1 %n{non} incontra%p{s} %2")	relations-it.txt 180-180
(format JapaneseLanguage meetsTemporally "%1 は %2 に meet%p{s} %n{ない}")	japanese_format.kif 2046-2046
(format PortugueseLanguage meetsTemporally "%1 %n{nao} encontra %n %2")	portuguese_format.kif 204-204
(format cz meetsTemporally "%1 %n{doesn't} meet%p{s} %2")	relations-cz.txt 258-258
(format de meetsTemporally "%1 schliesst %2 zeitlich %n{nicht} an")	relations-de.txt 568-568
(format hi meetsTemporally "%1 %2 se %n{nahiin} milataa hai")	relations-hindi.txt 218-218
(format ro meetsTemporally "%1 %n{nu} meet%t{se continuã} cu %2")	relations-ro.kif 273-273
(format sv meetsTemporally "%1 möter %n{inte} %2")	relations-sv.txt 276-276
(format tg meetsTemporally "%1 %n ay sumali sa %2")	relations-tg.txt 356-356
(termFormat ChineseLanguage meetsTemporally "在时间上接着")	chinese_format.kif 436-436
(termFormat ChineseLanguage meetsTemporally "短暂相遇")	domainEnglishFormat.kif 36952-36952
(termFormat ChineseTraditionalLanguage meetsTemporally "短暫相遇")	domainEnglishFormat.kif 36951-36951
(termFormat EnglishLanguage meetsTemporally "meets temporally")	domainEnglishFormat.kif 36950-36950

antecedent

(=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK1 Week) (instance ?WEEK2 Week) (temporalPart ?DAY1 ?WEEK1) (temporalPart ?DAY2 ?WEEK2) (meetsTemporally ?WEEK1 ?WEEK2)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9371-9380	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
(=> (and (instance ?Drawing DrawingACheck) (patient ?Drawing ?Check) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Drawing) ?DrawingTime) (equal (WhenFn ?Processing) ?ProcessingTime) (meetsTemporally ?DrawingTime ?Time) (meetsTemporally ?Time ?ProcessingTime) (duration ?Time (MeasureFn ?Duration MonthDuration))) (lessThan ?Duration 6))	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 real number month duration(s), then the real number is less than 6
(=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?ES ?Y) (instance ?Y Year)) (during ?L ?Y))	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
(=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?L ?Y) (instance ?Y Year)) (during ?ES ?Y))	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
(=> (and (instance ?MONTH1 (MonthFn December ?YEAR1)) (instance ?MONTH2 (MonthFn January ?YEAR2)) (instance ?Y1 ?YEAR1) (instance ?Y2 ?YEAR2) (meetsTemporally ?Y1 ?Y2)) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9271-9278	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
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T1 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T2 ?YEAR))	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
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T2 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T1 ?YEAR))	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
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (meetsTemporally ?T1 ?T2)) (exists (?YEAR) (and (instance ?YEAR Year) (during ?T1 ?YEAR) (during ?T2 ?YEAR))))	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
(=> (and (not (holdsDuring ?T1 (attribute ?H Concussion))) (holdsDuring ?T2 (attribute ?H Concussion)) (meetsTemporally ?T1 ?T2)) (modalAttribute (holdsDuring (BeginFn ?T2) (attribute ?H Unconscious)) Likely))	Medicine.kif 1314-1326	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
(=> (and (startupTimeDelay ?Application ?Delay) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Application) (equal (WhenFn ?Process1) ?Time1) (instance ?Process2 ComputerProcess) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time1 ?Time) (meetsTemporally ?Time ?Time2)) (duration ?Time ?Delay))	QoSontology.kif 766-776	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 duration of the third time interval is the time duration
(=> (meetsTemporally ?INTERVAL1 ?INTERVAL2) (equal (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)))	Merge.kif 8383-8387	If a time interval meets another time interval, then the end of the time interval is equal to the beginning of the other time interval
(=> (meetsTemporally ?T1 ?T2) (not (exists (?T3) (and (instance ?T3 TimeInterval) (temporalPart ?T3 ?T1) (temporalPart ?T3 ?T2)))))	Merge.kif 8395-8402	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

(=> (and (attribute ?X CommunalAttribute) (instance ?X Table) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople) (eventLocated ?E1 ?X)) (modalAttribute (exists (?GRP2 ?E2 ?X2) (and (instance ?E2 Eating) (agent ?E2 ?GRP2) (not (equal ?GRP1 ?GRP2)) (instance ?GRP2 GroupOfPeople) (eventLocated ?E2 ?X2) (meetsTemporally (WhenFn ?E1) (WhenFn ?E2)) (equal ?X ?X2))) Possibility))	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 object2 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 the object2 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
(=> (and (holdsDuring ?TIME (attribute ?ORG Larval)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (meetsTemporally ?BW ?TIME))	Merge.kif 18270-18276	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
(=> (and (instance ?D Dodging) (agent ?D ?A) (equal ?DT (WhenFn ?D))) (hasPurpose ?D (not (exists (?I) (and (or (meetsTemporally ?DT (WhenFn ?I)) (overlapsTemporally ?DT (WhenFn ?I))) (instance ?I Impacting) (patient ?I ?A))))))	Mid-level-ontology.kif 443-456	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 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
(=> (and (instance ?DAY1 (DayFn ?NUMBER1 ?MONTH)) (instance ?DAY2 (DayFn ?NUMBER2 ?MONTH)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 8653-8658	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
(=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9349-9356	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
(=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9297-9304	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
(=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9362-9369	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
(=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK1 Week) (instance ?WEEK2 Week) (temporalPart ?DAY1 ?WEEK1) (temporalPart ?DAY2 ?WEEK2) (meetsTemporally ?WEEK1 ?WEEK2)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9371-9380	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
(=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9336-9343	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
(=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9310-9317	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
(=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9323-9330	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
(=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ)) (exists (?PURSUE) (and (instance ?PURSUE Pursuing) (meetsTemporally (WhenFn ?PURSUE) (WhenFn ?DISCOVER)))))	Merge.kif 12024-12031	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
(=> (and (instance ?Downtick Downtick) (patient ?Downtick ?Stock) (equal (WhenFn ?Downtick) ?Time1) (instance ?U UnitOfCurrency) (price ?Stock (MeasureFn ?Price1 ?U) ?Time1)) (exists (?Transaction ?Time2 ?Price2) (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock) (equal (WhenFn ?Transaction) ?Time2) (meetsTemporally ?Time2 ?Time1) (price ?Stock (MeasureFn ?Price2 ?U) ?Time2) (greaterThan ?Price2 ?Price1))))	FinancialOntology.kif 3234-3250	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 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 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 the other real number the unit of measure(s) for the other agent and the other real number is greater than the real number
(=> (and (instance ?ESCAPE Escaping) (agent ?ESCAPE ?AGENT)) (exists (?CONFINE) (and (instance ?CONFINE Confining) (patient ?CONFINE ?AGENT) (meetsTemporally (WhenFn ?CONFINE) (WhenFn ?ESCAPE)))))	Mid-level-ontology.kif 17571-17579	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
(=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE))	Merge.kif 8972-8979	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
(=> (and (instance ?FL FlashingLight) (origin ?FL ?L)) (exists (?I1 ?T2 ?I3) (and (instance ?I1 RadiatingLight) (instance ?T2 TimeInterval) (instance ?I3 RadiatingLight) (meetsTemporally (WhenFn ?I1) ?I2) (meetsTemporally ?I2 (WhenFn ?I3)) (not (exists (?I2) (and (instance ?I2 RadiatingLight) (origin ?I2 ?L) (during (WhenFn ?I2) ?T2)))) (subProcess ?I1 ?FL) (subProcess ?I3 ?FL))))	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 another time interval and the other time interval meets the time of existence of the third process and there doesn't exist the other time interval such that the other time interval is an instance of radiating light and the other time interval originates at the object and the time of existence of the other time interval 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
(=> (and (instance ?HOUR1 (HourFn ?NUMBER1 ?DAY)) (instance ?HOUR2 (HourFn ?NUMBER2 ?DAY)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?HOUR1 ?HOUR2))	Merge.kif 8679-8684	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
(=> (and (instance ?MINUTE1 (MinuteFn ?NUMBER1 ?HOUR)) (instance ?MINUTE2 (MinuteFn ?NUMBER2 ?HOUR)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?MINUTE1 ?MINUTE2))	Merge.kif 8706-8711	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
(=> (and (instance ?MONTH1 (MonthFn April ?YEAR)) (instance ?MONTH2 (MonthFn May ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9158-9162	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
(=> (and (instance ?MONTH1 (MonthFn August ?YEAR)) (instance ?MONTH2 (MonthFn September ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9214-9218	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
(=> (and (instance ?MONTH1 (MonthFn December ?YEAR1)) (instance ?MONTH2 (MonthFn January ?YEAR2)) (instance ?Y1 ?YEAR1) (instance ?Y2 ?YEAR2) (meetsTemporally ?Y1 ?Y2)) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9271-9278	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
(=> (and (instance ?MONTH1 (MonthFn February ?YEAR)) (instance ?MONTH2 (MonthFn March ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9130-9134	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
(=> (and (instance ?MONTH1 (MonthFn January ?YEAR)) (instance ?MONTH2 (MonthFn February ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9106-9110	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
(=> (and (instance ?MONTH1 (MonthFn July ?YEAR)) (instance ?MONTH2 (MonthFn August ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9200-9204	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
(=> (and (instance ?MONTH1 (MonthFn June ?YEAR)) (instance ?MONTH2 (MonthFn July ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9186-9190	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

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: