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	在时间上重叠的 1 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8250-8250	在时间上重叠的 2 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8245-8245	在时间上重叠是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8247-8247	在时间上重叠是自反关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8248-8248	在时间上重叠是对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8246-8246	在时间上重叠是时间关系的 instance

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	如果时距是低潮的 instance 和另一个时距是高潮的 instance 和那个时距是 located 在客体和那个另外时距是 located 在那个客体和第三时距是日的 instance 和那个第三时距时段和那个时距重叠和那个第三时距时段和那个另外时距重叠，然后有存在实数，另一个实数， and 和实体这样那个实体是 UnitOfLength 的 instance 和那个实数那个实体是那个客体的 water 深度在那个时距 holdsDuring 和那个另外实数那个实体是那个客体的 water 深度在那个另外时距 holdsDuring 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5027-5037	如果地区对于 %3 low 潮汐和那个地区是对于实数测量单位的 high 潮汐时距和那个测量单位是 UnitOfLength 的 instance 和另一个时距是日的 instance 和那个另外时距时段和第三时距重叠和那个另外时距时段和那个时距重叠，然后另一个实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8256-8262	如果时距时段和另一个时距重叠，然后有存在时间位置这样那个时间位置是时距的 instance 和那个时间位置时段是那个另外时距时段的一 part 和那个时间位置时段是那个时距时段的一 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8312-8318	如果时距时段和另一个时距重叠，然后有存在时间位置这样那个时间位置是时间位置的 instance 和那个时间位置时段是那个另外时距时段的一 part 和那个时间位置时段是那个时距时段的一 part

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 968-975	整数是机构的 year 资金若且唯若有存在过程和那个整数EAR 这样那个整数EAR 时段和那个过程出现的 time 重叠和那个整数EAR 是那个整数 year 的 instance 和那个过程是创建的 instance 和那个机构是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6230-6243	如果 allergic 人类 and 有点物质和有点物质UB 是那个有点物质的 instance 和那个有点物质UB 接上那个人类在时间位置 holdsDuring，然后有存在另一个实体这样那个另外实体是 AllergicReaction 的 instance 和那个人类经历了那个另外实体和那个另外实体出现的 time 时段和那个时间位置重叠和那个时间位置的开始%n在那个另外实体出现的 time 的开始before发生的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	如果 GTC订单是协议的 attribute 和时距是那个协议的 agreement 週期，然后有存在过程和另一个时距这样那个过程是填写订单的 instance 和那个协议是那个过程的 patient 和那个过程出现的 time equal 那个另外时距和那个时距时段和那个另外时距重叠或有存在另一个过程和第三时距这样那个另外过程是取消订单的 instance 和那个协议是那个另外过程的 patient 和那个另外过程出现的 time equal 那个第三时距和那个第三时距 finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	如果限价订单是金融交易的 attribute 和协议是那个金融交易的 party 协议和经纪人是那个协议的 attribute 和那个金融交易是對於安全的 order 购买和那个安全的 measure 是物理量和实数测量单位是那个金融交易的 limit 价格和那个测量单位是 UnitOfCurrency 的 instance 和施事体为了那个安全 asks 另一个实数那个测量单位和那个另外实数是 lessThanOrEqualTo 那个实数，然后那个协议有义务执行符号串所描述的类别的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	如果限价订单是金融交易的 attribute 和协议是那个金融交易的 party 协议和经纪人是那个协议的 attribute 和那个金融交易是對於安全的 order 出售和那个安全的 measure 是物理量和实数测量单位是那个金融交易的 limit 价格和施事体 bids 另一个实数那个测量单位對於那个安全和那个测量单位是 UnitOfCurrency 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后那个协议有义务执行符号串所描述的类别的任务
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13876	如果实数测量单位是有点純物质的 boiling 点和实体是有点純物质的 instance 和那个实体的 measure 是另一个实数那个测量单位在时距 holdsDuring 和那个测量单位是 UnitOfTemperature 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后加油站是那个实体的 attribute 在那个时距 holdsDuring 或有存在过程这样那个时距时段和那个过程出现的 time 重叠和那个过程是沸腾的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18225-18231	如果胚胎是施事体的 attribute 在时距 holdsDuring 和过程是出生的 instance 和另一个时距 equal 那个过程出现的 time 和那个施事体经历了那个过程，然后那个另外时距时段 doesn't 和那个时距重叠
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22347-22355	如果群体是护航的 instance 和物理是那个群体的 member，然后有存在过程这样那个过程是驾驶的 instance 和那个群体出现的 time 时段和那个过程出现的 time 重叠和那个物理是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 450-463	如果过程是躲着的 instance 和施事体是那个过程的 agent 和那个过程T equal 那个过程出现的 time，然后那个过程的目的是不存在实体这样那个过程T 接着那个实体出现的 time 或那个实体出现的 time 时段和那个过程T 重叠和那个实体是碰撞的 instance 和那个施事体是那个实体的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10311-10319	如果过程是消化的 instance 和施事体是那个过程的 agent，然后有存在另一个过程这样那个另外过程是消化的 instance 和那个施事体是那个另外过程的 agent 和那个过程出现的 time 时段和那个另外过程出现的 time 重叠
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2467-2478	如果时距是干旱的 instance 和那个时距是 located 在客体，然后不存在另一个时距和另一个客体这样那个另外时距是下雨的 instance 和那个另外客体是地区的 instance 和那个另外时距是 located 在那个另外客体和那个另外客体和那个客体重叠和那个时距时段和那个另外时距重叠
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8264-8269	如果时间位置是时距的 instance 和那个时间位置时段是时距时段的一 part 和那个时间位置时段是另一个时距时段的一 part，然后那个另外时距时段和那个时距重叠
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8320-8325	如果时间位置是时间位置的 instance 和那个时间位置时段是时距时段的一 part 和那个时间位置时段是另一个时距时段的一 part，然后那个另外时距时段和那个时距重叠
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1464-1473	如果时距是 MusclesRelaxing 的 instance 和施事体经历了那个时距，然后不存在另一个时距这样那个时距时段和那个另外时距重叠和那个另外时距是 MusclesBecomingTense 的 instance 和那个施事体经历了那个另外时距
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1450-1459	如果时距是 MusclesBecomingTense 的 instance 和施事体经历了那个时距，然后不存在另一个时距这样那个时距时段和那个另外时距重叠和那个另外时距是 MusclesRelaxing 的 instance 和那个施事体经历了那个另外时距
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5778-5797	如果过程是缓解疼痛的 instance 和客体是那个过程的 patient，然后有存在物理这样紧接那个过程出现的 time before 时段和那个物理出现的 time 重叠和那个物理是痛的 instance 和那个物理是 located 在那个客体和不存在另一个物理这样紧接那个过程出现的 time after 时段和那个另外物理出现的 time 重叠和那个另外物理是痛的 instance 和那个另外物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8271-8278	如果实体是二元谓语的 instance 和那个实体是空间关系的 instance 和物理是物理的 instance 和另一个物理是物理的 instance 和那个实体那个物理 and 那个另外物理，然后那个另外物理出现的 time 时段和那个物理出现的 time 重叠
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13885-13900	如果实体是有点純物质的 instance 和实数测量单位是有点純物质的 boiling 点和另一个实数那个测量单位是那个有点純物质的 melting 点和那个测量单位是 UnitOfTemperature 的 instance 和那个实体的 measure 是第三实数那个测量单位在时距 holdsDuring 和那个第三实数是 greaterThan 那个另外实数和那个第三实数是 lessThan 那个实数，然后液体是那个实体的 attribute 在那个时距 holdsDuring 或有存在过程这样那个时距时段和那个过程出现的 time 重叠和那个过程是溶化的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13902-13915	如果实体是有点純物质的 instance 和实数测量单位是有点純物质的 melting 点和那个实体的 measure 是另一个实数那个测量单位在时距 holdsDuring 和那个测量单位是 UnitOfTemperature 的 instance 和那个另外实数是 lessThan 那个实数，然后固体是那个实体的 attribute 在那个时距 holdsDuring 或有存在过程这样那个时距时段和那个过程出现的 time 重叠和那个过程是结冰的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8291-8301	如果时距是时距的 instance 和另一个时距是时距的 instance 和那个另外时距的开始%n{doesn't}在那个时距的开始之前或同时发生和那个时距的开始%n在那个另外时距的结束before发生，然后那个时距时段和那个另外时距重叠
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20425-20435	如果过程是 WorkLeave 的 instance 和那个过程ORK 是工作的的 instance 和施事体是那个过程的 agent 和那个施事体是那个过程ORK 的 agent 和那个施事体是人类的 instance，然后那个过程ORK 出现的 time 时段 doesn't 和那个过程出现的 time 重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2280-2290	如果有点物理是区域地理区域的 natural 有害类别和有点物理是过程的 subclass，然后有存在另一个物理这样那个另外物理是那个有点物理的 instance 和那个另外物理是 located 在那个地理区域和那个地理区域出现的 time 时段和那个另外物理出现的 time 重叠
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21088-21100	如果艺术评论家是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是艺术品的 instance 和那个客体出现的 time 时段和那个实体出现的 time 重叠和那个另外实体是那个第三实体的 instance 和那个第三实体是文章的 subclass 和那个客体是那个第三实体的 authors 和那个另外实体提到那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21065-21079	如果新闻记者是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个客体出现的 time 时段和那个实体出现的 time 重叠和那个另外实体是那个第三实体的 instance 和那个第三实体是报纸的 subclass 或那个第三实体是新闻节目的 subclass 和那个客体是那个第三实体的 authors 和那个另外实体提到那个实体
No TPTP formula. May not be expressible in strict first order.	Government.kif 2558-2563	如果有点时间位置是物理的闭幕 date，然后有存在时距这样那个时距是有点时间位置的 instance 和那个物理出现的 time 的结束时段和那个时距重叠

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

共同的时代之前时段 doesn't 和共同时代重叠

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

KB Term:			Term intersection

English Word: