TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2697-2698
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7985-7986
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1420-1421
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7982-7982	开始函数的 1 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7979-7979	开始函数是时间关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7981-7981	开始函数是总值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7980-7980	开始函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7983-7983	开始函数的 range 是时点的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 449-449
No TPTP formula. May not be expressible in strict first order.	english_format.kif 455-455
No TPTP formula. May not be expressible in strict first order.	french_format.kif 261-261
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 34-34
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2051-2051
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 213-213
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 68-68
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 267-267
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 586-586
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 78-78
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 282-282
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 287-287
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 84-84
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10559-10559
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 450-450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10558-10558
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10557-10557
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 85-85

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8086-8094	如果时距的开始%n在另一个时距的开始before发生和那个时距的结束 equal 那个另外时距的结束，然后那个另外时距 finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8054-8062	如果时距的开始 equal 另一个时距的开始和那个时距的结束%n在那个另外时距的结束before发生，然后那个时距 starts了才到那个另外时距
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22920-22925	如果时点 equal 过程出现的 time 的开始和另一个时点 equal 施事体出现的 time 的结束和那个施事体是那个过程的受益者，然后那个时点%n在那个另外时点 before发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29595-29604	如果时点 equal 过程出现的 time 的开始和另一个时点 equal 施事体出现的 time 的结束和那个施事体 suffers 从那个过程，然后那个时点%n在那个另外时点 before发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23916-23932	如果 Menopausal 是人类的 attribute 在时距 holdsDuring 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance 和实数 equal (49 和整数) 和另一个实数 equal (52 和那个整数) 和时点 equal 那个时距的开始，然后那个时点是 greaterThan 那个实数和那个另外实数是 greaterThan 那个时点的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23889-23903	如果 Menopausal 是施事体的 attribute 在时距 holdsDuring 和实数 equal (1 年持续时间和那个时距的开始) 和另一个时距 equal 那个另外时距和那个时距的开始间的时段，然后不存在过程这样那个过程是经期的 instance 和那个施事体经历了那个过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 501-514	如果过程是走动的 instance 和另一个过程%n是那个过程的subProcess 和那个另外过程是步进的 instance 和第三过程%n是那个过程的subProcess 和那个第三过程是步进的 instance 和那个另外过程START equal 那个另外过程出现的 time 的开始和那个第三过程START equal 那个第三过程出现的 time 的开始和那个另外过程START%n在那个第三过程STARTbefore发生和那个第三过程START%n在那个另外过程STARTbefore发生，然后那个另外过程 equal 那个第三过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12383-12397	如果过程是连接的 instance 和实体是那个过程的 patient 和另一个实体是那个过程的 patient 和那个实体和那个另外实体不是 connected 在那个过程出现的 time 的开始 holdsDuring 和那个实体和那个另外实体是 connected 在那个过程出现的 time 的结束 holdsDuring，然后 objectAttached 那个过程 and 那个实体和 objectAttached 那个过程 and 那个另外实体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	如果 AccessingWebPage 是 AccessingWebPage 的 instance 和实体是 WebPage 的 instance 和过程是数据传输的 instance 和客体是服务器的 instance 和另一个过程是要求的 instance 和施事体是 WebBrowser 的 instance 和时距是时距的 instance 和那个实体是那个 AccessingWebPage 的 patient 和那个施事体是那个另外过程的 agent 和那个另外过程在那个客体结束和那个实体是那个另外过程的 patient 和那个客体是那个过程的源头和那个过程在那个施事体结束和那个实体是那个过程的 patient 和那个过程%n是那个 AccessingWebPage的subProcess 和那个另外过程%n是那个 AccessingWebPage的subProcess 和那个另外过程出现的 time 的结束 equal 那个时距的开始和那个过程出现的 time 的结束 equal 那个时距的结束，然后 access 的时间在那个 AccessingWebPage equal 那个时距
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2332-2343	如果时距是 BringingGEToFront 的 instance 和实体是那个时距的 patient 和那个实体是 InterfaceWindow 的 instance 和那个实体有 state 属性在那个时距的开始 holdsDuring 和那个属性是 GUE_UncoveredState 的相反，然后不那个实体有 state 那个属性在那个时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	如果金融账户是存款证的 instance 和日是那个金融账户的 maturity 日期和过程是退出的 instance 和那个金融账户的 currency 是那个过程的源头和那个过程的 date 是另一个日和那个另外日的结束%n在那个日的开始before发生，然后有存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个金融账户的 currency 结束和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11647-11654	如果过程是改变所有权的 instance 和实体是那个过程的 patient 和另一个实体 possesses 那个实体在那个过程出现的 time 的开始 holdsDuring 和第三实体 possesses 那个实体在那个过程出现的 time 的结束 holdsDuring，然后那个另外实体不 equal 那个第三实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12431-12440	如果过程是脱离的 instance 和实体是那个过程的 patient 和另一个实体是那个过程的 patient 和那个实体和那个另外实体是 connected 在那个过程出现的 time 的开始 holdsDuring 和那个实体和那个另外实体不是 connected 在另一个过程出现的 time 的结束 holdsDuring，然后 objectDetached 那个另外过程 and 那个实体和 objectDetached 那个另外过程 and 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8722-8729	如果时距是正整数 day 的 instance 和另一个时距是另一个正整数 day 的 instance 和时点 equal 那个时距的开始和另一个时点 equal 那个另外时距的开始和那个另外正整数是 greaterThan 那个正整数，然后那个时点%n在那个另外时点 before发生
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2421-2430	如果过程是出口的 instance 和实体是那个过程的 patient 和另一个实体是地缘政治区域的 instance 和那个实体是 located 在那个另外实体在那个过程出现的 time 的开始 holdsDuring，然后那个实体不是 located 在那个另外实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2432-2445	如果过程是出口的 instance 和实体是那个过程的 patient 和地缘政治区域是地缘政治区域的 instance 和那个实体是 located 在那个地缘政治区域在那个过程出现的 time 的开始 holdsDuring，然后有存在另一个地缘政治区域这样那个另外地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域不是那个另外地缘政治区域的地缘政治部分和那个另外地缘政治区域不是那个地缘政治区域的地缘政治部分和那个实体是 located 在那个另外地缘政治区域在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2456-2466	如果过程是出口的 instance 和实体是那个过程的 patient 和客体是地缘政治区域的 instance 和物理是地缘政治区域的 instance 和那个实体是 located 在那个客体在那个过程出现的 time 的开始 holdsDuring 和那个实体是 located 在那个物理在那个过程出现的 time 的结束 holdsDuring，然后那个物理不是 located 在那个客体
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 8354-8364	如果时距是时距的 instance 和另一个时距是时距的 instance 和那个时距的开始 equal 那个另外时距的开始和那个时距的结束 equal 那个另外时距的结束，然后那个时距 equal 那个另外时距
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1399-1404	如果时距是贷款的 instance 和时点 equal 那个时距的开始和货币测量是那个时距的 total 存款，然后那个时距对于 %3 的 current 帐户存款
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8706-8713	如果时距是有点月 month 的 instance 和另一个时距是另一个有点月 month 的 instance 和时点 equal 那个时距的开始和另一个时点 equal 那个另外时距的开始和 successorClass 有点月 and 另一个有点月，然后那个时点%n在那个另外时点 before发生
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1753-1773	如果音调是音调的 instance 和那个音调的 frequency 是实数赫兹和 loudness 那个音调 and 另一个实数 Decibel 和那个音调是 located 在人类在那个音调出现的 time 的开始时所处的地区和第三实数是 greaterThan 那个另外实数和那个另外实数是 greaterThan 第四实数和那个实数是 greaterThan 250 和 8000 是 greaterThan 那个实数和那个人类是人类的 instance 和过程是听的 instance 和那个人类是那个过程的 agent，然后 hearingAcuity 那个人类, 那个第三实数 Decibel and 那个第四实数 Decibel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19583-19595	如果过程是氧化的 instance 和实体是那个过程的 patient 和实数是那个实体的 electron 号码在那个过程出现的 time 的开始 holdsDuring，然后有存在另一个实数这样那个另外实数是 lessThan 那个实数和那个另外实数是那个实体的 electron 号码在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17638-17656	如果时距是拉的 instance 和客体是那个时距的源头和施事体是那个时距的 agent 和那个施事体是 located 在那个施事体LOC 在那个时距的开始 holdsDuring 和那个时距在另一个实体结束，然后有存在第三实体，第四实体， and 和第五实体这样那个施事体LOC 和那个另外实体的 distance 是那个第五实体那个第四实体和那个施事体LOC 和那个客体的 distance 是那个第三实体那个第四实体和那个第三实体是 greaterThan 那个第五实体在紧接那个时距的开始 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17616-17634	如果时距是 Pushing 的 instance 和客体是那个时距的源头和施事体是那个时距的 agent 和那个施事体是 located 在那个施事体LOC 在那个时距的开始 holdsDuring 和那个时距在另一个实体结束，然后有存在第三实体，第四实体， and 和第五实体这样那个施事体LOC 和那个另外实体的 distance 是那个第五实体那个第四实体和那个施事体LOC 和那个客体的 distance 是那个第三实体那个第四实体和那个第三实体是 greaterThan 那个第五实体在紧接那个时距的开始 after holdsDuring

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.	Merge.kif 12466-12473	过程是结合的 instance 和客体是那个过程的 resource 和实体是那个过程的 result 若且唯若那个客体不是那个实体的 part 在那个过程出现的 time 的开始 holdsDuring 和那个客体是那个实体的 part 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	如果 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 655-667	如果金融账户对于时间位置到期的 amount 货币测量和有认知的主事持有 account 那个金融账户，然后那个有认知的主事有义务执行符号串所描述的类别的任务
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.	Hotel.kif 684-695	如果其必須在时点之前在有认知的主事 check out 和另一个有认知的主事是在那个有认知的主事的 guest ，然后那个有认知的主事 expects 有存在实体和另一个实体这样那个实体是那个时点的 instance 和那个另外有认知的主事是那个另外实体的 patient 和那个另外实体是 CheckOutService 的 instance 和那个有认知的主事是那个另外实体的 agent 和那个另外实体出现的 time 的开始%n在那个实体 before发生会是事实
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.	Communications.kif 202-214	如果过程在客体结束和那个过程是讯息的 instance 和实体是那个过程的 patient 和那个客体是 Telex 的 instance，然后有存在另一个过程和另一个实体这样那个客体是导致那个另外过程的 instrument 和那个另外实体是那个另外过程的 result 和那个另外实体表达那个实体和那个另外实体是文本的 instance 和那个过程出现的 time 的开始%n在那个另外过程出现的 time 的开始before发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30692-30698	如果 firstInstanceCreated 有点物理 and 时点和另一个物理是有点物理的 instance，然后那个时点%n{doesn't}在那个另外物理出现的 time 的开始之前或同时发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3836-3843	如果公式在时距 holdsDuring 和另一个公式在另一个时距 holdsDuring 和那个另外时距是时距的 instance 和那个时距是时距的 instance 和那个公式是那个另外公式的 causes 提议，然后那个另外时距的开始%n{doesn't}在那个时距的开始之前或同时发生
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1966-1973	如果实体是连续时间间隔表列的 member 和那个连续时间间隔表列 equal 时距的持续时间 ConsecutiveTimeIntervalList 是在 TimeIntervalListFn(时间间隔表列函数)，然后那个时距的开始 equal 那个连续时间间隔表列的 first 的开始
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23710-23719	如果 %每个有点客体是另一个有点客体的 initially part 和物理是有点客体的 instance，然后有存在实体这样那个实体是另一个有点客体的 instance 和那个物理是那个实体的 part 在那个物理出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23737-23745	如果有点客体的例子总是另一个有点客体的 initially part 的例子和物理是另一个有点客体的 instance，然后有存在实体这样那个实体是有点客体的 instance 和那个实体是那个物理的 part 在那个物理出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21495-21506	如果过程是中止的 instance 和实体是那个过程的 patient 和那个实体是女人的 instance，然后孕是那个实体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和孕不是那个实体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1042-1055	如果过程是任命的 instance 和实体是那个过程的 patient，然后有存在另一个实体和第三实体这样那个实体 doesn't 在那个第三实体任职那个另外实体在那个过程出现的 time 的开始 holdsDuring 和那个实体在那个第三实体任职那个另外实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17143-17164	如果过程是加速的 instance 和施事体是那个过程的 agent，然后有存在实数，另一个实数,，，第三实数,，，第四实数,，，实体， and 和另一个实体这样那个施事体的 measure 是那个实数那个实体除以那个第三实数那个另外实体在那个过程出现的 time 的开始 holdsDuring 和那个施事体的 measure 是那个另外实数那个实体除以那个第四实数那个另外实体在那个过程出现的 time 的结束 holdsDuring 和那个另外实数是 greaterThan 那个实数或那个第四实数是 greaterThan 那个第三实数
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2268-2277	如果时距是 ActivatingUIElement 的 instance 和实体是那个时距的 patient 和那个实体是 GUIElement 的 instance，然后那个实体有 state GUE_ActiveState 在那个时距的结束 holdsDuring 和不那个实体有 state GUE_ActiveState 在那个时距的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12656-12669	如果过程是形状变化的 instance 和实体是那个过程的 patient，然后有存在另一个实体这样那个另外实体是形状属性的 instance 和那个另外实体是那个实体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和那个另外实体不是那个实体的 attribute 在那个过程出现的 time 的结束 holdsDuring 或那个另外实体不是那个实体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和那个另外实体是那个实体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12616-12629	如果过程是表面变化的 instance 和客体是那个过程的 patient，然后有存在另一个客体和实体这样那个另外客体是那个客体的 superficialPart 和那个实体是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和那个实体不是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring 或那个实体不是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和那个实体是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	如果时距是 AddToCart 的 instance 和实体是客体的 instance 和那个实体是那个时距的 patient 和施事体是那个时距的 agent，然后有存在群体， WebSite,，，时间位置， and 和另一个时距这样那个群体是群体的 instance 和那个 WebSite 是 WebSite 的 instance 和那个另外时距是时距的 instance 和使用者那个施事体在那个 WebSite 有 cart 那个群体和那个另外时距的开始 equal 那个时距的结束和那个实体是那个群体的 member 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12360-12367	如果过程是连接的 instance 和实体是那个过程的 patient 和另一个实体是那个过程的 patient，然后那个实体和那个另外实体不是 connected 在那个过程出现的 time 的开始 holdsDuring 和那个实体和那个另外实体是 connected 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16343-16353	如果过程是变得醉了的 instance 和施事体经历了那个过程，然后清醒是那个施事体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和醉是那个施事体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17386-17397	如果过程是登机的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后不那个施事体是 onboard 那个实体在那个过程出现的 time 的开始 holdsDuring 和那个施事体是 onboard 那个实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17427-17439	如果过程是 deboarding 的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后那个施事体是 onboard 那个实体在那个过程出现的 time 的开始 holdsDuring 和不那个施事体是 onboard 那个实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16363-16373	如果过程是清醒来的 instance 和施事体经历了那个过程，然后醉是那个施事体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和清醒是那个施事体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21395-21403	如果过程是流血的的 instance 和施事体经历了那个过程，然后有存在实体这样那个实体是血液的 instance 和那个实体是那个施事体的 part 在那个过程出现的 time 的开始 holdsDuring 和那个实体不是那个施事体的 part 在那个过程出现的 time 的结束 holdsDuring

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: