TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2065-2067
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3783-3785
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 711-713
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3778-3778	引起的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3779-3779	引起的 2 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3777-3777	引起是非对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3776-3776	引起是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3780-3780	引起和导致子类是内部相关

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 71-71
No TPTP formula. May not be expressible in strict first order.	english_format.kif 71-71
No TPTP formula. May not be expressible in strict first order.	french_format.kif 60-60
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 42-42
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1884-1884
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 12-12
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 76-76
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 114-114
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 77-77
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 84-84
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 79-79
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 59-59
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 100-100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13500-13500
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 72-72
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13499-13499
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13498-13498
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 20-20
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 101-101

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1818-1828	过程是退出的 instance 和金融账户是金融账户的 instance 和那个金融账户的 currency 是那个过程的源头和不存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个金融账户的 currency 结束和那个过程 causes 那个另外过程若且唯若那个金融账户的 liqudity 是高流动性
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3331-3341	如果人类是对于 %3 赚的 income 和实数测量单位是在收费的 amount charged 和机构性过程 causes 那个收费和另一个实数 equal (第三实数和那个实数)，然后从那个机构性过程由那个人类引申的 after tax income 是那个另外实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2440-2445	如果过程是由施事体中止的军事行动任务的 instance 和那个施事体CTION causes 那个过程和实体_A 是那个施事体CTION 的 agent 和另一个实体_A 是那个军事行动的 agent，然后 enemy 那个实体_A and 那个另外实体_A
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3516-3523	如果过程是交易授权的 instance 和另一个过程是金融交易的 instance 和客体是银行卡的 instance 和那个客体是导致那个另外过程的 instrument 和那个过程 causes 那个另外过程，然后那个客体是有效卡的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	如果过程是流血的的 instance 和实体是死亡的 instance 和公式是人类的 instance 和施事体是人类的 instance 和那个施事体经历了那个过程和那个公式在那个施事体的近和那个过程 causes 那个实体的声明 has 容易的语气，然后有存在另一个实体这样那个另外实体是连接的 instance 和那个公式是那个另外实体的 agent 和那个另外实体在那个施事体结束有义务执行那个公式的任务
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2196-2203	如果过程是 CheckInService 的 instance 和那个过程 causes 另一个过程和物理是 CheckOutService 的 instance，然后那个物理出现的 time finishes了才到那个另外过程出现的 time
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	如果过程是运动的 instance 和另一个过程是震的 instance 和客体是 Damper 的 instance 和另一个客体是那个另外过程的 patient 和那个客体是那个另外客体的 part 和那个过程 causes 那个另外过程和实体是 UnitOfLength 的 instance 和 physicalAmplitude 那个另外过程 and 实数那个实体在那个过程出现的 time holdsDuring 和 physicalAmplitude 那个另外过程 and 另一个实数那个实体在紧接那个过程 after holdsDuring，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4927-4942	如果实体是 Ratchet 的 instance 和另一个实体是附着装置的 instance 和那个实体O1 是旋转的 instance 和属性是那个实体O1 的 attribute 和那个实体O2 是旋转的 instance 和另一个属性是那个实体O2 的 attribute 和那个属性是 RotationalAttribute 的 instance 和那个另外属性是 RotationalAttribute 的 instance 和那个实体O1 不 equal 那个实体O2 和那个实体O1 causes 那个实体O2 和 Ratchet 是那个实体O1 的 patient 和那个另外实体是那个实体O2 的 patient，然后那个属性 equal 那个另外属性
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2114-2133	如果实体是轴的 instance 和另一个实体是轴的 instance 和那个实体不 equal 那个另外实体和工程组件是旋转的 instance 和那个实体是那个工程组件的 patient 和另一个工程组件是旋转的 instance 和那个另外实体是那个另外工程组件的 patient 和那个工程组件 causes 那个另外工程组件和第三工程组件是 CVJoint 的 instance 和那个工程组件是和那个第三工程组件 connected 和那个另外工程组件是和那个第三工程组件 connected 和那个实体 equal RotationFn 第三实体 and 第四实体在那个工程组件出现的 time holdsDuring，然后那个另外实体 equal RotationFn 那个第三实体 and 那个第四实体在那个另外工程组件出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3795-3797	如果过程 causes 另一个过程，然后那个过程出现的 time 比那个另外过程出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3787-3789	如果过程 causes 另一个过程，然后那个另外过程是那个过程的 related 事件

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30296-30310	过程是以 Harmless 的形式发生若且唯若那个过程不是损坏的 instance 和不存在那个过程2 这样那个过程2 是损坏的 instance 和那个过程2%n是那个过程的subProcess 和不存在那个过程2 这样那个过程2 是损坏的 instance 和那个过程 causes 那个过程2
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	如果施事体 employs 有认知的主事和过程是 DoNetworkMessaging 的 instance 和客体是那个过程的 result 和 NSFW 是那个客体的 attribute 和另一个过程是看的 instance 和那个客体是那个另外过程的 patient 和那个有认知的主事是那个另外过程的 agent，然后有存在实体这样那个另外过程 causes 那个实体和那个有认知的主事 suffers 从那个实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	如果施事体 employs 有认知的主事和那个施事体 employs 另一个有认知的主事和过程是 DoNetworkMessaging 的 instance 和客体是那个过程的 result 和 NSFW 是那个客体的 attribute 和那个有认知的主事是那个过程的 agent 和另一个过程是看的 instance 和那个客体是那个另外过程的 patient 和那个另外有认知的主事是那个另外过程的 agent，然后有存在那个有认知的主事ROC 这样那个过程 causes 那个有认知的主事ROC 和那个有认知的主事 suffers 从那个有认知的主事ROC 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1923-1939	如果 ennervates 有点 Nerve and 有点肌肉和客体是有点 Nerve 的 instance 和另一个客体是有点肌肉的 instance 和那个客体是第三客体的 part 和那个另外客体是那个第三客体的 part 和 Healthy 是那个第三客体的 attribute 和那个第三客体是人类的 instance，然后那个客体的目的是有存在那个客体F 和另一个实体这样那个客体F 是 NerveFiring 的 instance 和那个客体是导致那个客体F 的 instrument 和那个有点肌肉是 MuscleContraction 的 instance 和那个另外客体是导致那个另外客体V 的 instrument 和那个客体F causes 那个有点肌肉
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 1545-1555	如果过程是 Anaphylaxis 的 instance 和施事体经历了那个过程，然后有存在实体这样那个实体是死亡的 instance 和那个施事体经历了那个实体和那个过程 causes 那个实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2230-2239	如果过程是 RheumatoidArthritis 的 instance 和施事体经历了那个过程，然后有存在实体这样那个实体是 JointPain 的 instance 和那个过程 causes 那个实体的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	如果自身连接物体是 AutomobileShock 的 instance 和过程是 Compressing 的 instance 和洞是洞的 instance 和流体是客体的 attribute 和那个自身连接物体 equal 洞那个洞的主体和那个自身连接物体 contains 那个客体和那个自身连接物体是那个过程的 patient，然后有存在转移这样那个转移是转移的 instance 和 objectTransferred 那个转移 and 那个客体和那个洞%n是那个转移发生的path 和那个过程 causes 那个转移
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1115-1124	如果金融账户是传统储蓄账户的 instance 和过程是退出的 instance 和那个金融账户的 currency 是那个过程的源头，然后不存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个金融账户的 currency 结束和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Music.kif 1256-1264	如果实体是钟的 instance 和过程是碰撞的 instance 和那个过程在那个实体结束，然后有存在另一个过程这样那个另外过程是音调的 instance 和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	如果客体是 BrakePedal 的 instance 和过程是 Pushing 的 instance 和另一个客体是车辆的 instance 和那个过程在那个客体结束和那个过程是 located 在那个另外客体和那个客体是那个另外客体的 part，然后那个客体的目的是有存在实体和另一个实体这样那个实体是 WearingFrictionSurface 的 instance 和那个另外实体是摩擦的 instance 和那个实体是导致那个另外实体的 instrument 和那个过程 causes 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1838-1856	如果客体是 Clutch 的 instance 和另一个客体是汽车的 instance 和第三客体是发动机的 instance 和第四客体是变速器的 instance 和那个第四客体EAR 是齿轮的 instance 和那个第四客体EAR 是那个第四客体的 part 和那个第四客体是那个另外客体的 part 和那个客体是那个另外客体的 part 和那个第三客体是那个另外客体的 part 和过程是运动的 instance 和那个第三客体是那个过程的 patient 和设备关闭是那个客体的 attribute，然后有存在那个过程2 这样那个过程2 是运动的 instance 和那个第四客体是那个过程2 的 patient 和那个过程 causes 那个过程2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1817-1836	如果客体是 Clutch 的 instance 和另一个客体是汽车的 instance 和第三客体是发动机的 instance 和第四客体是变速器的 instance 和那个第四客体EAR 是齿轮的 instance 和那个第四客体EAR 是那个第四客体的 part 和那个第四客体是那个另外客体的 part 和那个客体是那个另外客体的 part 和那个第三客体是那个另外客体的 part 和过程是运动的 instance 和那个第三客体是那个过程的 patient 和设备上是那个客体的 attribute，然后不存在那个过程2 这样那个过程2 是运动的 instance 和那个第四客体是那个过程2 的 patient 和那个过程 causes 那个过程2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	如果客体是 Crankshaft 的 instance 和另一个客体是 IntermittentCombustionEngine 的 instance 和那个另外客体是那个客体的 part，然后那个客体的目的是有存在实体和另一个实体这样那个实体是爆炸的 instance 和那个另外实体是旋转的 instance 和那个客体是那个另外实体的 patient 和那个另外实体是 located 在那个另外客体和那个实体 causes 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Food.kif 980-992	如果过程是 Crushing 的 instance 和实体是那个过程的 patient 和那个实体是客体的 instance，然后有存在另一个过程和第三过程这样那个另外过程是 Breaking 的 instance 和那个过程 causes 那个另外过程和那个另外过程%n是那个第三过程的subProcess 和那个第三过程是形状变化的 instance 和那个实体是那个另外过程的 patient 和那个实体是那个第三过程的 patient
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.	emotion.kif 2000-2008	如果过程是 DisgustedVoiceUtterance 的 instance 和施事体是那个过程的 agent，然后有存在另一个过程这样那个另外过程是 Disgust 的 instance 和那个施事体经历了那个另外过程和那个另外过程 causes 那个过程
No TPTP formula. May not be expressible in strict first order.	emotion.kif 119-127	如果过程是 EmotionalBehavioralProcess 的 instance 和施事体是那个过程的 agent，然后有存在那个施事体PP 这样那个施事体PP 是 AppraisalProcess 的 instance 和那个施事体是那个施事体PP 的 agent 和那个施事体PP causes 那个过程
No TPTP formula. May not be expressible in strict first order.	emotion.kif 129-137	如果过程是 EmotionalBehavioralProcess 的 instance 和施事体是那个过程的 agent，然后有存在另一个过程这样那个另外过程是表情的 instance 和那个施事体是那个另外过程的 agent 和那个过程 causes 那个另外过程
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.	Cars.kif 2730-2744	如果客体是 FanBelt 的 instance 和另一个客体是 EngineFan 的 instance 和第三客体是汽车的 instance 和那个客体是那个第三客体的 part 和那个另外客体是那个第三客体的 part 和过程是运动的 instance 和那个客体是那个过程的 patient，然后那个客体的目的是有存在那个过程2 这样那个过程2 是旋转的 instance 和那个过程 causes 那个过程2 和那个另外客体是那个过程2 的 patient
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2065-2073	如果过程是 FearfulVoiceUtterance 的 instance 和施事体是那个过程的 agent，然后有存在另一个过程这样那个另外过程是 Fear 的 instance 和那个施事体经历了那个另外过程和那个另外过程 causes 那个过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6429-6439	如果过程是 Hallucination 的 instance 和施事体经历了那个过程，然后有存在那个施事体ER 和那个施事体ROP 这样那个施事体ER 是感知的 instance 和那个施事体经历了那个施事体ER 和那个过程 causes 那个施事体ER 和那个施事体ER contains 那个施事体ROP 的资料和那个施事体ROP 是假

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: