TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2693-2696
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7957-7960
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1416-1419
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7954-7954	时间部分的 1 数量是时间位置的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7955-7955	时间部分的 2 数量是时间位置的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7951-7951	时间部分是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7953-7953	时间部分是偏序关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7952-7952	时间部分是时间关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 417-417
No TPTP formula. May not be expressible in strict first order.	english_format.kif 423-423
No TPTP formula. May not be expressible in strict first order.	french_format.kif 243-243
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 296-296
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2037-2037
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 195-195
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 248-248
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 541-541
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 332-332
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 264-264
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 264-264
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 488-488
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1433-1433	typicalTemporalPart 和时间部分是内部相关
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1475-1475	typicallyContainsTemporalPart 和时间部分是内部相关
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8086-8086	完成是时间部分的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8054-8054	开始是时间部分的 subrelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 418-418
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57451-57451
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57450-57450

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8303-8310	如果时距比实体 earlier 和时点是时点的 instance 和另一个时点是时点的 instance 和那个时点时段是那个时距时段的一 part 和那个另外时点时段是另一个时距时段的一 part，然后那个时点%n在那个另外时点 before发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7976-7980	如果公式在时间位置 holdsDuring 和另一个时间位置时段是那个时间位置时段的一 part，然后那个公式在那个另外时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	如果群体是群体的 instance 和 WebSite 是 WebSite 的 instance 和施事体是施事体的 instance 和 WebListing 是 WebListing 的 instance 和时点是时点的 instance 和那个施事体 sells 那个 WebListing 和那个 WebListing 不是那个群体的 member 和对所有物理和另一个物理如果那个物理是 WebListing 的 instance 和那个物理是样品对于 sale 由那个施事体在那个 WebSite 的 member 和那个时点时段是那个物理出现的 time 时段的一 part 和那个物理不 equal 那个 WebListing，然后那个物理是那个群体的 member 和如果那个另外物理是那个群体的 member，然后那个时点时段是那个物理出现的 time 时段的一 part 和那个另外物理是 WebListing 的 instance ，然后东西对于 sale 由那个施事体非列在那个 WebListing 在那个 WebSite 期间那个时点 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	Media.kif 498-506	如果时间位置是 EasterSunday 的 instance 和那个时间位置时段是另一个时间位置时段的一 part 和那个另外时间位置是月的 instance，然后那个另外时间位置是三月的 instance 或那个另外时间位置是 A四月的 instance 或那个另外时间位置是五月的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14836-14845	如果时间位置是正整数 day 的 instance 和另一个时间位置时段是 WeekBeforeFn 那个时间位置时段的一 part 和那个时间位置时段是 WeekAfterFn 那个另外时间位置时段的一 part，然后有存在另一个正整数这样那个另外时间位置是那个另外正整数 day 的 instance 和那个另外正整数 equal (那个正整数和 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9321-9328	如果时距是星期五的 instance 和另一个时距是星期六的 instance 和时间位置是星期的 instance 和那个时距时段是那个时间位置时段的一 part 和那个另外时距时段是那个时间位置时段的一 part，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9269-9276	如果时距是星期一的 instance 和另一个时距是星期二的 instance 和时间位置是星期的 instance 和那个时距时段是那个时间位置时段的一 part 和那个另外时距时段是那个时间位置时段的一 part，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9334-9341	如果时距是星期六的 instance 和另一个时距是星期日的 instance 和时间位置是星期的 instance 和那个时距时段是那个时间位置时段的一 part 和那个另外时距时段是那个时间位置时段的一 part，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9343-9352	如果时距是星期日的 instance 和另一个时距是星期一的 instance 和第三时距是星期的 instance 和第四时距是星期的 instance 和那个时距时段是那个第三时距时段的一 part 和那个另外时距时段是那个第四时距时段的一 part 和那个第三时距接着那个第四时距，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9308-9315	如果时距是星期四的 instance 和另一个时距是星期五的 instance 和时间位置是星期的 instance 和那个时距时段是那个时间位置时段的一 part 和那个另外时距时段是那个时间位置时段的一 part，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9282-9289	如果时距是星期二的 instance 和另一个时距是星期三的 instance 和时间位置是星期的 instance 和那个时距时段是那个时间位置时段的一 part 和那个另外时距时段是那个时间位置时段的一 part，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9295-9302	如果时距是星期三的 instance 和另一个时距是星期四的 instance 和时间位置是星期的 instance 和那个时距时段是那个时间位置时段的一 part 和那个另外时距时段是那个时间位置时段的一 part，然后那个时距接着那个另外时距
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.	Cars.kif 1453-1470	如果 typicalTemporalPart 有点过程 and 另一个有点过程和实体是有点过程的 instance 和那个有点过程PROB equal 有存在另一个实体这样那个另外实体是另一个有点过程的 instance 和那个实体时段是那个另外实体时段的一 part 的机率和另一个实数 equal 不存在第三实体这样那个第三实体是那个另外有点过程的 instance 和那个实体时段是那个第三实体时段的一 part 的机率，然后那个有点过程PROB 是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1493-1510	如果 typicallyContainsTemporalPart 有点过程 and 另一个有点过程和实体是另一个有点过程的 instance 和有点过程PROB equal 有存在另一个实体这样那个另外实体是那个有点过程的 instance 和那个另外实体时段是那个实体时段的一 part 的机率和另一个实数 equal 不存在第三实体这样那个第三实体是那个有点过程的 instance 和那个第三实体时段是那个实体时段的一 part 的机率，然后那个有点过程PROB 是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7991-7994	如果时间位置时段是物理出现的 time 时段的一 part，然后那个物理在那个时间位置是存在

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1936-1941	如果日是 JesusOfNazareth 的 birthdate 和时距是 -6 year 的 instance 和另一个时距是 4 year 的 instance，然后那个日时段是那个时距的开始和那个另外时距的结束间的时段时段的一 part
No TPTP formula. May not be expressible in strict first order.	Media.kif 1943-1948	如果日是 JesusOfNazareth 的 deathdate 和时距是 29 year 的 instance 和另一个时距是 36 year 的 instance，然后那个日时段是那个时距的开始和那个另外时距的结束间的时段时段的一 part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3754-3764	如果时距 equal 施事体和有点年的 fiscal 开始年分和另一个有点时距是那个施事体的 fiscal 年周期和那个时距是另一个有点时距的 instance，然后有存在第三时距和时间位置这样那个第三时距是日的 instance 和那个第三时距 starts了才到那个时距和那个时间位置是有点年的 instance 和那个第三时距时段是那个时间位置时段的一 part
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	如果被驱逐是实体的 attribute 和那个实体是另一个实体-NATION 的 citizen 在时间位置 holdsDuring 和那个时间位置是时距的 instance，然后有存在过程和客体这样那个客体是国家的 instance 和那个客体不 equal 那个另外实体-NATION 和那个过程是易位的 instance 和那个客体是那个过程的源头和那个实体是那个过程的 patient 和那个过程在那个另外实体-NATION 结束和那个时间位置时段是那个过程出现的 time 时段的一 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12737-12750	如果过程是解码的 instance 和内容承载物理是那个过程的 patient，然后有存在实体，另一个内容承载物理,，，时间位置， and 和命题这样那个另外内容承载物理 contains 那个命题的资料和那个内容承载物理 contains 那个命题的资料和那个时间位置时段是那个过程出现的 time before 时段的一 part 和那个实体是编码的 instance 和那个另外内容承载物理是那个实体的 patient 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17050-17062	如果客体是游戏目标的 instance 和那个客体是导致过程的 instrument 和那个过程是游戏的 instance 和另一个过程%n是那个过程的subProcess 和那个另外过程是得分的 instance，然后有存在另一个实体和时间位置这样那个另外实体是游戏片的 instance 和那个另外实体是那个另外过程的 patient 和那个时间位置时段是那个另外过程出现的 time 时段的一 part 和那个另外实体是 located 在那个客体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 587-597	如果时距是 Hanukkah 的 instance 和时点 equal 那个时距的开始，然后有存在时间位置这样那个时点时段是那个时间位置时段的一 part 和那个时间位置是月的 instance 和那个时间位置是十一月的 instance 或那个时间位置是十二月的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12212-12220	如果过程是保存的 instance 和实体是那个过程的 patient，然后有存在另一个实体这样对所有时间位置如果那个时间位置时段是那个过程出现的 time 时段的一 part，然后那个实体是 located 在那个另外实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22259-22272	如果属性是职业角色的 instance 和有点过程是有认知的主事跟那个属性的 attr 的 typical action ，然后有存在另一个过程，时间位置,，，施事体， and 和那个施事体T 这样那个另外过程是有认知的主事的 instance 和那个属性是那个另外过程的 attribute 在那个时间位置 holdsDuring 和那个施事体是有点过程的 instance 和那个施事体是那个另外过程的 agent 和那个施事体在那个施事体T 是存在和那个施事体T 时段是那个时间位置时段的一 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8452-8461	如果时点是时点的 instance 和另一个时点是时点的 instance 和时距是时距的 instance 和那个时点和那个另外时点间的时段 equal 那个时距，然后对所有第三时点那个第三时点是在或等于那个时点和那个另外时点 between 若且唯若那个第三时点时段是那个时距时段的一 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18149-18183	如果客体是锯的 instance 和过程是切开的 instance 和那个客体是导致那个过程的 instrument 和另一个客体是客体的 instance 和那个另外客体是那个过程的 patient，然后有存在另一个过程，实体,，，另一个实体,，，时距,，，时间位置,，，另一个时间位置， and 和第三客体这样那个另外过程是运动的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三客体是切割装置的 instance 和那个第三客体是那个客体的 part 和那个第三客体接上那个另外客体和那个第三客体是那个另外过程的 patient 和那个另外时间位置是时距的 instance 和那个另外时间位置是时距的 instance 和那个另外过程出现的 time equal 那个时距和那个时距时段是那个时间位置时段的一 part 和那个时距时段是那个另外时间位置时段的一 part 和那个实体是方向属性的 instance 和那个另外实体是方向属性的 instance 和如果那个另外过程过程的实体向那个实体在那个时间位置 holdsDuring，然后那个另外过程过程的实体向那个另外实体和那个实体 equal 那个另外实体或那个另外实体是那个实体的 opposite 方向和 ~{ 那个实体 equal 那个另外实体 } 或 ~{ 那个另外实体是那个实体的 opposite 方向 } 在那个另外时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 1959-1963	如果时距是 26 year 的 instance 和另一个时距是 100 year 的 instance，然后 TwelveApostles 出现的 time 时段是那个时距的开始和那个另外时距的结束间的时段时段的一 part
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2808-2820	如果协议有欧式风格的选择的 attribute 和那个协议有 expiration 时点，然后有存在时距，另一个时距， and 和物理这样那个时距是时距的 instance 和那个时距的结束 equal 那个时点和如果那个物理是执行一个选项的 instance 和那个物理出现的 time equal 那个另外时距，然后那个另外时距时段是那个时距时段的一 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14788-14797	如果类是报纸的 subclass 和时间位置是星期的 instance，然后有存在过程和实体这样那个过程是出版的 instance 和那个过程出现的 time 时段是那个时间位置时段的一 part 和那个实体是那个过程的 result 和那个实体是那个类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16815-16826	如果 classmate 人类, 另一个人类 and 教育课程，然后有存在群体，过程， and 和时间位置这样那个群体是一群人的 instance 和那个过程是教育性过程的 instance 和那个过程表示那个教育课程的内容和那个群体是那个过程的 patient 和那个时间位置时段是那个过程出现的 time 时段的一 part 和那个人类在那个时间位置时是那个群体的 member 和那个人类在那个时间位置时是那个群体的 member
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1533-1541	如果寒冷气候带是地理区域地区的 climate 类别，然后有存在时距和实数这样那个时距是月的 instance 和那个时距时段是冬季时段的一 part 和 1 对于 %3 在 %2 周期的 average 温度和那个实数是 lessThan -3.0
No TPTP formula. May not be expressible in strict first order.	WMD.kif 941-955	如果疾病或综合症是对于有点过程的 disease 治愈有点生物活性物质，然后有存在实体，时间位置,，，另一个实体， and 和第三实体这样那个疾病或综合症是那个实体的 attribute 在那个时间位置 holdsDuring 和那个第三实体是有点过程的 instance 和那个第三实体出现的 time 时段是那个时间位置时段的一 part 和那个实体经历了那个第三实体和那个另外实体是那个第三实体的 patient 和那个另外实体是有点生物活性物质的 instance 增加那个疾病或综合症不是那个实体的 attribute 在紧接那个时间位置 after holdsDuring 发生的机率
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8280-8282	如果时距在另一个时距时段内发生，然后那个时距时段是那个另外时距时段的一 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8020-8027	如果时距的开始 equal 时点，然后对所有另一个时点如果那个另外时点时段是那个时距时段的一 part 和那个另外时点不 equal 那个时点，然后那个时点%n在那个另外时点 before发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8038-8045	如果时距的结束 equal 时点，然后对所有另一个时点如果那个另外时点时段是那个时距时段的一 part 和那个另外时点不 equal 那个时点，然后那个另外时点%n在那个时点 before发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9469-9479	如果分拆时距为的那个时距TYPE equal 第三有点时距，然后对所有时间位置如果那个时间位置是时点的 instance 和那个时间位置时段是那个时距时段的一 part，然后有存在另一个时间位置这样那个另外时间位置是第三有点时距的 instance 和那个时间位置时段是那个另外时间位置时段的一 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7939-7949	如果有点过程每持续时间发生一次，然后对所有时距如果那个时距的 duration 是那个持续时间，然后有存在时间位置这样那个时间位置时段是那个时距时段的一 part 和有存在实体这样那个实体是有点过程的 instance 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22202-22213	如果老将是实体的 attribute 在物理 holdsDuring，然后有存在时间位置这样那个时间位置时段是那个物理出现的 time before 时段的一 part 和士兵是那个实体的 attribute 在那个时间位置 holdsDuring 和士兵是那个实体的 attribute doesn't 在那个物理 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14398-14404	如果实体住在另一个实体在时间位置 holdsDuring，然后有存在另一个时间位置这样那个另外时间位置是时距的 instance 和那个另外时间位置时段是那个时间位置时段的一 part 和那个实体是 located 在那个另外实体在那个另外时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 1844-1851	如果施事体 states 实体在时间位置 holdsDuring，然后有存在过程这样那个过程是语言交流的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 patient 和那个时间位置时段是那个过程出现的 time 时段的一 part

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: