TreeView Knowledge Base Browser - overlapsTemporally

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2717-2719
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8252-8254
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1441-1443
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8249-8249	The number 1 argument of overlap temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8250-8250	The number 2 argument of overlap temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8245-8245	overlap temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8247-8247	overlap temporally is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8248-8248	overlap temporally is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8246-8246	overlap temporally is an instance of temporal relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 431-431
No TPTP formula. May not be expressible in strict first order.	english_format.kif 437-437
No TPTP formula. May not be expressible in strict first order.	french_format.kif 250-250
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 208-208
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2044-2044
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 202-202
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 256-256
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 562-562
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 246-246
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 271-271
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 274-274
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 398-398
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 432-432
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43788-43788
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43787-43787
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43786-43786
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 399-399

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4958-4976	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 an object and the other time interval is located at the object 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 unit of length and the real number the entity(s) is a water depth of the object holds during the time interval and the other real number the entity(s) is a water depth of the object holds during the other time interval and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5027-5037	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 unit of length 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8256-8262	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8312-8318	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 968-975	An integer is a year of founding of an organization if and only if there exist a process and the integerEAR such that the integerEAR overlaps the time of existence of the process and the integerEAR is an instance of the year the integer and the process is an instance of founding and the organization is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6230-6243	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 substanceUB meets the human holds during a time position, then the statement there exists another entity such that the other entity is an instance of allergic reaction 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	If GTC order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval 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 the other time interval and the time interval overlaps the other time interval or there exist another process and a third time interval 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 the third time interval and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	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 unit of currency 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	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 unit of currency 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13876	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 unit of temperature 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18225-18231	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22347-22355	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 450-463	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10311-10319	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2467-2478	If a time interval is an instance of drought and the time interval is located at an object, then there don't exist another time interval and another object such that the other time interval is an instance of raining and the other object is an instance of region and the other time interval is located at the other object and the other object and the object overlapsSpatially and the time interval overlaps the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8264-8269	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8320-8325	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
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1464-1473	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
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1450-1459	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5778-5797	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 the other physical is an instance of pain and the other physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8271-8278	If an entity is an instance of binary predicate and the entity is an instance of spatial relation and a physical is an instance of physical and another physical is an instance of physical and the entity the physical and the other physical, then the time of existence of the other physical overlaps the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13885-13900	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 unit of temperature 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13902-13915	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 unit of temperature 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8291-8301	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 happens 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20425-20435	If a process is an instance of work leave 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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2280-2290	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21088-21100	If art critic is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of art work and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of article and the object is the author of the third entity and the other entity includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21065-21079	If news reporter is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of newspaper or the third entity is a subclass of newsprogram and the object is the author of the third entity and the other entity includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 2558-2563	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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 7890-7890

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: