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 7947-7949
(domain overlapsTemporally 1 TimeInterval)	Merge.kif 7944-7944	The number 1 argument of overlaps temporally is an instance of time interval
(domain overlapsTemporally 2 TimeInterval)	Merge.kif 7945-7945	The number 2 argument of overlaps temporally is an instance of time interval
(instance overlapsTemporally BinaryPredicate)	Merge.kif 7940-7940	overlaps temporally is an instance of binary predicate
(instance overlapsTemporally ReflexiveRelation)	Merge.kif 7942-7942	overlaps temporally is an instance of reflexive relation
(instance overlapsTemporally SymmetricRelation)	Merge.kif 7943-7943	overlaps temporally is an instance of symmetric relation
(instance overlapsTemporally TemporalRelation)	Merge.kif 7941-7941	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 440-440
(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

(<=> (overlapsTemporally ?INTERVAL1 ?INTERVAL2) (exists (?INTERVAL3) (and (instance ?INTERVAL3 TimeInterval) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2))))	Merge.kif 7951-7957	A time interval overlaps another time interval if and only if 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
(=> (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 4744-4760	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 quantity, another quantity and an entity such that the entity is an instance of UnitOfLength and the quantity the entity(s) is a water depth of another entity holds during the time interval and the other quantity the entity(s) is a water depth of the other entity holds during the other time interval and the other quantity is greater than the quantity
(=> (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 4811-4821	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

consequent

(<=> (yearOfFounding ?O ?Y) (exists (?F) (and (overlapsTemporally ?F (YearFn ?Y)) (instance ?F Founding) (result ?F ?O))))	Mid-level-ontology.kif 910-916	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 5884-5897	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 (attribute ?Order GTCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Execute) (and (instance ?Execute FillingAnOrder) (patient ?Execute ?Order) (equal (WhenFn ?Execute) ?Time) (overlapsTemporally ?Time ?Period))) (exists (?Cancel) (and (instance ?Cancel CancellingAnOrder) (patient ?Cancel ?Order) (equal (WhenFn ?Cancel) ?End) (finishes ?End ?Period)))))	FinancialOntology.kif 2878-2894	If GTC order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exists a process such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to another time interval and the time interval overlaps the other time interval or there exists another process such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to a third time interval and the third time interval finishes the time interval
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (instance ?U UnitOfCurrency) (askPrice ?Object (MeasureFn ?Price ?U) ?Time) (lessThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker))	FinancialOntology.kif 1979-2000	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of UnitOfCurrency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (bidPrice ?Object (MeasureFn ?Price ?U) ?Time) (instance ?U UnitOfCurrency) (greaterThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 2002-2023	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of UnitOfCurrency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=> (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 13210-13223	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 a quantity the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the quantity 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 17480-17486	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 21471-21479	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 421-434	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 9890-9898	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 2464-2475	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 ?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 5438-5457	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 7959-7964	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 13232-13247	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 quantity the unit of measure(s) holds during a time interval and the quantity is greater than the other real number and the quantity 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 13249-13262	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 a quantity the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the quantity 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 ?W WorkLeave) (instance ?WORK Working) (agent ?W ?PERSON) (agent ?WORK ?PERSON) (instance ?PERSON Human)) (not (overlapsTemporally (WhenFn ?W) (WhenFn ?WORK))))	Mid-level-ontology.kif 19430-19440	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 2248-2256	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 20061-20070	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 2544-2549	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 926-931	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 939-947	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 2363-2371	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 29696-29703	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 7536-7536

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: