TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1941-1942
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2813-2815
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 571-572
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2810-2810	相信的 1 数量是有认知的主事的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2811-2811	相信的 2 数量是公式的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2808-2808	相信是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2807-2807	相信是命题态度的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2809-2809	相信是感兴趣的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 61-61
No TPTP formula. May not be expressible in strict first order.	english_format.kif 61-61
No TPTP formula. May not be expressible in strict first order.	french_format.kif 57-57
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 36-36
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1879-1879
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 9-9
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 70-70
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 100-100
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 68-68
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 54-54
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 76-76
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 56-56
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 88-88
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 62-62
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10678-10678
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10677-10677
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 17-17
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 89-89

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2443-2457	如果过程是飓风的 instance 和实体是萨菲尔辛普森飓风5 的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 157.0 和那个有认知的主事 believes 那个实数英里每小時 equal 那个客体地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2365-2384	如果过程是飓风的 instance 和时速级数属性是萨菲尔辛普森飓风风力等级的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数测量单位和另一个实数那个测量单位和那个测量单位是测量单位的 instance，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数那个测量单位 equal 那个客体地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2191-2205	如果过程是龙卷风的 instance 和实体是改良藤田5 的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 200.0 和那个有认知的主事 believes 那个实数英里每小時 equal 在那个过程出现的 time 时间结束以前，发生在区域那个客体的 ThreeSecondGustSpeedFn (3秒阵风风速)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2096-2114	如果过程是龙卷风的 instance 和时速级数属性是改良藤田级数的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数英里每小時和另一个实数英里每小時，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数英里每小時 equal 在那个过程出现的 time 时间结束以前，发生在区域那个客体的 ThreeSecondGustSpeedFn (3秒阵风风速)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 484-496	如果过程是风的 instance 和实体是浦氏12风级的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 73.0 和那个有认知的主事 believes 那个实数英里每小時是那个客体的 surface 风速
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	如果过程是风的 instance 和时速级数属性是浦福氏风级属性的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数测量单位和另一个实数那个测量单位和那个测量单位是测量单位的 instance，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数那个测量单位是那个客体的 surface 风速
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2817-2820	如果有认知的主事 believes 公式，然后有存在时间位置这样那个有认知的主事 considers 那个公式在那个时间位置 holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17332-17345	如果属性是客体的 attribute 和那个属性是主观评价属性的 instance，然后有存在时间位置，过程， and 和施事体这样那个过程是判断的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个属性是那个客体的 attribute 是那个过程的 result 和那个施事体 believes 那个客体有那个属性的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2673-2682	如果过程是示范的 instance 和施事体是那个过程的 agent 和有认知的主事是那个施事体的 member 和另一个有认知的主事是那个施事体的 member，然后有存在公式这样那个有认知的主事 believes 那个公式和那个另外有认知的主事 believes 那个公式
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 228-235	如果过程是损坏的 instance 和施事体是那个过程的 agent 和那个过程在有认知的主事结束和那个有认知的主事是有认知的主事的 instance，然后那个有认知的主事 believes 危险是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12014-12026	如果过程是决定的 instance 和有认知的主事是那个过程的 agent 和集合是集合的 instance 和那个集合是那个过程的 patient 和实体是那个集合的 element，然后那个有认知的主事 believes 有存在另一个实体这样那个实体是那个另外实体的 instance 和那个另外实体是有意图过程的 subclass 和那个有认知的主事能够担当主事的角色做那个另外实体
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 257-270	如果过程是渗出的 instance 和施事体是那个过程的 agent，然后有存在另一个过程和实体这样那个另外过程是假装的 instance 和那个施事体是那个另外过程的 agent 和那个实体是那个另外过程的 patient 和那个另外过程的目的是那个实体 believes 不存在那个过程0 这样那个过程0 equal 那个过程
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2516-2530	如果过程是疏散的 instance 和地理区域是那个过程的源头和有认知的主事是那个过程的 agent，然后有存在另一个过程这样那个另外过程是过程的 instance 和那个地理区域是那个另外过程在那个过程出现的 time 的开始时所处的地区的 geographic 次要地区和那个另外过程 causes 那个过程和那个有认知的主事 believes 危险是那个另外过程的 attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	如果过程是过程的 instance 和人类是施事体的 instance 和试验是试验的 instance 和那个人类是个 treated used 在那个试验和那个过程在那个试验的 process 和那个人类经历了另一个过程和那个人类经历了那个过程和那个试验 causes 那个另外过程，然后有存在那个试验ERIMENTER 这样那个试验ERIMENTER 是施事体的 instance 和那个试验ERIMENTER 是在那个试验的 experimenter 和那个试验ERIMENTER believes 那个过程 causes 那个另外过程的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Government.kif 2362-2369	如果有认知的主事是政治压力集团的 instance 和那个有认知的主事的目的是公式和地理区域是 agent 运作在那个有认知的主事地区和那个地理区域是国家的 instance，然后那个有认知的主事 desires 那个地理区域的 Government believes 那个公式
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2443-2457	如果过程是飓风的 instance 和实体是萨菲尔辛普森飓风5 的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 157.0 和那个有认知的主事 believes 那个实数英里每小時 equal 那个客体地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2365-2384	如果过程是飓风的 instance 和时速级数属性是萨菲尔辛普森飓风风力等级的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数测量单位和另一个实数那个测量单位和那个测量单位是测量单位的 instance，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数那个测量单位 equal 那个客体地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10863-10870	如果过程是解读的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient 和那个实体是有内用物体的 instance，然后有存在另一个实体这样那个施事体 believes 那个实体 contains 那个另外实体的资料在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12092-12106	如果过程是判断的 instance 和施事体是那个过程的 agent 和实体是那个过程的 result，然后那个施事体 doesn't believes 那个实体在那个过程出现的 time 的开始 holdsDuring 和那个施事体 believes 那个实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	如果过程是 Misdiagnosing 的 instance 和有认知的主事是那个过程的 agent 和那个过程提到实体和那个实体是人类的 instance，然后有存在那个有认知的主事IS 这样 containsFormula 那个过程 and 那个有认知的主事IS 是那个实体的 attribute 和那个有认知的主事IS 是疾病或综合症的 instance 和那个有认知的主事 believes 那个有认知的主事IS 是那个实体的 attribute 和那个有认知的主事IS 是那个实体的 attribute 是假
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21432-21443	如果过程是 Nausea 的 instance 和有认知的主事经历了那个过程，然后那个有认知的主事 believes 有存在实体这样那个实体是 Vomiting 的 instance 和那个有认知的主事经历了那个实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13142-13148	如果过程是陈述的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient 和那个实体是公式的 instance，然后那个施事体 believes 那个实体在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 922-929	如果过程是说谎的 instance 和施事体是那个过程的 agent 和那个过程MENT 是那个过程的 patient，然后那个施事体 believes 那个过程MENT 是假在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1551-1558	如果过程是 TemperatureFallingExperiencedAsFeelingCold 的 instance 和那个过程是 located 在客体和施事体经历了那个过程，然后那个施事体 believes ColdTemperature 是那个客体的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1569-1576	如果过程是 TemperatureRisingExperiencedAsFeelingWarm 的 instance 和那个过程是 located 在客体和施事体经历了那个过程，然后那个施事体 believes WarmTemperature 是那个客体的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2191-2205	如果过程是龙卷风的 instance 和实体是改良藤田5 的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 200.0 和那个有认知的主事 believes 那个实数英里每小時 equal 在那个过程出现的 time 时间结束以前，发生在区域那个客体的 ThreeSecondGustSpeedFn (3秒阵风风速)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2096-2114	如果过程是龙卷风的 instance 和时速级数属性是改良藤田级数的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数英里每小時和另一个实数英里每小時，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数英里每小時 equal 在那个过程出现的 time 时间结束以前，发生在区域那个客体的 ThreeSecondGustSpeedFn (3秒阵风风速)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15400-15407	如果内容承载物理是有点有内用物体的 instance 和有点有内用物体是事实文本的 subclass 和有认知的主事是那个有点有内用物体的 authors 和那个内容承载物理包含公式的内容和那个公式是公式的 instance，然后那个有认知的主事 believes 那个公式
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15431-15440	如果内容承载物理是有点有内用物体的 instance 和有点有内用物体是虚构的文字的 subclass 和有认知的主事是那个有点有内用物体的 authors，然后有存在公式这样那个内容承载物理包含那个公式的内容和那个公式是公式的 instance 和那个有认知的主事 doesn't believes 那个公式
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 212-218	如果过程是危险的的 instance 和实体是那个过程的 patient 和那个过程在有认知的主事结束，然后那个有认知的主事 believes 危险是那个实体的 attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 484-496	如果过程是风的 instance 和实体是浦氏12风级的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 73.0 和那个有认知的主事 believes 那个实数英里每小時是那个客体的 surface 风速
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	如果过程是风的 instance 和时速级数属性是浦福氏风级属性的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数测量单位和另一个实数那个测量单位和那个测量单位是测量单位的 instance，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数那个测量单位是那个客体的 surface 风速

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: