TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2720-2721
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8348-8349
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1444-1445
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8345-8345	在这时间内的 1 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8346-8346	在这时间内的 2 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8342-8342	在这时间内是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8343-8343	在这时间内是非自反关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8341-8341	在这时间内是传递关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 433-433
No TPTP formula. May not be expressible in strict first order.	english_format.kif 439-439
No TPTP formula. May not be expressible in strict first order.	french_format.kif 251-251
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 86-86
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2045-2045
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 203-203
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 257-257
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 565-565
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 126-126
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 272-272
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 275-275
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 120-120
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 434-434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20694-20694
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20693-20693
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20692-20692
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 188-188

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	如果 breathingRate 施事体, 时距 and 整数和那个时距是分钟的 instance 和不存在那个整数这样那个整数是娱乐或锻炼的 instance 和那个施事体是那个整数的 agent 和那个时距在那个整数出现的 time 时段内发生和人类成人是那个施事体的 attribute 在那个时距 holdsDuring 和那个整数是 greaterThan 16 或那个整数是 lessThan 12，然后 Healthy 不是那个施事体的 attribute 在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	如果 dampingRatio 物理系统 and 实数和那个实数是 greaterThan 0 和时距是震的 instance 和那个物理系统是那个时距的 patient 和实体是 UnitOfLength 的 instance 和 physicalAmplitude 那个时距 and 另一个实数那个实体在那个时距1 holdsDuring 和 physicalAmplitude 那个时距 and 第三实数那个实体在那个时距2 holdsDuring 和那个时距1 在那个时距时段内发生和那个时距2 在那个时距时段内发生和那个时距1 比那个时距2发生的earlier，然后那个另外实数是 greaterThan 那个第三实数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	如果 AVPUPainStatus 是施事体的 attribute 在时距 holdsDuring 和过程是痛的 instance 和那个过程出现的 time 在那个时距时段内发生和那个施事体经历了那个过程，然后有存在另一个过程这样那个另外过程是身体运动的 instance 和那个施事体经历了那个另外过程和那个另外过程出现的 time 在那个时距时段内发生和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6447-6459	如果 AVPUVerbalStatus 是施事体的 attribute 在时距 holdsDuring 和过程是说话的 instance 和那个过程在那个施事体结束和那个过程出现的 time 在那个时距时段内发生，然后有存在另一个过程这样那个另外过程是有意图过程的 instance 和那个施事体是那个另外过程的 agent 和那个另外过程出现的 time 在那个时距时段内发生和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1500-1512	如果 ChronicFatigueSyndrome 是施事体的 attribute 在时距 holdsDuring 和过程是娱乐或锻炼的 instance 和那个施事体是那个过程的 agent 和那个过程出现的 time 在那个时距时段内发生，然后 PostExertionalMalaise 是那个施事体的 attribute 在那个时距2 holdsDuring 和那个过程出现的 time 比那个时距2发生的earlier 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30686-30707	如果 Dieting 是施事体的 attribute 在时距 holdsDuring 和 Dieting 不是那个施事体的 attribute 在另一个时距 holdsDuring 和客体是 Meal 的 instance 和过程是进食的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 resource 和那个过程出现的 time 在那个时距时段内发生和那个客体的 measure 是实数卡路里和另一个客体是 Meal 的 instance 和另一个过程是进食的 instance 和那个施事体是那个另外过程的 agent 和那个另外客体是那个另外过程的 resource 和那个另外过程出现的 time 在那个另外时距时段内发生和那个另外客体的 measure 是另一个实数卡路里，然后那个另外实数是 greaterThan 那个实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Media.kif 437-444	如果时距是 EasterSunday 的 instance 和另一个时距是 Lent 的 instance 和那个另外时距接着那个时距和那个时距在第三时距时段内发生和那个第三时距是年的 instance，然后那个另外时距在那个第三时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Media.kif 446-453	如果时距是 EasterSunday 的 instance 和另一个时距是 Lent 的 instance 和那个另外时距接着那个时距和那个另外时距在第三时距时段内发生和那个第三时距是年的 instance，然后那个时距在那个第三时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8958-8965	如果时距是 Evening 的 instance 和另一个时距是下午的 instance 和第三时距是日的 instance 和那个时距在那个第三时距时段内发生和那个另外时距在那个第三时距时段内发生，然后那个另外时距接着那个时距
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	如果施事体是人的 instance 和 mausaharati 是那个施事体的 attribute 和过程是鼓声的 instance 和那个施事体是那个过程的 agent 和那个过程AY 是日的 instance 和另一个时距是日出的 instance 和那个另外时距在那个过程AY 时段内发生和那个过程出现的 time 比那个另外时距发生的earlier，然后那个过程的目的是有存在另一个实体，那个另外时距UHUR， and 和第四实体这样那个第四实体是起来的 instance 和那个另外实体经历了那个第四实体和那个另外时距UHUR 是封斋饭的 instance 和那个另外实体是那个另外时距UHUR 的 agent 和那个第四实体出现的 time 比那个另外时距UHUR 出现的 time发生的earlier 和那个第四实体出现的 time 在那个过程AY 时段内发生和那个另外时距UHUR 出现的 time 在那个过程AY 时段内发生
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 466-482	如果过程是 MeasuringBreathing 的 instance 和施事体是那个过程的 agent 和客体是肺的 instance 和那个客体是另一个客体的 part 和时距是时距的 instance 和那个时距在那个过程出现的 time 时段内发生和那个时距的 duration 是分钟和那个另外客体是那个过程的 patient，然后有存在实体这样那个施事体 knows breathingRate 那个客体, 那个时距 and 那个实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	如果时距是那个时距_CLASS 的 instance 和那个时距_CLASS 是过程的 subclass 和 AccessingWebPage 是 AccessingWebPage 的 instance 和施事体是施事体的 instance 和那个施事体是那个时距的 agent 和那个施事体是那个 AccessingWebPage 的 agent 和那个时距在那个 AccessingWebPage 时段内发生和物理是时距的 instance 和不存在那个时距2 这样那个时距2 是那个时距_CLASS 的 instance 和那个施事体是那个时距2 的 agent 和那个时距2 在那个 AccessingWebPage 时段内发生和那个时距2 出现的 time 的开始%n在那个时距出现的 time 的开始before发生和那个 AccessingWebPage 出现的 time 的开始 equal 那个物理出现的 time 的开始和那个时距出现的 time 的开始 equal 那个物理出现的 time 的结束，然后那个 AccessingWebPage 的 time 在类别那个时距_CLASS equal 那个物理
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	如果时距是 TimePeriod 的 instance 和那个时距的 duration 是实数分钟和那个实数是 greaterThan 5.0 和实体是人类的 instance 和不存在过程这样那个过程是呼吸的 instance 和那个过程出现的 time 在那个时距时段内发生和那个实体是那个过程的 patient，然后有存在另一个实体这样那个另外实体是死亡的 instance 和那个实体经历了那个另外实体和那个时距接着那个另外实体出现的 time 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Media.kif 387-394	如果时距是 Advent 的 instance 和另一个时距是 ChristmasDay 的 instance 和那个时距在第三时距时段内发生和那个第三时距是年的 instance 和那个时距接着那个另外时距，然后那个另外时距在那个第三时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Media.kif 396-403	如果时距是 Advent 的 instance 和另一个时距是 ChristmasDay 的 instance 和那个另外时距在第三时距时段内发生和那个第三时距是年的 instance 和那个时距接着那个另外时距，然后那个时距在那个第三时距时段内发生
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	如果群体是群体的 instance 和另一个群体是群体的 instance 和那个另外群体是那个群体的真正的子集和对所有物理如果那个物理是那个群体的 member，然后那个物理是 AccessingWebPage 的 instance 和对所有过程，施事体,，，另一个过程,，，那个过程， and 和客体如果那个施事体是人类的 instance 和那个过程是购买的 instance 和那个另外过程是 AccessingWebPage 的 instance 和那个客体是 WebPage 的 instance 和那个另外过程是那个群体的 member 和那个另外过程在那个客体结束和那个施事体是那个过程的 agent 和那个施事体是那个另外过程的 agent 和那个过程出现的 time 在那个另外过程出现的 time 时段内发生和那个客体是导致那个过程的 instrument，然后那个过程是那个另外群体的 member ，然后有存在时距，实体_IN_INTERVAL， and 和另一个实体_IN_INTERVAL 这样 purchases 花在那个群体期间那个时距 equal 那个实体_IN_INTERVAL 所描述的类别 instance 的数量和那个另外实体_IN_INTERVAL 所描述的类别 instance 的数量
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.	Anatomy.kif 1758-1780	如果 muscleInsertion 有点肌肉 and 有点身体部位和客体是人类的 instance 和 StandardAnatomicalPosition 是那个客体的 attribute 在时距 holdsDuring 和 Healthy 是那个客体的 attribute 和另一个时距是 MuscularContraction 的 instance 和那个另外时距出现的 time 在那个时距时段内发生和另一个客体是有点肌肉的 instance 和那个另外客体是那个客体的 part 和那个另外客体是导致那个另外时距的 instrument 和 physicalEnd 第三客体 and 那个另外客体和那个第三客体接上第四客体和那个第三客体是 located 在实体在那个另外时距的开始 holdsDuring，然后那个第三客体不是 located 在那个实体在那个另外时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	如果 muscleOrigin 有点肌肉 and 有点身体部位和客体是人类的 instance 和 StandardAnatomicalPosition 是那个客体的 attribute 在时距 holdsDuring 和 Healthy 是那个客体的 attribute 和另一个时距是 MuscularContraction 的 instance 和那个另外时距出现的 time 在那个时距时段内发生和另一个客体是有点肌肉的 instance 和那个另外客体是那个客体的 part 和那个另外客体是导致那个另外时距的 instrument 和 physicalEnd 第三客体 and 那个另外客体和那个第三客体接上第四客体和那个第三客体是 located 在实体在那个另外时距的开始 holdsDuring，然后那个第三客体是 located 在那个实体在那个另外时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2711-2731	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance 和那个时距是一天的时间的 instance 和过程是看着的 instance 和客体是客体的 instance 和那个客体是黑色的 color 和施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程是 located 在那个地区和那个过程出现的 time 在那个时距时段内发生和那个客体是客体的 instance，然后有存在另一个实数这样那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2733-2754	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance 和那个时距是晚上的时间的 instance 和过程是看着的 instance 和客体是地区的 instance 和发光的是那个客体的 attribute 和那个客体的 measure 是 1000.0 坎德拉和施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程是 located 在那个地区和那个过程出现的 time 在那个时距时段内发生和那个客体是客体的 instance，然后有存在另一个实数这样那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8351-8355	如果时距在另一个时距时段内发生，然后那个时距的结束%n在那个另外时距的结束before发生和那个另外时距的开始%n在那个时距的开始before发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8294-8296	如果时距在另一个时距时段内发生，然后那个时距时段是那个另外时距时段的一 part

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	年是那个年EAR year 的 instance 和地缘政治区域和那个年的 male 出生估计寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	年是整数 year 的 instance 和地缘政治区域和那个年每一千的 births equal 实数若且唯若那个地缘政治区域的 population 和 1000 equal 另一个实数和另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	年是整数 year 的 instance 和地缘政治区域和那个年每一千里的 deaths equal 实数若且唯若那个地缘政治区域的 population 和 1000 equal 另一个实数和另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	年是整数 year 的 instance 和地缘政治区域和那个年每一千个生存出生里的 deaths equal 实数若且唯若另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和 1000 equal 另一个实数和第三整数 equal 另一个符号串所描述的类别 instance 的数量和那个第三整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	年是整数 year 的 instance 和地缘政治区域和那个年的 female 出生预期寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	年是整数 year 的 instance 和地缘政治区域和那个年的出生预期 life equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30247-30260	Alone 是实体的 attribute 在时距 holdsDuring 若且唯若不存在那个实体2 和过程这样那个实体不 equal 那个实体2 和那个实体2 是施事体的 instance 和那个过程是社交的 instance 和那个过程出现的 time 在那个时距时段内发生和那个实体是事件那个过程的 involved 和那个实体2 是事件那个过程的 involved
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30295-30303	Mute 是施事体的 attribute 在时距 holdsDuring 若且唯若不存在过程这样那个过程是说话的 instance 和那个过程出现的 time 在那个时距时段内发生和那个施事体是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	如果穆斯林是施事体的 attribute 和属于那个施事体的资产值 equal 货币测量，然后有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是天课的 instance 和那个第四实体是年的 instance 和那个第四实体在那个施事体出现的 time 时段内发生和完全成型是那个施事体的 attribute 在那个第四实体 holdsDuring 和那个施事体是那个实体的 agent 和那个另外实体是那个实体的 patient 和那个另外实体的价值是那个第五实体那个第三实体和那个第三实体是 UnitOfCurrency 的 instance 和那个第五实体是 greaterThan 那个货币测量和 0.025 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3534-3543	如果群体是在 WebSite 的 first time buyers 在其间时距和施事体是那个群体的 member，然后有存在金融交易这样那个金融交易是购买的 instance 和那个施事体是那个金融交易的 agent 和那个 WebSite facilitates 那个金融交易和那个金融交易出现的 time 在那个时距时段内发生
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3582-3591	如果群体是在 WebSite 的 first time sellers 在其间时距和施事体是那个群体的 member，然后有存在金融交易这样那个金融交易是出售的 instance 和那个施事体是那个金融交易的 agent 和那个 WebSite facilitates 那个金融交易和那个金融交易出现的 time 在那个时距时段内发生
No TPTP formula. May not be expressible in strict first order.	emotion.kif 161-172	如果情绪状态是实体的 attribute 在时间位置 holdsDuring 和 actionTendency 那个情绪状态 and 有点 EmotionalBehavioralProcess，然后有存在另一个实体这样那个另外实体是有点 EmotionalBehavioralProcess 的 instance 和那个另外实体出现的 time 在那个时间位置时段内发生和那个实体经历了那个另外实体的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	如果 AVPUPainStatus 是施事体的 attribute 在时距 holdsDuring 和过程是痛的 instance 和那个过程出现的 time 在那个时距时段内发生和那个施事体经历了那个过程，然后有存在另一个过程这样那个另外过程是身体运动的 instance 和那个施事体经历了那个另外过程和那个另外过程出现的 time 在那个时距时段内发生和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6447-6459	如果 AVPUVerbalStatus 是施事体的 attribute 在时距 holdsDuring 和过程是说话的 instance 和那个过程在那个施事体结束和那个过程出现的 time 在那个时距时段内发生，然后有存在另一个过程这样那个另外过程是有意图过程的 instance 和那个施事体是那个另外过程的 agent 和那个另外过程出现的 time 在那个时距时段内发生和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2550-2566	如果客体的 measure 是函数量在时间位置 holdsDuring 和 engineIdleSpeed 内燃机 and 那个函数量和另一个客体是汽车的 instance 和那个内燃机是那个另外客体的 part 和那个客体是那个内燃机的 part，然后不存在实体和另一个实体这样那个实体在那个时间位置时段内发生和那个实体是 Pushing 的 instance 和那个实体在那个另外实体结束和那个另外实体是那个另外客体的 part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30266-30277	如果施事体是施事体的 instance 和 Motionless 是那个施事体的 attribute 在时距 holdsDuring，然后不存在过程这样那个过程是身体运动的 instance 和那个过程是有意图过程的 instance 和那个施事体是那个过程的 agent 和那个过程出现的 time 在那个时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10604-10620	如果客体是 BodySegment 的 instance 和另一个客体是 BodySegment 的 instance 和那个客体和那个另外客体是 connected 和运动是身体运动的 instance 和移动那个运动 and 那个客体，然后不存在那个运动2 这样那个运动2 是身体运动的 instance 和移动那个运动2 and 那个另外客体和那个运动2 出现的 time 在那个运动出现的 time 时段内发生的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8414-8427	如果施事体是骑兵部队的 instance 和时距是战斗的 instance 和那个施事体是那个时距的 agent，然后有存在另一个施事体，实体， and 和另一个时距这样士兵是那个另外施事体的 attribute 和那个另外施事体是那个施事体的 member 和那个另外时距是运输的 instance 和那个另外施事体是那个另外时距的 agent 和那个实体是车辆的 instance 和那个实体是那个另外时距的 patient 和那个另外时距在那个时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8876-8881	如果下午是下午的 instance 和日是日的 instance 和那个下午 equal 那个日的 afternoon ，然后那个下午在那个日时段内发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8976-8981	如果 Evening 是 Evening 的 instance 和日是日的 instance 和那个 Evening equal 那个日的 evening ，然后那个 Evening 在那个日时段内发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8860-8865	如果早上是早上的 instance 和日是日的 instance 和那个早上 equal 那个日的 morning ，然后那个早上在那个日时段内发生
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1881-1900	如果过程是 EngineCycle 的 instance 和客体是内燃机的 instance 和另一个客体是 CombustionChamber 的 instance 和那个另外客体是那个客体的 part 和那个过程是 located 在那个客体和实体是 UnitOfVolume 的 instance 和 maxCylinderVolume 那个客体 and 实数那个实体在那个过程出现的 time holdsDuring，然后不存在另一个实数和时距这样那个时距在那个过程出现的 time 时段内发生和那个另外客体的 measure 是那个另外实数那个实体在那个时距 holdsDuring 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1851-1870	如果过程是 EngineCycle 的 instance 和客体是内燃机的 instance 和另一个客体是 CombustionChamber 的 instance 和那个另外客体是那个客体的 part 和那个过程是 located 在那个客体和实体是 UnitOfVolume 的 instance 和 minCylinderVolume 那个客体 and 实数那个实体在那个过程出现的 time holdsDuring，然后不存在另一个实数和时距这样那个时距在那个过程出现的 time 时段内发生和那个另外客体的 measure 是那个另外实数那个实体在那个时距 holdsDuring 和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1926-1948	如果过程是 EngineCycle 的 instance 和发动机是内燃机的 instance 和客体是 Piston 的 instance 和测量单位是 UnitOfLength 的 instance 和那个客体是那个发动机的 part 和那个客体是那个过程的 patient 和那个过程是 located 在那个发动机和 pistonStroke 那个发动机 and 实数那个测量单位，然后不存在时距，另一个时距,，，物理,，，另一个物理， and 和另一个实数这样那个时距在那个过程出现的 time 时段内发生和那个另外时距在那个过程出现的 time 时段内发生和那个客体是 located 在那个物理在那个时距 holdsDuring 和那个客体是 located 在那个另外物理在那个另外时距 holdsDuring 和那个物理和那个另外物理的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	如果过程是 ExperiencingDiscomfortInTheStomach 的 instance 和施事体经历了那个过程，然后有存在另一个过程，那个另外过程AIN， and 和客体这样那个另外过程是感知的 instance 和那个另外过程出现的 time 在那个另外过程AIN 出现的 time 时段内发生和那个另外过程AIN 是痛的 instance 和那个施事体经历了那个另外过程AIN 和那个另外过程%n是那个过程的subProcess 和那个施事体是那个另外过程的 agent 和那个客体是那个另外过程的 patient 和那个客体是胃的 instance 和那个客体是那个施事体的 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: