TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1875-1878
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2474-2478
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 499-502
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2471-2471	工具的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2472-2472	工具的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2469-2469	工具是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2470-2470	工具是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2468-2468	工具是受事的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2514-2514	资源和工具是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2515-2515	结果和工具是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 135-135
No TPTP formula. May not be expressible in strict first order.	english_format.kif 136-136
No TPTP formula. May not be expressible in strict first order.	french_format.kif 89-89
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 150-150
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1916-1916
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 41-41
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 163-163
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 189-189
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 108-108
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 88-88
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 304-304
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 199-199	电脑运行是工具的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23532-23532	运输工具是工具的 subrelation
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1709-1709	eCommerceSite 是工具的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8805-8805	试剂是工具的 subrelation
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 531-531	标准错误设备是工具的 subrelation
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 500-500	标准输入设备是工具的 subrelation
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 514-514	标准输出设备是工具的 subrelation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30259-30259
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 136-136

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10685-10696	如果 antagonistMuscles 有点肌肉 and 另一个有点肌肉和过程是 Extension 的 instance 和有点肌肉C 是导致那个过程的 instrument 和移动运动 and 另一个有点肌肉C 和那个有点肌肉C 是那个有点肌肉的 instance 和那个另外有点肌肉C 是那个另外有点肌肉的 instance 和那个有点肌肉C 是第三客体的 part 和那个另外有点肌肉C 是那个第三客体的 part 和那个第三客体是哺乳动物的 instance，然后那个另外有点肌肉C 能够担当工具的角色做 Flexion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	如果 antagonistMuscles 有点肌肉 and 另一个有点肌肉和运动是 Flexion 的 instance 和有点肌肉C 是导致那个运动的 instrument 和移动那个运动 and 另一个有点肌肉C 和那个有点肌肉C 是那个有点肌肉的 instance 和那个另外有点肌肉C 是那个另外有点肌肉的 instance 和那个有点肌肉C 是第三客体的 part 和那个另外有点肌肉C 是那个第三客体的 part 和那个第三客体是哺乳动物的 instance，然后那个另外有点肌肉C 能够担当工具的角色做 Extension
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	如果有点物理的使用是对于有点 HotelUnit 免费和有点物理是客体的 subclass 和暂住是有点 HotelUnit 的 instance 和人类 stays 在那个暂住和那个暂住是施事体的财产的 element 和客体是那个有点物理的 instance 和那个客体是 located 在那个暂住和过程是过程的 instance 和那个人类是那个过程的 agent 和那个客体是那个过程的 patient 或那个客体是导致那个过程的 instrument 或那个客体是那个过程的 resource，然后那个客体是对于那个人类的 price 0 美国美元
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4242-4248	如果客体是锚的 instance 和那个客体TTACH 是连接的 instance 和那个客体是导致那个客体TTACH 的 instrument 和实体是那个客体TTACH 的 patient，然后那个实体是水车的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2763-2777	如果客体是 AntibodyCOVIDTest 的 instance 和那个客体是导致过程的 instrument 和那个过程是测量的 instance 和另一个客体是那个过程的 patient 和第三客体是 COVIDAntibody 的 instance 和那个第三客体是那个另外客体的 part，然后那个另外客体 knows 有存在那个第三客体这样那个第三客体是 COVIDAntibody 的 instance 和那个第三客体是那个另外客体的 part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11108-11118	如果客体是动脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个客体这样那个另外客体是心的 instance 和那个另外客体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11141-11151	如果客体是肺动脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个实体这样那个另外实体是肺的 instance 和那个过程在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	WMD.kif 57-62	如果过程是暴力比赛的 instance 和客体是导致那个过程的 instrument 和那个客体是生化武器的 instance，然后那个过程是生化攻击的 instance
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.	Mid-level-ontology.kif 22018-22025	如果客体是刀片的 instance 和过程是切开的 instance 和另一个客体是客体的 instance 和那个客体是导致那个过程的 instrument 和那个另外客体是那个过程的 patient，然后那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29758-29765	如果过程是遮盖的 instance 和实体是那个过程的 patient 和客体是导致那个过程的 instrument，然后 covers 那个客体 and 那个实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11560-11564	如果过程是咀嚼的 instance 和客体是导致那个过程的 instrument，然后那个客体是齿的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1422-1432	如果客体是 WirelessNetwork 的 instance 和运动是 NetworkCommunication 的 instance 和那个客体是导致那个运动的 instrument 和另一个客体%n是那个运动发生的path，然后有存在第三客体这样那个第三客体是那个另外客体的 part 和那个第三客体不是 Cable 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3498-3506	如果客体是水车的 instance 和过程是运输的 instance 和那个客体是导致那个过程的 instrument，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个过程是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3543-3554	如果银行卡是金融卡的 instance 和施事体 possesses 那个银行卡和过程是金融交易的 instance 和那个银行卡是导致那个过程的 instrument，然后有存在符号串和另一个过程这样那个银行卡是那个符号串的 pin 和那个另外过程是输入PIN码的 instance 和那个符号串是那个另外过程的 patient 和那个施事体是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2766-2773	如果客体是动物动力装置的 instance 和那个客体是导致过程的 instrument，然后有存在另一个客体这样那个另外客体是动物的 instance 和那个另外客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	WMD.kif 180-185	如果过程是损坏的 instance 和客体是导致那个过程的 instrument 和那个客体是生物活性物质的 instance，然后那个客体是毒素的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2546-2554	如果客体是电器的 instance 和过程是过程的 instance 和那个客体是导致那个过程的 instrument，然后有存在另一个客体这样那个另外客体是电力的 instance 和那个另外客体是那个过程的 resource
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	如果客体是绝对过滤器的 instance 和过程是移除的 instance 和另一个客体是那个过程的源头和那个另外客体是混合气体的 instance 和第三客体是那个过程的 patient 和固体是那个第三客体的 attribute 和那个客体是导致那个过程的 instrument，然后那个第三客体不是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	如果客体是 FuelPump 的 instance 和另一个客体是汽车的 instance 和那个客体是那个另外客体的 part 和运动是运输的 instance 和过程是汽油的 instance 和那个过程是那个运动的 patient 和那个客体是导致那个过程的 instrument 和第三客体是 GasTank 的 instance 和那个第三客体是那个另外客体的 part 和第四客体是 EngineCylinder 的 instance 和那个第四客体是那个另外客体的 part 和那个第三客体是那个运动的源头和那个运动在那个第四客体结束和第五客体%n是那个运动发生的path，然后那个运动的目的是有存在那个过程F 这样那个过程F 是 FuelFilter 的 instance 和那个第三客体對於那个第四客体 between 在路徑那个过程F
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	如果客体是 FuelPump 的 instance 和另一个客体是汽车的 instance 和那个客体是那个另外客体的 part 和过程是运输的 instance 和另一个过程是汽油的 instance 和那个另外过程是那个过程的 patient 和那个客体是导致那个另外过程的 instrument，然后那个客体的目的是有存在实体和另一个实体这样那个实体是 GasTank 的 instance 和那个实体是那个另外客体的 part 和那个另外实体是 EngineCylinder 的 instance 和那个另外实体是那个另外客体的 part 和那个实体是那个过程的源头和那个过程在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1235-1247	如果客体是枪的 instance 和另一个客体是枪管的 instance 和那个另外客体是那个客体的 part 和过程是射击的 instance 和那个客体是导致那个过程的 instrument 和实体是那个过程的 patient 和那个实体是抛射物的 instance，然后有存在那个过程UB 这样那个过程UB%n是那个过程的subProcess 和那个另外客体%n是那个过程UB发生的path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17051-17063	如果客体是游戏目标的 instance 和那个客体是导致过程的 instrument 和那个过程是游戏的 instance 和另一个过程%n是那个过程的subProcess 和那个另外过程是得分的 instance，然后有存在另一个实体和时间位置这样那个另外实体是游戏片的 instance 和那个另外实体是那个另外过程的 patient 和那个时间位置时段是那个另外过程出现的 time 时段的一 part 和那个另外实体是 located 在那个客体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4287-4299	如果客体是卷轴的 instance 和过程是保存的 instance 和另一个客体是躯体性物体的 instance 和又长又瘦是那个另外客体的 attribute 和易弯的是那个另外客体的 attribute 和那个客体是导致那个过程的 instrument 和那个另外客体是那个过程的 patient，然后有存在第三客体这样那个第三客体是那个另外客体的 part 和那个第三客体接上那个客体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4301-4314	如果客体是卷轴的 instance 和过程是保存的 instance 和另一个客体是躯体性物体的 instance 和又长又瘦是那个另外客体的 attribute 和易弯的是那个另外客体的 attribute 和那个客体是导致那个过程的 instrument 和那个另外客体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是旋转的 instance 和那个客体是那个另外过程的 patient 和那个另外过程%n是那个过程的subProcess

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.	Mid-level-ontology.kif 10685-10696	如果 antagonistMuscles 有点肌肉 and 另一个有点肌肉和过程是 Extension 的 instance 和有点肌肉C 是导致那个过程的 instrument 和移动运动 and 另一个有点肌肉C 和那个有点肌肉C 是那个有点肌肉的 instance 和那个另外有点肌肉C 是那个另外有点肌肉的 instance 和那个有点肌肉C 是第三客体的 part 和那个另外有点肌肉C 是那个第三客体的 part 和那个第三客体是哺乳动物的 instance，然后那个另外有点肌肉C 能够担当工具的角色做 Flexion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	如果 antagonistMuscles 有点肌肉 and 另一个有点肌肉和运动是 Flexion 的 instance 和有点肌肉C 是导致那个运动的 instrument 和移动那个运动 and 另一个有点肌肉C 和那个有点肌肉C 是那个有点肌肉的 instance 和那个另外有点肌肉C 是那个另外有点肌肉的 instance 和那个有点肌肉C 是第三客体的 part 和那个另外有点肌肉C 是那个第三客体的 part 和那个第三客体是哺乳动物的 instance，然后那个另外有点肌肉C 能够担当工具的角色做 Extension
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12537-12547	如果属性是客体的 attribute 和那个属性是指纹的 instance 和那个客体不是手指的 instance，然后有存在那个属性R 和另一个客体这样那个另外客体是导致那个属性R 的 instrument 和那个另外客体是手指的 instance 和那个属性是那个另外客体的 attribute 和那个客体是那个属性R 的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	如果 WheelchairAccessible 是客体的 attribute 和那个客体是建筑物的 instance 或那个客体是房间的 instance，然后有存在实体和另一个实体这样那个实体是运动的 instance 和那个另外实体是导致那个实体的 instrument 和那个另外实体是 Wheelchair 的 instance 和那个实体是 located 在那个客体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	如果施事体是有认知的主事的 customer 和那个施事体有有点物理和有点物理是客体的 subclass 和实体是那个有点物理的 instance，然后那个施事体允许那个有认知的主事执行有存在另一个实体这样那个另外实体是过程的 instance 和那个实体是那个另外实体的 resource 或那个实体是导致那个另外实体的 instrument 或那个实体是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent 或那个有认知的主事经历了那个另外实体的任务
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.	Hotel.kif 1347-1358	如果工程组件是互联网的 component 和另一个工程组件是互联网的 component 和那个工程组件不 equal 那个另外工程组件，然后互联网的目的是有存在实体这样那个实体是沟通的 instance 和那个工程组件是那个实体的 agent 和那个实体在那个另外工程组件结束和互联网是导致那个实体的 instrument
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.	Hotel.kif 811-832	如果有点物理的使用对于有点 HotelFunctionRoom 是免费和实体是有点 HotelFunctionRoom 的 instance 和那个实体是施事体的财产的 element 和过程是租的 instance 和那个实体是那个过程的 patient 和那个施事体是那个过程的 agent 和那个过程在另一个实体结束和有点物理是客体的 subclass，然后有存在第三实体和第四实体这样那个第三实体是那个有点物理的 instance 和那个第四实体是过程的 instance 和那个第三实体是那个第四实体的 resource 或那个第三实体是导致那个第四实体的 instrument 或那个第三实体是那个第四实体的 patient 和那个另外实体是那个第四实体的 agent 或那个另外实体经历了那个第四实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	如果人类是在施事体的 guest 和那个人类 stays 在暂住和那个暂住是那个施事体的财产的 element 和那个暂住是那个暂住OOM 的 instance 和有点物理是 amenity 在那个暂住OOM 和有点物理是客体的 subclass，然后有存在另一个物理这样那个另外物理是那个有点物理的 instance 和那个另外物理是 located 在那个暂住和那个施事体允许那个人类执行有存在实体这样那个人类是那个实体的 agent 和那个另外物理是导致那个实体的 instrument 或那个另外物理是那个实体的 patient 或那个另外物理是那个实体的 resource 的任务
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	如果客体是盔甲的 instance 和那个客体是另一个客体的 part 或那个客体接上那个另外客体，然后那个客体的目的是有存在实体这样那个实体是维护的 instance 和那个客体是导致那个实体的 instrument 和那个另外客体经历了那个实体
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	如果客体是盔甲的 instance 和那个客体是另一个客体的 part 或那个客体接上那个另外客体，然后那个客体的目的是不存在实体这样那个实体是损坏的 instance 和那个客体是导致那个实体的 instrument 和那个另外客体经历了那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4411-4425	如果施事体是 Biped 的 instance 和过程是走动的 instance 和那个施事体是那个过程的 agent，然后有存在实体和另一个实体这样那个实体是腿的 instance 和那个另外实体是腿的 instance 和那个实体是那个施事体的 part 和那个另外实体是那个施事体的 part 和那个实体是导致那个过程的 instrument 和那个另外实体是导致那个过程的 instrument 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2200-2216	如果过程是 AutoImmuneDisorder 的 instance 和有认知的主事经历了那个过程，然后有存在客体，另一个过程， and 和另一个客体这样那个客体是抗体的 instance 和那个客体是那个有认知的主事的 part 和那个另外客体是细胞的 instance 和那个另外客体是那个有认知的主事的 part 和那个另外过程是摧毁的 instance 和那个客体是导致那个另外过程的 instrument 和那个有认知的主事 doesn't desires 那个另外过程是摧毁的 instance 和那个客体是导致那个另外过程的 instrument
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1129-1142	如果金融账户是支票账户的 instance 和过程是金融交易的 instance 和那个金融账户的 currency 是那个过程的源头，然后有存在客体这样那个客体是校验的 instance 和那个客体是导致那个过程的 instrument 或有存在另一个客体这样那个另外客体是金融卡的 instance 和那个另外客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1239-1247	如果金融账户是信用卡帐户的 instance 和过程是金融交易的 instance 和那个金融账户的 currency 是那个过程的源头，然后有存在客体这样那个客体是信用卡的 instance 和那个客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3416-3426	如果客体是车辆制动器的 instance 和另一个客体是车辆的 instance 和那个客体是那个另外客体的 part，然后那个客体的目的是有存在实体这样那个实体是运动的 stop 的 instance 和那个另外客体是那个实体的 patient 和那个客体是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6515-6523	如果过程是尖刻的 instance 和施事体是那个过程的 agent，然后有存在客体这样那个客体是口的 instance 和那个客体是那个施事体的 part 和那个客体是导致那个过程的 instrument
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.	Mid-level-ontology.kif 4391-4399	如果过程是 Crawling 的 instance 和施事体是那个过程的 agent，然后有存在那个施事体RM 这样那个施事体RM 是臂的 instance 和那个施事体RM 是那个施事体的 part 和那个施事体RM 是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2766-2773	如果客体是动物动力装置的 instance 和那个客体是导致过程的 instrument，然后有存在另一个客体这样那个另外客体是动物的 instance 和那个另外客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 420-431	如果过程是调味料的 instance 和物理是 oqal 的 instance 和实体是帽子的 instance 和那个物理是那个过程的 patient 和那个实体是那个过程的 patient，然后那个物理的目的是有存在另一个实体这样那个另外实体是连接的 instance 和那个物理是导致那个另外实体的 instrument
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 601-609	如果过程是精确破坏的 instance 和施事体是那个过程的 agent，然后有存在客体这样那个施事体 possesses 那个客体和那个客体是导致那个过程的 instrument 和那个客体是高精度武器的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 690-700	如果过程是数据保存的 instance 和客体是那个过程的 resource 和那个客体是 ElectronicDataStorageDevice 的 instance，然后有存在另一个客体这样那个另外客体是电器的 instance 和那个另外客体是导致那个过程的 instrument 和那个客体和那个另外客体是 connected 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1636-1643	如果客体是 Eardrum 的 instance 和那个客体是施事体的 part 和那个施事体经历了那个施事体EAR 和 Healthy 是那个施事体的 attribute 和那个施事体EAR 是听的 instance，然后那个客体是导致那个施事体EAR 的 instrument

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18202-18219	有存在 ?X， ?CUT,，， ?PAPER,，， ?CBO， and 和 ?INFO 这样 ?X 是 PaperShredder 的 instance 和 ?CUT 是切开的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是纸的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料减少有存在 ?READ 这样 ?READ 是解读的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现的 time 比?READ 出现的 time发生的earlier 发生的机率
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3309-3315	IBookstore 的目的是有存在 ?D 这样 ?D 是下載的 instance 和 iBookstore 是导致 ?D 的 instrument 和 ?T 是文本的 instance 和 objectTransferred ?D and ?T

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

KB Term:			Term intersection

English Word: