TreeView Knowledge Base Browser - overlapsTemporally

appearance as argument number 1

(documentation overlapsTemporally ChineseLanguage "(overlapsTemporally ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 和 ?INTERVAL2 有 TimeInterval 作为它们的一个共同部分。")	chinese_format.kif 2717-2719
(documentation overlapsTemporally EnglishLanguage "(overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a TimeInterval as a common part.")	Merge.kif 8134-8136
(domain overlapsTemporally 1 TimeInterval)	Merge.kif 8131-8131	The number 1 argument of overlaps temporally is an instance of time interval
(domain overlapsTemporally 2 TimeInterval)	Merge.kif 8132-8132	The number 2 argument of overlaps temporally is an instance of time interval
(instance overlapsTemporally BinaryPredicate)	Merge.kif 8127-8127	overlaps temporally is an instance of binary predicate
(instance overlapsTemporally ReflexiveRelation)	Merge.kif 8129-8129	overlaps temporally is an instance of reflexive relation
(instance overlapsTemporally SymmetricRelation)	Merge.kif 8130-8130	overlaps temporally is an instance of symmetric relation
(instance overlapsTemporally TemporalRelation)	Merge.kif 8128-8128	overlaps temporally is an instance of temporal relation

appearance as argument number 2

(format ChineseLanguage overlapsTemporally "%2 时段 %n{doesn't} 和 %1 重叠")	chinese_format.kif 431-431
(format EnglishLanguage overlapsTemporally "%2 %n{doesn't} overlap%p{s} %1")	english_format.kif 437-437
(termFormat ChineseLanguage overlapsTemporally "在时间上重叠")	chinese_format.kif 432-432
(termFormat ChineseLanguage overlapsTemporally "暂时重叠")	domainEnglishFormat.kif 43765-43765
(termFormat ChineseTraditionalLanguage overlapsTemporally "暫時重疊")	domainEnglishFormat.kif 43764-43764
(termFormat EnglishLanguage overlapsTemporally "overlaps temporally")	domainEnglishFormat.kif 43763-43763

antecedent

(=> (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 ?U) (and (instance ?U UnitOfLength) (holdsDuring ?LOW (waterDepth ?PLACE (MeasureFn ?AMOUNT1 ?U))) (holdsDuring ?HIGH (waterDepth ?PLACE (MeasureFn ?AMOUNT2 ?U))) (greaterThan ?AMOUNT2 ?AMOUNT1))))	Geography.kif 4856-4874	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 real number, another real number and an entity such that the entity is an instance of UnitOfLength and the real number the entity(s) is a water depth of another entity holds during the time interval and the other real number the entity(s) is a water depth of the other entity holds during the other time interval and the other real number is greater than the real number
(=> (and (lowTide ?PLACE ?TIME1 (MeasureFn ?AMOUNT1 ?U)) (highTide ?PLACE ?TIME2 (MeasureFn ?AMOUNT2 ?U)) (instance ?U UnitOfLength) (instance ?DAY Day) (overlapsTemporally ?TIME1 ?DAY) (overlapsTemporally ?TIME2 ?DAY)) (greaterThan ?AMOUNT1 ?AMOUNT2))	Geography.kif 4925-4935	If a region low tide a time interval for a real number an unit of measure(s) and the region is high tide another time interval for another real number the unit of measure(s) and the unit of measure is an instance of UnitOfLength 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 real number is greater than the other real number
(=> (overlapsTemporally ?INTERVAL1 ?INTERVAL2) (exists (?INTERVAL3) (and (instance ?INTERVAL3 TimeInterval) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2))))	Merge.kif 8138-8144	If a time interval overlaps another time interval, then there exists a time position such that the time position is an instance of time interval and the time position is a part of the other time interval and the time position is a part of the time interval
(=> (overlapsTemporally ?INTERVAL1 ?INTERVAL2) (exists (?INTERVAL3) (and (instance ?INTERVAL3 TimePosition) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2))))	Merge.kif 8192-8198	If a time interval overlaps another time interval, then there exists a time position such that the time position is an instance of time position and the time position is a part of the other time interval and the time position is a part of the time interval

consequent

(<=> (yearOfFounding ?O ?Y) (exists (?F) (and (overlapsTemporally ?F (YearFn ?Y)) (instance ?F Founding) (result ?F ?O))))	Mid-level-ontology.kif 926-932	An integer is a year of founding of an organization if and only if there exists a time interval such that the year the integer overlaps the time interval and the time interval is an instance of founding and the organization is a result of the time interval
(=> (and (allergic ?H ?S) (instance ?SUB ?S) (holdsDuring ?T (meetsSpatially ?S ?H))) (modalAttribute (exists (?AR) (and (instance ?AR AllergicReaction) (experiencer ?AR ?H) (overlapsTemporally ?T (WhenFn ?AR)) (before (BeginFn ?T) (BeginFn (WhenFn ?AR))))) Likely))	Mid-level-ontology.kif 5907-5920	If allergic a human and a kind of substance and a kind of substanceUB is an instance of the kind of substance and the kind of substance meets the human holds during a time position, then the statement there exists another entity such that the other entity is an instance of AllergicReaction and the human experiences the other entity and the time of existence of the other entity overlaps the time position and the beginning of the time position happens before the beginning of the time of existence of the other entity has the modal force of likely
(=> (and (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Gas)) (exists (?BOIL) (and (overlapsTemporally (WhenFn ?BOIL) ?TIME) (instance ?BOIL Boiling) (patient ?BOIL ?SUBSTANCE)))))	Merge.kif 13594-13607	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the other real number is greater than or equal to the real number, then gas is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of boiling and the entity is a patient of the process
(=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW)))	Merge.kif 17930-17936	If embryonic 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 doesn't overlap the time interval
(=> (and (instance ?C Convoy) (member ?VEH ?C)) (exists (?DRIVE) (and (instance ?DRIVE Driving) (overlapsTemporally (WhenFn ?DRIVE) (WhenFn ?C)) (patient ?DRIVE ?VEH))))	Mid-level-ontology.kif 21804-21812	If a collection is an instance of convoy and a physical is a member of the collection, then there exists a process such that the process is an instance of driving and the time of existence of the collection overlaps the time of existence of the process and the physical is a patient of the process
(=> (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 439-452	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 ?DIGEST Digesting) (agent ?DIGEST ?ORGANISM)) (exists (?INGEST) (and (instance ?INGEST Ingesting) (agent ?INGEST ?ORGANISM) (overlapsTemporally (WhenFn ?INGEST) (WhenFn ?DIGEST)))))	Merge.kif 10196-10204	If a process is an instance of digesting and an agent is an agent of the process, then there exists another process such that the other process is an instance of ingesting and the agent is an agent of the other process and the time of existence of the process overlaps the time of existence of the other process
(=> (and (instance ?DRYSPELL Drought) (eventLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (eventLocated ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL)))))	Weather.kif 2470-2481	If a time interval is an instance of drought and the time interval is located at 2, then there don't exist another time interval and an object such that the other time interval is an instance of raining and the object is an instance of region and the other time interval is located at 2 and the object and an entity is overlapsSpatially and the time interval overlaps the other time interval
(=> (and (instance ?INTERVAL3 TimeInterval) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2)) (overlapsTemporally ?INTERVAL1 ?INTERVAL2))	Merge.kif 8146-8151	If a time position is an instance of time interval and the time position is a part of a time interval and the time position is a part of another time interval, then the other time interval overlaps the time interval
(=> (and (instance ?INTERVAL3 TimePosition) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2)) (overlapsTemporally ?INTERVAL1 ?INTERVAL2))	Merge.kif 8200-8205	If a time position is an instance of time position and the time position is a part of a time interval and the time position is a part of another time interval, then the other time interval overlaps the time interval
(=> (and (instance ?MR MusclesRelaxing) (experiencer ?MR ?A)) (not (exists (?MT) (and (overlapsTemporally ?MT ?MR) (instance ?MT MusclesBecomingTense) (experiencer ?MT ?A)))))	emotion.kif 1472-1481	If a time interval is an instance of muscles relaxing and an agent experiences the time interval, then there doesn't exist another time interval such that the time interval overlaps the other time interval and the other time interval is an instance of muscles becoming tense and the agent experiences the other time interval
(=> (and (instance ?MT MusclesBecomingTense) (experiencer ?MT ?A)) (not (exists (?MR) (and (overlapsTemporally ?MR ?MT) (instance ?MR MusclesRelaxing) (experiencer ?MR ?A)))))	emotion.kif 1458-1467	If a time interval is an instance of muscles becoming tense and an agent experiences the time interval, then there doesn't exist another time interval such that the time interval overlaps the other time interval and the other time interval is an instance of muscles relaxing and the agent experiences the other time interval
(=> (and (instance ?R RelievingPain) (patient ?R ?H)) (and (exists (?P1) (and (overlapsTemporally (WhenFn ?P1) (ImmediatePastFn (WhenFn ?R))) (instance ?P1 Pain) (located ?P1 ?H))) (not (exists (?P2) (and (overlapsTemporally (WhenFn ?P2) (ImmediateFutureFn (WhenFn ?R))) (instance ?P Pain) (located ?P ?H))))))	Mid-level-ontology.kif 5461-5480	If a process is an instance of relieving pain and an object is a patient of the process, then there exists a physical such that immediately before the time of existence of the process overlaps the time of existence of the physical and the physical is an instance of pain and the physical is located at the object and there doesn't exist another physical such that immediately after the time of existence of the process overlaps the time of existence of the other physical and a third physical is an instance of pain and the third physical is located at the object
(=> (and (instance ?REL BinaryPredicate) (instance ?REL SpatialRelation) (?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))	Merge.kif 8153-8158	If an entity is an instance of binary predicate and the entity is an instance of spatial relation and the entity a physical and another physical, then the time of existence of the other physical overlaps the time of existence of the physical
(=> (and (instance ?SUBSTANCE ?TYPE) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (meltingPoint ?TYPE (MeasureFn ?TEMP2 ?MEASURE)) (instance ?MEASURE UnitOfTemperature) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP3 ?MEASURE))) (greaterThan ?TEMP3 ?TEMP2) (lessThan ?TEMP3 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Liquid)) (exists (?MELT) (and (overlapsTemporally (WhenFn ?MELT) ?TIME) (instance ?MELT Melting) (patient ?MELT ?SUBSTANCE)))))	Merge.kif 13616-13631	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a boiling point of a kind of pure substance and another real number the unit of measure(s) is a melting point of the kind of pure substance and the unit of measure is an instance of UnitOfTemperature and the measure of the entity is a third real number the unit of measure(s) holds during a time interval and the third real number is greater than the other real number and the third real number is less than the real number, then liquid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of melting and the entity is a patient of the process
(=> (and (instance ?SUBSTANCE ?TYPE) (meltingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (lessThan ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Solid)) (exists (?FREEZE) (and (overlapsTemporally (WhenFn ?FREEZE) ?TIME) (instance ?FREEZE Freezing) (patient ?FREEZE ?SUBSTANCE)))))	Merge.kif 13633-13646	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a melting point of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the other real number is less than the real number, then solid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of freezing and the entity is a patient of the process
(=> (and (instance ?TI1 TimeInterval) (instance ?TI2 TimeInterval) (beforeOrEqual (BeginFn ?TI2) (BeginFn ?TI1)) (before (BeginFn ?TI1) (EndFn ?TI2))) (overlapsTemporally ?TI2 ?TI1))	Merge.kif 8171-8181	If a time interval is an instance of time interval and another time interval is an instance of time interval and the beginning of the other time interval happen%{s} before or at the beginning of the time interval and the beginning of the time interval happens before the end of the other time interval, then the time interval overlaps the other time interval
(=> (and (instance ?W WorkLeave) (instance ?WORK Working) (agent ?W ?PERSON) (agent ?WORK ?PERSON) (instance ?PERSON Human)) (not (overlapsTemporally (WhenFn ?W) (WhenFn ?WORK))))	Mid-level-ontology.kif 19749-19759	If a process is an instance of WorkLeave and the processORK is an instance of working and an agent is an agent of the process and the agent is an agent of the processORK and the agent is an instance of human, then the time of existence of the processORK doesn't overlap the time of existence of the process
(=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Process)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA) (overlapsTemporally (WhenFn ?ITEM) (WhenFn ?AREA)))))	Geography.kif 2283-2293	If a kind of physical is a natural hazard type in area of a geographic area and a kind of physical is a subclass of process, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the geographic area and the time of existence of the geographic area overlaps the time of existence of the other physical
(=> (attribute ?H NewsReporter) (exists (?T ?EV) (and (instance ?EV Process) (overlapsTemporally (WhenFn ?EV) (WhenFn ?H)) (authors ?H ?T) (refers ?T ?EV))))	Mid-level-ontology.kif 20380-20389	If news reporter is an attribute of an agent, then there exist a kind of content bearing object and a physical such that the physical is an instance of process and the time of existence of the agent overlaps the time of existence of the physical and the agent is the author of a kind of content bearing object and the kind of content bearing object includes a reference to the physical
(=> (dateDissolved ?THING ?DATE) (exists (?DAY) (and (instance ?DAY ?DATE) (overlapsTemporally ?DAY (EndFn (WhenFn ?THING))))))	Government.kif 2543-2548	If a kind of time position is a date dissolved of a physical, then there exists a time interval such that the time interval is an instance of a kind of time position and the end of the time of existence of the physical overlaps the time interval
(=> (dateEstablished ?THING ?DATE) (exists (?DAY) (and (instance ?DAY ?DATE) (overlapsTemporally ?DAY (BeginFn (WhenFn ?THING))))))	Mid-level-ontology.kif 942-947	If a kind of time position is a date established of a physical, then there exists a time interval such that the time interval is an instance of a kind of time position and the beginning of the time of existence of the physical overlaps the time interval
(=> (dateUsed ?OBJECT ?DATE ?AGENT) (exists (?PROCESS) (and (instance ?PROCESS Process) (patient ?PROCESS ?OBJECT) (agent ?PROCESS ?AGENT) (uses ?OBJECT ?AGENT) (overlapsTemporally ?DATE (WhenFn ?PROCESS)))))	Mid-level-ontology.kif 955-963	If an object is used by an agent at a time interval, then there exists a process such that the process is an instance of process and the object is a patient of the process and the agent is an agent of the process and the agent uses the object and the time of existence of the process overlaps the time interval
(=> (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME ?EXPORT) (and (instance ?TIME ?PERIOD) (instance ?EXPORT Exporting) (overlapsTemporally ?TIME (WhenFn ?EXPORT)) (origin ?EXPORT ?AGENT1) (destination ?EXPORT ?AGENT2))))	Economy.kif 2370-2378	If an agent export partner in period another agent for a kind of time interval, then there exist another time interval and a process such that the other time interval is an instance of a kind of time interval and the process is an instance of exporting and the time of existence of the process overlaps the other time interval and the process originates at the agent and the process ends up at the other agent
(=> (holdsDuring ?T (attribute ?H Fasting)) (not (exists (?P) (and (instance ?P Eating) (agent ?P ?H) (overlapsTemporally ?T (WhenFn ?P))))))	Mid-level-ontology.kif 30027-30034	If fasting is an attribute of an agent holds during a time interval, then there doesn't exist a process such that the process is an instance of eating and the agent is an agent of the process and the time of existence of the process overlaps the time interval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(not
(overlapsTemporally CommonEra BeforeCommonEra))

Mid-level-ontology.kif 7560-7560

Before common era doesn't overlap common era

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: