TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1882-1886
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2499-2506
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 507-511
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2495-2495	受事的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2496-2496	受事的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2493-2493	受事是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2494-2494	受事是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2497-2497	受事是参与活动的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 167-167
No TPTP formula. May not be expressible in strict first order.	english_format.kif 168-168
No TPTP formula. May not be expressible in strict first order.	french_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 219-219
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1932-1932
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 55-55
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 85-85
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 206-206
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 257-257
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 122-122
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 104-104
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 411-411
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4163-4163	accountUsed 是受事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23427-23427	控制是受事的 subrelation
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1874-1874	数据已处理是受事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16265-16265	被告是受事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Law.kif 281-281	defenseLawyer 是受事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6786-6786	被拘留者是受事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Law.kif 168-168	evidence 是受事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15724-15724	实验控制是受事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2468-2468	工具是受事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12377-12377	objectAttached 是受事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12425-12425	objectDetached 是受事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11331-11331	objectTransferred 是受事的 subrelation

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 26329-26340	过程是 Photocopying 的 instance 和内容承载物理是那个过程的 patient 和那个内容承载物理是 VisualContentBearingObject 的 instance 和那个内容承载物理 contains 命题的资料若且唯若有存在另一个内容承载物理和另一个命题这样那个另外内容承载物理是那个过程的 result 和那个另外内容承载物理是 VisualContentBearingObject 的 instance 和那个另外内容承载物理 contains 那个另外命题的资料和那个命题 equal 那个另外命题
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20760-20767	如果 actedIn 人类 and 内容承载物理和过程是戏剧表演的 instance 和那个人类是那个过程的 patient 和那个内容承载物理是那个过程的 result，然后 Actor 是那个人类的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 487-499	如果施事体是过程的 agent 和客体是那个过程的源头和物理是那个过程的 patient 和那个物理的价值是货币测量，然后有存在金融交易这样那个金融交易%n是那个过程的subProcess 和那个金融交易是付款的 instance 和那个货币测量是那个金融交易的 transaction 总额和那个施事体是那个金融交易的源头和那个金融交易在那个客体结束
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5824-5834	如果疾病或综合症是客体的 attribute 和 diseaseTreatment 那个疾病或综合症 and 有点治疗过程和过程是 TherpeuticProcess 的 instance 和那个疾病或综合症OC 是那个过程的 agent 和那个客体是那个过程的 patient 和医生是那个疾病或综合症OC 的 attribute，然后那个过程是有点治疗过程的 instance 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	如果机构能够担当主事的角色做 ValetParking 和那个机构是有认知的主事的 customer 和那个机构是 located 在客体和过程是到达的 instance 和那个有认知的主事是那个过程的 agent 和实体是那个过程的 patient 和那个过程在那个客体结束，然后有存在人类这样那个人类在那个机构任职 Valet 和有存在另一个实体和第三实体这样那个另外实体是 ValetParking 的 instance 和那个人类是那个另外实体的 agent 和那个实体是那个另外实体的 patient 和那个另外实体在那个第三实体结束和那个第三实体是 ParkingRegion 的 instance 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 549-556	如果实数是在试验 confidence 和那个试验是试验的 instance 和句子是公式的 instance 和那个句子是那个试验的 patient 和那个实数 equal 100，然后那个句子是假
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 540-547	如果实数是在试验 confidence 和那个试验是试验的 instance 和句子是公式的 instance 和那个句子是那个试验的 patient 和那个实数 equal 100，然后那个句子是真正
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 531-537	如果实数是在试验 confidence 和那个试验是试验的 instance 和公式是公式的 instance 和那个公式是那个试验的 patient，然后那个实数表达那个公式的机率
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	如果施事体是有认知的主事的 customer 和那个施事体对货币测量收费在 corkage 为了有点客体和另一个客体是有点客体的 instance 和不存在过程这样那个过程是购买的 instance 和那个另外客体是那个过程的 patient 和那个过程在那个有认知的主事结束和那个施事体是那个过程的源头和另一个过程是饮的 instance 和那个有认知的主事是那个另外过程的 agent 和那个另外客体是那个另外过程的 resource，然后有存在第三过程这样那个第三过程是 Corkage 的 instance 和那个有认知的主事是那个第三过程的 agent 和那个第三过程提到那个另外客体和那个第三过程在那个施事体结束
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	如果 dampingRatio 物理系统 and 实数和那个实数是 greaterThan 0 和时距是震的 instance 和那个物理系统是那个时距的 patient 和实体是 UnitOfLength 的 instance 和 physicalAmplitude 那个时距 and 另一个实数那个实体在那个时距1 holdsDuring 和 physicalAmplitude 那个时距 and 第三实数那个实体在那个时距2 holdsDuring 和那个时距1 在那个时距时段内发生和那个时距2 在那个时距时段内发生和那个时距1 比那个时距2发生的earlier，然后那个另外实数是 greaterThan 那个第三实数
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.	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.	Merge.kif 15515-15532	如果 ?TEXT的第另一个正整数版 equal 有点有内用物体和 ?TEXT的第正整数版 equal 另一个有点有内用物体和那个正整数是 greaterThan 那个另外正整数和过程是出版的 instance 和另一个过程是出版的 instance 和第三实体是有点有内用物体的 instance 和第四实体是另一个有点有内用物体的 instance 和那个第三实体是那个过程的 patient 和那个第四实体是那个另外过程的 patient 和那个过程的 date 是日和那个另外过程的 date 是另一个日，然后那个日的结束%n在那个另外日的结束before发生
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	如果施事体 provides 客体和那个施事体是有认知的主事的 customer 和实体是那个客体的 instance 和那个有认知的主事 desires 有存在另一个实体这样那个另外实体是有意图过程的 instance 和那个实体是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent，然后那个施事体允许那个有认知的主事执行那个有认知的主事 uses 那个实体的任务的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	如果有点物理是 free 对于顾客出租有点 HotelFunctionRoom 和实体是有点 HotelFunctionRoom 的 instance 和那个实体是施事体的财产的 element 和过程是租的 instance 和那个实体是那个过程的 patient 和那个过程在有认知的主事结束和客体是有点物理的 instance 和那个施事体 possesses 那个客体和那个施事体是那个有认知的主事的 customer 和那个客体是过程的 instance 和那个有认知的主事是那个客体的 agent 或那个有认知的主事经历了那个客体或那个施事体 possesses 那个客体和那个客体是客体的 instance 和那个有认知的主事 uses 那个客体，然后那个客体是对于那个施事体的 price 0 美国美元
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.	Hotel.kif 364-378	如果有点物理的使用是对于有点 HotelUnit 免费和有点物理是过程的 subclass 和暂住是有点 HotelUnit 的 instance 和人类 stays 在那个暂住和那个暂住是施事体的财产的 element 和那个人类是过程的 patient 和那个过程是那个有点物理的 instance 或另一个过程是那个有点物理的 instance 和那个过程%n是那个另外过程的subProcess 和那个过程是 located 在那个暂住，然后那个过程是对于那个人类的 price 0.0 美国美元
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.	Law.kif 480-489	如果施事体 desires 死是实体的 attribute 在时距 holdsDuring 和那个施事体URDER 是谋杀的 instance 和那个施事体是那个施事体URDER 的 agent 和那个实体是那个施事体URDER 的 patient 和那个时距比那个施事体URDER 出现的 time发生的earlier，然后 Premeditated 是那个施事体URDER 的 attribute
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 1010-1014	如果过程是审核的 instance 和实体是那个过程的 patient，然后那个实体是教育机构的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	如果过程是 Amputating 的 instance 和实体是那个过程的 patient 和客体是肢的 instance，然后有存在另一个客体和第三客体这样那个另外客体是那个客体的 part 和那个第三客体是那个另外客体的 part 和那个第三客体是骨骼的 instance 和那个另外客体是那个实体的 part 在紧接那个过程出现的 time before holdsDuring 和那个另外客体不是那个实体的 part 在紧接那个过程出现的 time before holdsDuring
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 966-975	如果过程是 Anesthetizing 的 instance 和实体是那个过程的 patient，然后无意识是那个实体的 attribute 和痛不是那个实体的 attribute 在那个过程出现的 time 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 1601-1607	LegalAgent 是实体的 attribute 在时间位置 holdsDuring 若且唯若那个实体能够担当主事的角色做法律诉讼或那个实体能够担当受事的角色做法律诉讼在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20752-20758	如果 actedIn 人类 and 内容承载物理，然后有存在过程这样那个过程是戏剧表演的 instance 和那个人类是那个过程的 patient 和那个内容承载物理是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 193-199	如果 advertisedOn 客体 and WebSite，然后有存在 WebListing 这样那个 WebListing 是广告的 instance 和那个 WebListing 是在那个 WebSite hosted 和那个客体是那个 WebListing 的 patient
No TPTP formula. May not be expressible in strict first order.	Government.kif 706-713	如果有点时间位置是命题的 agreement 采用日期，然后有存在过程和另一个时间位置这样那个过程是承诺的 instance 和那个另外时间位置是有点时间位置的 instance 和那个命题是那个过程的 patient 和那个过程在那个另外时间位置是存在
No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	如果 AppraisalAsJustTreatment 是有认知的主事的 attribute 和那个有认知的主事JT 是 AppraisalProcess 的 instance 和那个有认知的主事是那个有认知的主事JT 的 agent，然后有存在另一个过程和那个有认知的主事2 这样那个另外过程是过程的 instance 和那个有认知的主事JT 提到那个另外过程和那个有认知的主事2 是那个另外过程的 agent 和那个有认知的主事不 equal 那个有认知的主事2 和那个有认知的主事是那个另外过程的 patient 和那个有认知的主事 wants 那个另外过程
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	如果 AppraisalAsUnjustTreatment 是有认知的主事的 attribute 和那个有认知的主事UJ 是 AppraisalProcess 的 instance 和那个有认知的主事是那个有认知的主事UJ 的 agent，然后有存在另一个过程和那个有认知的主事2 这样那个另外过程是过程的 instance 和那个有认知的主事UJ 提到那个另外过程和那个有认知的主事2 是那个另外过程的 agent 和那个有认知的主事不 equal 那个有认知的主事2 和那个有认知的主事是那个另外过程的 patient 和那个有认知的主事 doesn't wants 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Biography.kif 757-776	如果配音演员是施事体的 attribute 和过程是戏剧表演的 instance 和那个施事体是那个过程的 agent 和另一个过程是语言交流的 instance 和那个施事体是那个另外过程的 agent 和那个另外过程%n是那个过程的subProcess，然后不存在第三过程和另一个施事体这样那个第三过程是看的 instance 和那个施事体是那个第三过程的 patient 和那个另外施事体是那个第三过程的 agent 和有存在第四过程和那个另外施事体这样那个第四过程是听的 instance 和那个施事体是那个第四过程的 patient 和那个另外施事体是那个第四过程的 agent
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	如果穆斯林是施事体的 attribute 和属于那个施事体的资产值 equal 货币测量，然后有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是天课的 instance 和那个第四实体是年的 instance 和那个第四实体在那个施事体出现的 time 时段内发生和完全成型是那个施事体的 attribute 在那个第四实体 holdsDuring 和那个施事体是那个实体的 agent 和那个另外实体是那个实体的 patient 和那个另外实体的价值是那个第五实体那个第三实体和那个第三实体是 UnitOfCurrency 的 instance 和那个第五实体是 greaterThan 那个货币测量和 0.025 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Music.kif 408-419	如果 DemoRecording 是客体的 attribute 和那个客体是 Recording 的 instance，然后那个客体的目的是有存在实体，另一个实体， and 和那个客体USIC 这样那个实体是示范的 instance 和那个客体是个那个客体USIC 的 record 和那个客体USIC 是那个实体的 patient 和那个实体在那个另外实体结束和那个另外实体是一群人的 instance
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.	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.	Military.kif 286-297	如果属性是施事体的 attribute 和那个属性是委任军官级别的 instance，然后有存在过程和客体这样那个过程是管理的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个客体是军事组织的 instance 或士兵是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2881-2897	如果 FOK订单是协议的 attribute 和时距是那个协议的 agreement 週期，然后有存在过程和另一个时距这样那个过程是填写订单的 instance 和那个协议是那个过程的 patient 和那个过程出现的 time equal 那个另外时距和那个另外时距 starts了才到那个时距或有存在另一个过程和第三时距这样那个另外过程是取消订单的 instance 和那个协议是那个另外过程的 patient 和那个另外过程出现的 time equal 那个第三时距和那个第三时距 starts了才到那个时距
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	如果 GTC订单是协议的 attribute 和时距是那个协议的 agreement 週期，然后有存在过程和另一个时距这样那个过程是填写订单的 instance 和那个协议是那个过程的 patient 和那个过程出现的 time equal 那个另外时距和那个时距时段和那个另外时距重叠或有存在另一个过程和第三时距这样那个另外过程是取消订单的 instance 和那个协议是那个另外过程的 patient 和那个另外过程出现的 time equal 那个第三时距和那个第三时距 finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2854-2870	如果国际奥委会订单是协议的 attribute 和时距是那个协议的 agreement 週期，然后有存在过程和另一个时距这样那个过程是填写订单的 instance 和那个协议是那个过程的 patient 和那个过程出现的 time equal 那个另外时距和那个另外时距 starts了才到那个时距或有存在另一个过程和第三时距这样那个另外过程是取消订单的 instance 和那个协议是那个另外过程的 patient 和那个另外过程出现的 time equal 那个第三时距和那个第三时距 starts了才到那个时距
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	如果限价订单是金融交易的 attribute 和协议是那个金融交易的 party 协议和经纪人是那个协议的 attribute 和那个金融交易是對於安全的 order 购买和那个安全的 measure 是物理量和实数测量单位是那个金融交易的 limit 价格和那个测量单位是 UnitOfCurrency 的 instance 和施事体为了那个安全 asks 另一个实数那个测量单位和那个另外实数是 lessThanOrEqualTo 那个实数，然后那个协议有义务执行符号串所描述的类别的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	如果限价订单是金融交易的 attribute 和协议是那个金融交易的 party 协议和经纪人是那个协议的 attribute 和那个金融交易是對於安全的 order 出售和那个安全的 measure 是物理量和实数测量单位是那个金融交易的 limit 价格和施事体 bids 另一个实数那个测量单位對於那个安全和那个测量单位是 UnitOfCurrency 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后那个协议有义务执行符号串所描述的类别的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1981-1990	如果市场秩序是金融交易的 attribute 和经纪人是协议的 attribute 和那个协议是那个金融交易的 party 协议和那个金融交易是對於安全的 order 另一个有点金融交易，然后那个协议有义务执行符号串所描述的类别的任务
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1466-1474	如果 DutyFree 是客体的 attribute 和那个客体是产品的 instance，然后不存在过程这样那个过程是关税的 instance 和那个客体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	如果 DutyFree 是客体的 attribute 和那个客体是商店的 instance，然后有存在地缘政治区域，实体,，，另一个有点客体， and 和过程这样那个地缘政治区域是地缘政治区域的 instance 和那个客体是 located 在那个地缘政治区域和另一个有点客体是客体的 subclass 和那个另外有点客体是那个地缘政治区域的 import 商品种类和那个实体是那个另外有点客体的 instance 和那个过程是出售的 instance 和那个实体是那个过程的 patient 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25748-25761	如果 Multilingual 是施事体的 attribute 和过程是说话的 instance 和那个施事体是那个过程的 agent，然后有存在实体和另一个实体这样那个实体是口语人类语言的 instance 和那个另外实体是口语人类语言的 instance 和那个实体不 equal 那个另外实体和那个实体是那个过程的 patient 或那个另外实体是那个过程的 patient 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	如果旅客住宿是施事体的 attribute 和那个施事体能够担当主事的角色做 RoomCleaningService，然后有存在有认知的主事和客体这样那个施事体 employs 那个有认知的主事和女佣是那个有认知的主事的 attribute 和那个客体是 HotelUnit 的 instance 和那个客体是那个施事体的财产的 part 和那个客体能够担当受事的角色做 RoomCleaningService 和那个有认知的主事能够担当服务供应者的角色做 RoomCleaningService
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20601-20623	如果 Waiter 是有认知的主事的 attribute 和那个有认知的主事是人类的 instance 和施事体 employs 那个有认知的主事和那个施事体是餐厅的 instance 和那个施事体是另一个有认知的主事的 customer 和那个另外有认知的主事是 located 在客体和那个客体是表的 instance，然后有存在另一个客体，实体,，，另一个实体， and 和第三客体这样那个施事体 possesses 那个第三客体和那个第三客体是 KitchenArea 的 instance 和那个另外客体是 DiningArea 的 instance 和那个客体是 located 在那个另外客体和那个有认知的主事的目的是那个实体是携带的 instance 和那个有认知的主事是那个实体的 agent 和那个第三客体是那个实体的源头和那个实体在那个客体结束和那个另外实体是那个实体的 patient 和那个另外实体是 food for 人类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	如果实数测量单位是有点純物质的 boiling 点和实体是有点純物质的 instance 和那个实体的 measure 是另一个实数那个测量单位在时距 holdsDuring 和那个测量单位是 UnitOfTemperature 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后加油站是那个实体的 attribute 在那个时距 holdsDuring 或有存在过程这样那个时距时段和那个过程出现的 time 重叠和那个过程是沸腾的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29963-29972	如果有认知的主事 buys 实体从施事体和那个实体是物理的 instance，然后有存在过程这样那个过程是购买的 instance 和那个实体是那个过程的 patient 和那个有认知的主事是那个过程的 agent 和那个施事体是那个过程的源头

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.	WMD.kif 921-929	?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆和 ?AGENT biochemical 病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率
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.	Medicine.kif 4559-4564	有存在过程和实体这样那个过程是传播的 instance 和 Netflix 是那个过程的 agent 和那个实体是那个过程的 patient 和那个实体是动态映像的 instance

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

KB Term:			Term intersection

English Word: