TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2704-2706
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8094-8096
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1427-1429
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8091-8091	完成的 1 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8092-8092	完成的 2 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8089-8089	完成是非自反关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8087-8087	完成是时间关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8090-8090	完成是总值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8088-8088	完成是传递关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8086-8086	完成是时间部分的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 421-421
No TPTP formula. May not be expressible in strict first order.	english_format.kif 427-427
No TPTP formula. May not be expressible in strict first order.	french_format.kif 245-245
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 111-111
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2039-2039
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 197-197
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 250-250
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 547-547
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 151-151
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 266-266
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 266-266
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 232-232
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 422-422
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23876-23876
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23875-23875
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23874-23874
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 233-233

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 642-646	时距是金融账户的 agreement 週期和日 finishes了才到那个时距若且唯若那个日是那个金融账户的 maturity 日期
No TPTP formula. May not be expressible in strict first order.	Media.kif 538-547	如果时距是年的 instance 和另一个时距是 EasterSunday 的 instance 和第三时距是 AscensionThursday 的 instance 和那个另外时距在那个时距时段内发生和那个第三时距在那个时距时段内发生和那个另外时距 starts了才到第四时距和那个第三时距 finishes了才到那个第四时距，然后那个第四时距的 duration 是 40 一天长度
No TPTP formula. May not be expressible in strict first order.	Media.kif 473-482	如果时距是年的 instance 和另一个时距是 EasterSunday 的 instance 和第三时距是 PalmSunday 的 instance 和那个另外时距在那个时距时段内发生和那个第三时距在那个时距时段内发生和那个第三时距 starts了才到第四时距和那个另外时距 finishes了才到那个第四时距，然后那个第四时距的 duration 是 8 一天长度
No TPTP formula. May not be expressible in strict first order.	Media.kif 559-568	如果时距是年的 instance 和另一个时距是 EasterSunday 的 instance 和第三时距是 Pentecost 的 instance 和那个另外时距在那个时距时段内发生和那个第三时距在那个时距时段内发生和那个另外时距 starts了才到第四时距和那个第三时距 finishes了才到那个第四时距，然后那个第四时距的 duration 是 50 一天长度
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1270-1284	如果有存在时距和另一个时距这样持续时间是电脑程序的 dependency 延迟和关机块是那个电脑程序的 dependency 类别和另一个电脑程序有对那个电脑程序的依赖性和电脑程序是电脑程序的 instance 和那个电脑程序是那个电脑程序的执行 program 和另一个电脑程序是电脑程序的 instance 和那个另外电脑程序是那个另外电脑程序的执行 program 和那个另外电脑程序出现的 time equal 那个另外时距和第三时距 finishes了才到那个时距和那个另外电脑程序出现的 time equal 那个另外时距和那个第三时距的开始 equal 那个另外时距的结束，然后那个第三时距的 duration 是那个持续时间
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8098-8106	如果时距 finishes了才到另一个时距，然后那个另外时距的开始%n在那个时距的开始before发生和那个另外时距的结束 equal 那个时距的结束

consequent

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.	Merge.kif 8108-8116	如果时距的开始%n在另一个时距的开始before发生和那个时距的结束 equal 那个另外时距的结束，然后那个另外时距 finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 487-499	如果过程是走动的 instance 和时距 equal 那个过程出现的 time，然后有存在另一个过程和第三过程这样那个另外过程是步进的 instance 和那个第三过程是步进的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess 和那个另外过程出现的 time starts了才到那个时距和那个第三过程出现的 time finishes了才到那个时距和那个另外过程不 equal 那个第三过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21473-21488	如果过程是脸红的 instance 和施事体经历了那个过程，然后有存在时距，另一个时距,，，实体， and 和另一个实体这样那个实体是情绪状态的 instance 和那个另外实体是情绪状态的 instance 和那个实体不 equal 那个另外实体和那个实体是那个施事体的 attribute 在那个时距 holdsDuring 和那个另外实体是那个施事体的 attribute 在那个另外时距 holdsDuring 和那个过程出现的 time starts了才到那个另外时距和那个过程出现的 time finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2196-2203	如果过程是 CheckInService 的 instance 和那个过程 causes 另一个过程和物理是 CheckOutService 的 instance，然后那个物理出现的 time finishes了才到那个另外过程出现的 time
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16379-16388	如果过程是沉沉睡去的 instance 和施事体经历了那个过程，然后有存在时距和另一个时距这样那个时距 starts了才到那个过程出现的 time 和那个另外时距 finishes了才到那个过程出现的 time 和觉醒是那个施事体的 attribute 在那个时距 holdsDuring 和睡着是那个施事体的 attribute 在那个另外时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16330-16335	如果时距是停止运营的 instance 和施事体是机构的 instance 和那个施事体是那个时距的 agent，然后那个时距 finishes了才到那个施事体出现的 time
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 45-56	如果物理是 OrganismRemains 的 instance 和实体是那个物理的 part 在那个物理出现的 time holdsDuring，然后有存在另一个物理这样那个另外物理是生物的 instance 和那个另外物理出现的 time 比那个物理出现的 time发生的earlier 和那个物理出现的 time finishes了才到那个另外物理出现的 time 和那个实体是那个另外物理的 part 在那个另外物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11327-11350	如果过程是易位的 instance 和另一个过程是易位的 instance 和客体是那个过程的源头和另一个客体是那个另外过程的源头和那个过程在那个另外客体结束和那个另外过程在实体结束和施事体经历了那个过程和那个施事体经历了那个另外过程，然后有存在第三过程这样那个第三过程是易位的 instance 和那个客体是那个第三过程的源头和那个第三过程在那个实体结束和那个过程%n是那个第三过程的subProcess 和那个另外过程%n是那个第三过程的subProcess 和那个施事体经历了那个第三过程和那个过程出现的 time starts了才到那个第三过程出现的 time 和那个另外过程出现的 time finishes了才到那个第三过程出现的 time
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16394-16403	如果过程是起来的 instance 和施事体经历了那个过程，然后有存在时距和另一个时距这样那个时距 starts了才到那个过程出现的 time 和那个另外时距 finishes了才到那个过程出现的 time 和睡着是那个施事体的 attribute 在那个时距 holdsDuring 和觉醒是那个施事体的 attribute 在那个另外时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3718-3759	如果客体是 CarAlarm 的 instance 和另一个客体是自供电公路车辆的 instance 和那个客体是那个另外客体的 part，然后有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个客体的目的是如果那个实体是偷窃行为的 instance 或那个实体是损坏的 instance 和那个另外实体是人类的 instance 和那个另外实体是那个实体的 agent 和那个另外客体是那个实体的 patient 和那个实体出现的 time equal 那个第三实体和那个实体是 partly located 在那个第四实体，然后有存在第五实体这样那个第五实体是放射声音的 instance 和那个客体是那个第五实体的 agent 和那个实体 causes 那个第五实体和那个第五实体的目的是有存在第六实体这样那个第六实体是人类的 instance 和那个第六实体在那个第四实体的近在那个第三实体 holdsDuring 增加那个第六实体 knows 有存在第七实体这样那个第七实体是偷窃行为的 instance 或那个第七实体是损坏的 instance 和那个第七实体是 partly located 在那个第四实体和那个另外客体是那个第七实体的 patient 在那个第三实体 holdsDuring 或那个第五实体出现的 time finishes了才到那个实体出现的 time 发生的机率
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20355-20364	如果有点 meat 是有点动物的 meat 和实体是有点 meat 的 instance，然后有存在时距和物理这样那个物理是有点动物的 instance 和那个时距 finishes了才到那个物理出现的 time 和那个实体是那个物理的 part 在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4070-4074	如果时距是银行对帐单的 statement 周期和 %2 是 %3 的声明 date ，然后日 finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9438-9443	如果分拆时距为的那个时距TYPE equal 第三有点时距，然后有存在第四时距这样那个第四时距是第三有点时距的 instance 和那个第四时距 finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9445-9455	如果分拆时距为的那个时距TYPE equal 第三有点时距，然后对所有第四时距如果那个第四时距是第三有点时距的 instance 和那个第四时距不 finishes了才到那个时距，然后有存在第五时距这样那个第五时距是那个第三有点时距的 instance 和那个第四时距接着那个第五时距
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20567-20577	如果实体是 IntensiveCareUnit 的 instance 和另一个实体 stays 在那个实体在时间位置 holdsDuring，然后有存在第三实体这样那个第三实体是死亡的 instance 和那个第三实体出现的 time finishes了才到那个时间位置的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19094-19101	如果时距是上午的 instance，然后有存在有点日，另一个时距， and 和第三时距这样那个另外时距是 24 hour 的 instance 和那个另外时距 starts了才到那个时距和那个第三时距是 12 hour 的 instance 和那个第三时距 finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17310-17316	如果过程是到达的 instance，然后有存在另一个过程这样那个另外过程是易位的 instance 和那个过程%n是那个另外过程的subProcess 和那个过程出现的 time finishes了才到那个另外过程出现的 time
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1025-1034	如果时距是离婚的 instance，然后有存在实体，另一个实体,，，另一个时距， and 和第三时距这样那个实体是那个另外实体的 spouse 在那个另外时距 holdsDuring 和不那个实体是那个另外实体的 spouse 在那个第三时距 holdsDuring 和那个另外时距 finishes了才到那个时距和那个第三时距 starts了才到那个时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8901-8908	如果时距是一天的时间的 instance，然后有存在另一个时距和第三时距这样那个另外时距是日出的 instance 和那个第三时距是日落的 instance 和那个另外时距 starts了才到那个时距和那个第三时距 finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8478-8485	如果时距是从第四有点时距到第五有点时距再次发生所需的时间的 instance，然后有存在另一个时距和第三时距这样那个另外时距是第四有点时距的 instance 和那个第三时距是第五有点时距的 instance 和那个另外时距 starts了才到那个时距和那个第三时距 finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8526-8528	如果时间位置是时距的 instance，然后紧接那个时间位置 before finishes了才到那个时间位置 before
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8829-8835	如果时距是早上的 instance，然后有存在另一个时距和有点日这样那个另外时距是 12 hour 的 instance 和那个另外时距 finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 285-299	如果时距是穆哈尔萨达克的 instance，然后有存在施事体，实体,，，另一个时距， and 和第三时距这样那个施事体是那个时距的 agent 和那个施事体是那个时距的源头和那个时距在那个实体结束和那个实体是那个施事体的 wife 在那个另外时距 holdsDuring 和那个实体是那个施事体的 wife doesn't 在那个第三时距 holdsDuring 和那个另外时距 finishes了才到那个时距和那个另外时距%n在那个第三时距 before发生和那个第三时距 starts了才到那个时距
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 305-319	如果时距是穆卡达姆萨达克的 instance，然后有存在施事体，实体,，，另一个时距， and 和第三时距这样那个施事体是那个时距的 agent 和那个施事体是那个时距的源头和那个时距在那个实体结束和那个实体是那个施事体的 wife doesn't 在那个另外时距 holdsDuring 和那个实体是那个施事体的 wife 在那个第三时距 holdsDuring 和那个另外时距 finishes了才到那个时距和那个另外时距%n在那个第三时距 before发生和那个第三时距 starts了才到那个时距

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.

Media.kif 1970-1978

有存在时距这样那个时距是时距的 instance 和那个时距 finishes了才到 JesusOfNazareth 出现的 time 和那个时距 starts了才到 TwelveApostles 出现的 time 和对所有实体

如果那个实体是 TwelveApostles 的 member 在那个时距 holdsDuring，
然后那个实体是 JesusOfNazareth 的 friend 在那个时距 holdsDuring

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

KB Term:			Term intersection

English Word: