origin - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1879-1881
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2486-2491
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 503-506
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2482-2482	源头的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2483-2483	源头的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2480-2480	源头是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2481-2481	源头是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2484-2484	源头是参与活动的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 159-159
No TPTP formula. May not be expressible in strict first order.	english_format.kif 160-160
No TPTP formula. May not be expressible in strict first order.	french_format.kif 99-99
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 205-205
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1928-1928
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 51-51
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 84-84
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 194-194
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 243-243
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 118-118
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 99-99
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 392-392
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 160-160
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42588-42588
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42587-42587
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42586-42586
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 60-60
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 393-393

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 487-499	如果施事体是过程的 agent 和客体是那个过程的源头和物理是那个过程的 patient 和那个物理的价值是货币测量，然后有存在金融交易这样那个金融交易%n是那个过程的subProcess 和那个金融交易是付款的 instance 和那个货币测量是那个金融交易的 transaction 总额和那个施事体是那个金融交易的源头和那个金融交易在那个客体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29779-29788	如果客体對於另一个客体 between 在路徑第三客体和转移是转移的 instance 和第四客体%n是那个转移发生的path 和那个客体是那个转移的源头和那个转移在那个另外客体结束，然后 beforeOnPath 那个客体, 那个第三客体, 那个第四客体 and 那个转移和 beforeOnPath 那个第三客体, 那个另外客体, 那个第四客体 and 那个转移
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.	UXExperimentalTerms.kif 3759-3784	如果 AccessingWebPage 是 AccessingWebPage 的 instance 和实体是 WebPage 的 instance 和过程是数据传输的 instance 和客体是服务器的 instance 和另一个过程是要求的 instance 和施事体是 WebBrowser 的 instance 和时距是时距的 instance 和那个实体是那个 AccessingWebPage 的 patient 和那个施事体是那个另外过程的 agent 和那个另外过程在那个客体结束和那个实体是那个另外过程的 patient 和那个客体是那个过程的源头和那个过程在那个施事体结束和那个实体是那个过程的 patient 和那个过程%n是那个 AccessingWebPage的subProcess 和那个另外过程%n是那个 AccessingWebPage的subProcess 和那个另外过程出现的 time 的结束 equal 那个时距的开始和那个过程出现的 time 的结束 equal 那个时距的结束，然后 access 的时间在那个 AccessingWebPage equal 那个时距
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.	FinancialOntology.kif 1033-1041	如果金融账户是储蓄账户的 instance 和过程是金融交易的 instance 和那个金融账户的 currency 是那个过程的源头，然后有存在另一个过程这样那个另外过程是交易授权的 instance 和那个另外过程%n是那个过程的subProcess
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.	Mid-level-ontology.kif 24019-24028	如果过程是出生的 instance 和客体是那个过程的源头，然后有存在实体和时距这样那个实体是 Zygote 的 instance 和那个时距比那个过程出现的 time发生的earlier 和那个实体是 located 在那个客体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	如果过程是购买的 instance 和实体是那个过程的 patient 和有认知的主事是那个过程的源头和另一个有点实体的 price 从那个有认知的主事根据 PricingScheme 是货币测量或 unit price 已收费那个有认知的主事在那个 PricingScheme 底下对于函数量是另一个有点实体和那个另外有点实体是物理的 subclass 和那个实体是那个另外有点实体的 immediateInstance 和有点付款是 valid payment 在那个 PricingScheme 底下，然后有存在有点付款MENT 这样那个有点付款MENT 是那个有点付款的 instance 和那个有点付款MENT%n是那个过程的subProcess 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11731-11742	如果过程是借入的 instance 和施事体是那个过程的 agent 和另一个施事体是那个过程的源头和实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是借出的 instance 和那个另外施事体是那个另外过程的 agent 和那个另外过程在那个施事体结束和那个实体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11905-11916	如果过程是购买的 instance 和施事体是那个过程的 agent 和另一个施事体是那个过程的源头和实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是出售的 instance 和那个另外施事体是那个另外过程的 agent 和那个另外过程在那个施事体结束和那个实体是那个另外过程的 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.	Merge.kif 11656-11666	如果过程是改变所有权的 instance 和客体是那个过程的源头和那个过程在实体结束和那个客体是施事体的 instance 和那个实体是施事体的 instance 和另一个实体是那个过程的 patient，然后那个客体 possesses 那个另外实体在那个过程出现的 time 的开始 holdsDuring 和那个实体 possesses 那个另外实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Dining.kif 564-569	如果过程是 DeliveryService 的 instance 和客体是那个过程的源头和那个过程在实体结束，然后那个客体不 equal 那个实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11587-11592	如果过程是落下的 instance 和客体是那个过程的源头和那个过程在另一个客体结束，然后那个另外客体在那个客体的下面
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1717-1733	如果躯体性物体是 Exhaust 的 instance 和汽油是那个躯体性物体的材料和转移是转移的 instance 和那个躯体性物体NG 是发动机的 instance 和那个躯体性物体NG 是那个转移的源头和物理是 CatalyticConverter 的 instance 和那个转移在那个物理结束和 objectTransferred 那个转移 and 那个躯体性物体，然后那个物理的目的是有存在实体这样那个实体是燃烧的 instance 和那个物理是导致那个实体的 instrument 和那个躯体性物体是那个实体的 patient 和那个实体是 located 在那个物理
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	如果过程是疏散的 instance 和机构是那个过程的 agent 和客体是那个过程的源头，然后有存在另一个过程和那个另外过程A 这样那个另外过程是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个客体是那个另外过程的源头和那个另外过程A 经历了那个另外过程或那个另外过程A 是那个另外过程的 agent 和那个另外过程A 是那个机构 Organization 的一部分或那个另外过程A 是那个机构的 member 或那个另外过程A equal 那个机构
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	如果过程是疏散的 instance 和客体是那个过程的源头和机构是那个过程的 agent，然后有存在另一个过程和那个另外过程A 这样那个另外过程是维护的 instance 和那个另外过程是 located 在那个客体和那个另外过程%n是那个过程的subProcess 和那个另外过程A 是那个机构 Organization 的一部分或那个另外过程A 是那个机构的 member 或那个另外过程A equal 那个机构和那个另外过程A 是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	如果过程是疏散的 instance 和客体是那个过程的源头和机构是那个过程的 agent，然后有存在另一个过程和那个另外过程A 这样那个另外过程是运输的 instance 和那个另外过程在那个客体结束和那个另外过程A 是那个机构 Organization 的一部分或那个另外过程A 是那个机构的 member 或那个另外过程A equal 那个机构和那个另外过程A 是那个另外过程的 agent 或那个另外过程A 是那个另外过程的 patient
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.	MilitaryProcesses.kif 2501-2511	如果过程是疏散的 instance 和客体是那个过程的源头和那个过程在实体结束，然后有存在另一个过程这样那个另外过程是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个另外过程在那个实体结束和那个客体是那个另外过程的源头
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2412-2419	如果过程是出口的 instance 和实体是那个过程的 patient 和客体是地缘政治区域的 instance 和那个客体是那个过程的源头，然后那个实体是 located 在那个客体在那个过程出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2468-2476	如果过程是出口的 instance 和实体是那个过程的 patient 和客体是地缘政治区域的 instance 和那个客体是那个过程的源头和另一个实体是地缘政治区域的 instance 和那个过程在那个另外实体结束，然后那个客体不 equal 那个另外实体

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.	FinancialOntology.kif 487-499	如果施事体是过程的 agent 和客体是那个过程的源头和物理是那个过程的 patient 和那个物理的价值是货币测量，然后有存在金融交易这样那个金融交易%n是那个过程的subProcess 和那个金融交易是付款的 instance 和那个货币测量是那个金融交易的 transaction 总额和那个施事体是那个金融交易的源头和那个金融交易在那个客体结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	如果金融账户对于时间位置到期的 amount 货币测量和有认知的主事持有 account 那个金融账户，然后那个有认知的主事有义务执行符号串所描述的类别的任务
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.	FinancialOntology.kif 1261-1271	如果贷款是有认知的主事的 borrower 和另一个有认知的主事 lends 那个贷款和时距是那个贷款的 agreement 週期和那个贷款是对于 %3 的赚取 interest ，然后有存在金融交易这样那个有认知的主事是那个金融交易的源头和利益是那个金融交易的 transaction 总额和那个金融交易在那个另外有认知的主事结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29963-29972	如果有认知的主事 buys 实体从施事体和那个实体是物理的 instance，然后有存在过程这样那个过程是购买的 instance 和那个实体是那个过程的 patient 和那个有认知的主事是那个过程的 agent 和那个施事体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29974-29984	如果有认知的主事 buys 命题从施事体和那个命题是命题的 instance，然后有存在过程和另一个过程这样那个有认知的主事是那个过程的 agent 和那个另外过程表示那个命题的内容和那个过程是购买的 instance 和那个另外过程是那个过程的 patient 和那个施事体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3552-3557	如果 connectedPeripheral 电脑硬件 and 电脑和那个电脑硬件是电脑输入设备的 instance 和那个电脑硬件是那个电脑LASS 的 instance，然后数据传输能够担当源头的角色做那个电脑LASS
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	如果施事体是有认知的主事的 customer 和那个施事体 employs 另一个有认知的主事和旅客住宿是那个施事体的 attribute 和 Porter 是那个另外有认知的主事的 attribute 和那个有认知的主事 possesses 客体和那个客体是旅行集装箱的 instance，然后有存在另一个客体和过程这样那个另外客体是 HotelUnit 的 instance 和那个过程是携带的 instance 和那个另外有认知的主事是那个过程的 agent 和那个过程在那个另外客体结束或那个另外客体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	如果被驱逐是实体的 attribute 和那个实体是另一个实体-NATION 的 citizen 在时间位置 holdsDuring 和那个时间位置是时距的 instance，然后有存在过程和客体这样那个客体是国家的 instance 和那个客体不 equal 那个另外实体-NATION 和那个过程是易位的 instance 和那个客体是那个过程的源头和那个实体是那个过程的 patient 和那个过程在那个另外实体-NATION 结束和那个时间位置时段是那个过程出现的 time 时段的一 part
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1990-1999	如果物理是蘋果app 商店的 instance 和那个物理是电脑程序的执行 program 和那个电脑程序是 running 在电脑，然后那个物理的目的是有存在实体这样那个实体是下載的 instance 和那个电脑是那个实体的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2162-2175	如果施事体是动物的 instance 和属性是疾病或综合症的 instance 和那个属性不是那个施事体的 attribute，然后有存在转移和客体这样那个转移是生物过程的 instance 和那个转移是移除的 instance 和那个施事体是那个转移的源头和那个客体是污水的 instance 和那个施事体是那个转移的 agent 和 objectTransferred 那个转移 and 那个客体
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.	FinancialOntology.kif 1212-1222	如果金融账户是信用账户的 instance 和那个金融账户是被金融机构 held 和有认知的主事持有 account 那个金融账户和那个金融账户是对于 %3 的赚取 interest ，然后有存在金融交易这样那个有认知的主事是那个金融交易的源头和利益是那个金融交易的 transaction 总额和那个金融交易在那个金融机构结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2355	如果金融资产是零息债券的 instance 和日是那个金融资产的帐号的 maturity 日期和那个金融资产Holder possesses 那个金融资产和实数测量单位是那个金融资产的帐号的 principal 总额和时距是那个金融资产的帐号的 agreement 週期和那个金融资产的帐号是对于 %3 的赚取 interest 和另一个实数 equal (那个实数和第三实数)，然后有存在金融交易这样那个金融交易是付款的 instance 和那个金融交易在那个金融资产Holder 结束和那个金融资产的帐号是那个金融交易的源头和那个另外实数那个测量单位是那个金融交易的 transaction 总额
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1129-1139	如果转移是 Crying 的 instance 和施事体经历了那个转移，然后有存在客体和另一个客体这样那个客体是泪液的 instance 和那个另外客体是那个转移的源头和 objectTransferred 那个转移 and 那个客体和那个另外客体是眼睛的 instance 和那个另外客体是那个施事体的 part
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	如果过程是疏散的 instance 和机构是那个过程的 agent 和客体是那个过程的源头，然后有存在另一个过程和那个另外过程A 这样那个另外过程是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个客体是那个另外过程的源头和那个另外过程A 经历了那个另外过程或那个另外过程A 是那个另外过程的 agent 和那个另外过程A 是那个机构 Organization 的一部分或那个另外过程A 是那个机构的 member 或那个另外过程A equal 那个机构
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2501-2511	如果过程是疏散的 instance 和客体是那个过程的源头和那个过程在实体结束，然后有存在另一个过程这样那个另外过程是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个另外过程在那个实体结束和那个客体是那个另外过程的源头
No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	如果过程是 FourStrokeExhaust 的 instance 和客体是 EngineCylinder 的 instance 和洞是 InternalCombustionChamber 的 instance 和那个客体 equal 洞那个洞的主体和那个过程是 located 在那个客体，然后有存在实体和另一个过程这样那个另外过程是气体运动的 instance 和那个实体是 Exhaust 的 instance 和那个另外过程%n是那个过程的subProcess 和那个洞是那个另外过程的源头和那个实体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 643-661	如果过程是 FlashingLight 的 instance 和客体是那个过程的源头，然后有存在另一个过程，时距， and 和第三过程这样那个另外过程是放射光线的 instance 和那个时距是时距的 instance 和那个第三过程是放射光线的 instance 和那个另外过程出现的 time 接着另一个时距和那个另外时距接着那个第三过程出现的 time 和不存在那个另外时距这样那个另外时距是放射光线的 instance 和那个客体是那个另外时距的源头和那个另外时距出现的 time 在那个时距时段内发生和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess
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.	Sports.kif 662-670	如果过程是棒球的 instance 和另一个过程是铺地石的 instance 和那个另外过程%n是那个过程的subProcess，然后有存在客体这样那个客体是投手丘的 instance 和那个客体是那个另外过程的源头
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 655-669	如果客体是 Gene 的 instance 和那个客体是 located 在另一个客体和那个另外客体是细胞的 instance，然后有存在过程，第三客体， and 和第四客体这样那个过程是生物过程的 instance 和那个过程是 located 在那个另外客体和那个客体是那个过程的源头和那个第三客体是那个过程的 result 和那个第三客体是 Nucleotide 的 instance 和那个第三客体是那个第四客体的 part 和那个第四客体是 RNA分子的 instance 和那个第四客体是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1916-1929	如果过程是 GERefluxDisease 的 instance 和施事体经历了那个过程，然后有存在另一个过程，客体， and 和另一个客体这样那个另外过程是转移的 instance 和那个客体是那个另外过程的源头和那个客体是胃的 instance 和那个另外客体是 Esophagus 的 instance 和那个另外过程在那个另外客体结束和那个客体是那个施事体的 part 和那个另外客体是那个施事体的 part 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11687-11691	如果过程是给予的 instance 和施事体是那个过程的 agent，然后那个施事体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11673-11685	如果过程是给予的 instance 和施事体是那个过程的 agent 和那个过程在另一个施事体结束和那个另外施事体是施事体的 instance 和实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是获得的 instance 和那个另外施事体是那个另外过程的 agent 和那个施事体是那个另外过程的源头和那个实体是那个另外过程的 patient

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: