TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2743-2744
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8536-8537
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1469-1470
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8533-8533	未来函数的 1 数量是时间位置的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8530-8530	未来函数是时间关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8532-8532	未来函数是总值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8531-8531	未来函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8534-8534	未来函数的 range 是时距的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 461-461
No TPTP formula. May not be expressible in strict first order.	english_format.kif 467-467
No TPTP formula. May not be expressible in strict first order.	french_format.kif 267-267
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 115-115
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2057-2057
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 219-219
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 273-273
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 602-602
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 155-155
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 288-288
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 294-294
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 240-240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25304-25304
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 462-462
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25303-25303
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25302-25302
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 241-241

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14054-14057	如果协议有 expiration 时点，然后那个协议不有 ActiveAgreement 的 attribute 在那个时点之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 546-553	如果有点时距是地缘政治区域的 independence 日期和时间位置是有点时距的 instance，然后不存在实体这样那个地缘政治区域是那个实体的 dependent 在那个时间位置之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10244-10259	如果过程是死亡的 instance 和施事体是生物的 instance 和那个施事体经历了那个过程，然后有存在实体和另一个实体这样那个实体是那个过程的 result 和那个实体是有机物体的 instance 和死是那个实体的 attribute 在那个过程出现的 time 之后 holdsDuring 和如果那个另外实体是那个实体的 part 在紧接那个过程出现的 time after holdsDuring，然后那个另外实体是那个施事体的 part 在紧接那个过程出现的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12068-12084	如果过程是决定的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient 和那个实体是集合的 instance 和内容承载物理是那个过程的 result 和那个内容承载物理是内容承载物理的 instance，然后 containsFormula 那个内容承载物理 and 有存在另一个实体这样那个另外实体是那个实体的 element 和那个另外实体是有意图过程的 instance 和那个施事体是那个另外实体的 agent 在那个过程出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	如果金融交易是存款的 instance 和金融账户是金融账户的 instance 和那个金融交易在那个金融账户的 currency 结束和实数测量单位是那个金融交易的 transaction 总额和那个金融账户对于 %3 的 current 帐户存款和另一个实数 equal (第三实数和那个实数)，然后那个金融账户对于 %3 的 current 帐户存款
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	如果转移是注射的 instance 和客体是 Adalimumab 的 instance 和 objectTransferred 那个转移 and 那个客体和那个转移是 located 在另一个客体和那个另外客体是身体部位的 instance 和那个转移在实体结束，然后有存在另一个实体这样 PainFn 那个另外客体是那个实体的 attribute 在那个另外实体 holdsDuring 和那个另外实体在那个转移出现的 time 之后时段内发生的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12327-12333	如果过程是杀害的 instance 和实体是那个过程的 patient，然后活的是那个实体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和死是那个实体的 attribute 在那个过程出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8623-8634	如果客体是 Poison 的 instance 和运动是消化的 instance 和移动那个运动 and 那个客体和施事体经历了那个运动，然后盲是那个施事体的 attribute 在那个运动出现的 time 之后 holdsDuring 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13279-13284	如果过程是命名的 instance 和实体是那个过程的 patient 和那个过程在另一个实体结束，然后那个实体的名是那个另外实体在那个过程出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 153-160	如果过程是 ReachingAgreement 的 instance 和施事体是那个过程的 agent 和实体是那个过程的 result 和那个实体是协议的 instance，然后那个实体是那个施事体的 party 协议在那个过程出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	如果金融交易是退出的 instance 和金融账户是金融账户的 instance 和那个金融账户是那个金融交易的源头和实数测量单位是那个金融交易的 transaction 总额和那个金融账户对于 %3 的 current 帐户存款和另一个实数 equal (第三实数和那个实数)，然后那个金融账户对于 %3 的 current 帐户存款
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22110-22118	如果过程是自杀性爆炸事件的 instance 和有认知的主事是那个过程的 agent，然后那个有认知的主事 believes 死是那个有认知的主事的 attribute 在那个过程出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9696-9708	如果物理是 Antidepressant 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是消化的 instance 和 objectTransferred 那个实体 and 那个物理和那个另外实体是那个物理的 agent 和 Depression 不是那个另外实体的 attribute 在那个实体出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9716-9728	如果物理是 Antipsychotic 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是消化的 instance 和 objectTransferred 那个实体 and 那个物理和那个另外实体是那个物理的 agent 和精神病不是那个另外实体的 attribute 在那个实体出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1046-1059	如果实体是可预防的疾病的 instance，然后有存在另一个实体，第三实体， and 和过程这样那个另外实体是 Vaccine 的 instance 和那个过程是放的 instance 和那个过程在那个第三实体结束和那个第三实体是人类的 instance 和那个实体不是那个第三实体的 attribute 在那个过程出现的 time 之后 holdsDuring 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8543-8545	如果时距是时距的 instance，然后那个时距之后 equal 那个时距的结束和正无穷大间的时段
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8539-8541	如果时距是时距的 instance，然后那个时距接着那个时距之后
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8557-8559	如果时间位置是时距的 instance，然后紧接那个时间位置 after starts了才到那个时间位置之后
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12420-12440	如果物理是 AntiInflammatory 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和那个实体N 这样那个实体是 Inflammation 的 instance 和那个实体经历了那个另外实体和那个实体N 是消化的 instance 和那个实体出现的 time 的开始%n在那个实体N 出现的 time 的开始before发生和不存在那个实体2 这样那个实体2 是 Inflammation 的 instance 和那个另外实体经历了那个实体2 在那个实体出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22100-22108	如果过程是自杀性爆炸事件的 instance，然后有存在施事体这样那个施事体是那个过程的 agent 和死是那个施事体的 attribute 在那个过程出现的 time 之后 holdsDuring

statement

No TPTP formula. May not be expressible in strict first order.	Media.kif 2501-2504	Serbia 是欧洲国家的 instance 和时间位置是 5 day 的 instance 在那个时间位置之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2496-2499	Serbia 是独立国家的 instance 和时间位置是 5 day 的 instance 在那个时间位置之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2506-2509	Serbia 的名是 "Republic of Serbia" 和时间位置是 5 day 的 instance 在那个时间位置之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2528-2531	时间位置是 3 day 的 instance 和 Montenegro 是欧洲国家的 instance 在那个时间位置之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2523-2526	时间位置是 3 day 的 instance 和 Montenegro 是独立国家的 instance 在那个时间位置之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	时间位置是 3 day 的 instance 和 Montenegro 的名是 "Montenegro" 在那个时间位置之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2546-2550	时间位置是 3 day 的 instance 和塞尔维亚和黑山不是独立国家的 instance 在那个时间位置之后 holdsDuring

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

KB Term:			Term intersection

English Word: