TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2133-2134
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4248-4251
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 788-789
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4245-4245	possesses 的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4246-4246	possesses 的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4244-4244	possesses 是非对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4243-4243	possesses 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 171-171
No TPTP formula. May not be expressible in strict first order.	english_format.kif 172-172
No TPTP formula. May not be expressible in strict first order.	french_format.kif 105-105
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 224-224
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1934-1934
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 57-57
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 135-135
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 212-212
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 262-262
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 124-124
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 107-107
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 416-416
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11642-11642	改变所有权和 possesses 是内部相关
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23853-23853	financialAsset 是 possesses 的 subrelation
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2068-2068	有帐户是 possesses 的 subrelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 172-172
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46802-46802
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46801-46801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46800-46800
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 66-66

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2321-2326	金融账户是金融账户的 instance 和有认知的主事 possesses 金融资产和那个金融账户 equal 那个金融资产的帐号若且唯若那个有认知的主事持有 account 那个金融账户
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.	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 546-561	如果有点物理的使用是对于施事体免费和过程是有点物理的 instance 和那个施事体是有认知的主事的 customer 和那个过程是过程的 instance 和那个有认知的主事是那个过程的 agent 或那个有认知的主事经历了那个过程或那个施事体 possesses 那个过程和那个过程是客体的 instance 和那个有认知的主事 uses 那个过程，然后那个过程是对于那个施事体的 price 0 美国美元
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4427-4444	如果有认知的主事有 account 用户帐号和那个用户帐号有 password 电脑密码和 deviceAccount 那个用户帐号 and 电脑和那个有认知的主事 doesn't knows 那个用户帐号有 password 那个电脑密码和那个有认知的主事 knows recoveryKey 实体 and 那个用户帐号和那个有认知的主事 possesses 那个电脑，然后有存在另一个实体这样那个另外实体是 ChangingPassword 的 instance 和那个用户帐号是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4257-4263	如果实体 possesses 客体在时间位置 holdsDuring 和另一个客体是那个客体的 part，然后那个实体 possesses 那个另外客体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3188-3198	如果客体是 AOCnumber 的 instance 和有认知的主事是 Airline 的 instance 和那个有认知的主事 possesses 那个客体，然后 FederalAviationAdministration 允许那个有认知的主事执行有存在实体这样那个实体是 AirTransportationService 的 instance 和那个有认知的主事在那个实体中提供服务的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2270-2278	如果键是键的 instance 和利益是那个键的 coupon 利息和那个键Holder possesses 那个键，然后有存在持续时间和过程这样那个键的帐号是对于那个持续时间的 periodic 费用那个利益和那个过程在那个键Holder 结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2397-2406	如果金融账户是担保债券的 instance 和抵押是那个金融账户的 secured 和施事体 possesses 那个金融账户和过程是财务违约的 instance 和那个金融账户是那个过程的 patient，然后那个施事体 possesses 那个抵押在紧接那个过程出现的 time after holdsDuring
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.	Mid-level-ontology.kif 7269-7274	如果客体是家族企业的 instance 和生物 possesses 那个客体和另一个生物 possesses 那个客体，然后那个生物和那个另外生物是亲属
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11647-11654	如果过程是改变所有权的 instance 和实体是那个过程的 patient 和另一个实体 possesses 那个实体在那个过程出现的 time 的开始 holdsDuring 和第三实体 possesses 那个实体在那个过程出现的 time 的结束 holdsDuring，然后那个另外实体不 equal 那个第三实体
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 218-226	如果银行卡是信用卡的 instance 和有认知的主事 possesses 那个银行卡，然后有存在金融账户这样那个金融账户是信用卡帐户的 instance 和那个金融账户是那个银行卡的 card 帐户和那个有认知的主事持有 account 那个金融账户
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.	FinancialOntology.kif 203-211	如果银行卡是金融卡的 instance 和有认知的主事 possesses 那个银行卡，然后有存在金融账户这样那个金融账户是存款账户的 instance 和那个金融账户是那个银行卡的 card 帐户和那个有认知的主事持有 account 那个金融账户
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16514-16522	如果客体是学位的 instance 和施事体 possesses 那个客体，然后有存在命题和过程这样那个命题是教育计划的 instance 和那个过程表示那个命题的内容和那个施事体经历了那个过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25158-25165	如果实体是传真机的 instance 和那个实体有 number 另一个实体和第三实体 possesses 那个实体在时间位置 holdsDuring，然后那个第三实体的 fax number 是那个另外实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25007-25014	如果实体是电话的 instance 和另一个实体 possesses 那个实体和那个实体有 number 第三实体在时间位置 holdsDuring，然后那个第三实体是那个另外实体的 telephone number 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3528-3533	如果群体是 Fleet 的 instance 和施事体有个 fleet 的整数交通工具和那个施事体 possesses 那个群体，然后那个整数是那个群体的 member 计数
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1176-1180	如果客体是内部船舶登记的 instance 和施事体 possesses 那个客体，然后那个施事体是国家的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	如果客体是客体的 instance 和另一个客体是 WebListing 的 instance 和施事体是施事体的 instance 和 ForSaleByOwner 是那个另外客体的 attribute 和那个施事体 possesses 那个客体，然后那个施事体是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16882-16893	如果客体是驾照的 instance 和施事体 possesses 那个客体，然后那个客体 confers 规范有存在实体和另一个实体这样那个实体是驾驶的 instance 和那个施事体是那个实体的 agent 和那个另外实体是那个实体的 patient 和那个另外实体是公路车辆的 instance 对于允许
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1126-1130	如果客体是国家船舶登记的 instance 和施事体 possesses 那个客体，然后那个施事体是国家的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1192-1196	如果客体是海外船舶登记的 instance 和施事体 possesses 那个客体，然后那个施事体是国家的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16582-16589	如果客体是通过证书的 instance 和施事体 possesses 那个客体，然后有存在实体这样那个客体 confers 规范那个施事体是 located 在那个实体对于允许

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.	UXExperimentalTerms.kif 632-640	如果用户帐号是在 WebSite 的 account ，然后有存在客体和那个 WebSite_OWNER 这样那个客体是数据库的 instance 和那个 WebSite_OWNER 是施事体的 instance 和那个 WebSite_OWNER possesses 那个 WebSite 和那个 WebSite_OWNER possesses 那个客体和那个用户帐号是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29507-29519	如果 Collectible 是客体的 attribute 和那个客体的目的是公式，然后有存在有认知的主事和那个公式2 这样那个有认知的主事是人类的 instance 和那个有认知的主事 wants 那个客体和那个有认知的主事 desires 那个公式2 和那个公式2 entails 那个有认知的主事 possesses 那个客体和那个公式不 equal 那个公式2
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 4257-4263	如果实体 possesses 客体在时间位置 holdsDuring 和另一个客体是那个客体的 part，然后那个实体 possesses 那个另外客体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 978-982	如果地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域的 merchant 海洋是商船的 instance，然后那个地缘政治区域 possesses 那个地缘政治区域的 merchant 海洋
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1139-1143	如果地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域的 ship 注册是船舶登记的 instance，然后那个地缘政治区域 possesses 那个地缘政治区域的 ship 注册
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18679-18695	如果转移是遗赠的 instance 和施事体是那个转移的 agent 和那个转移在实体结束和 objectTransferred 那个转移 and 那个施事体ROP，然后有存在过程这样那个过程是死亡的 instance 和那个施事体经历了那个过程和那个过程出现的 time 比那个转移出现的 time发生的earlier 和那个施事体 possesses 那个施事体ROP 在紧接那个过程出现的 time before holdsDuring 和那个施事体 confers 规范那个实体 possesses 那个施事体ROP 对于允许
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2397-2406	如果金融账户是担保债券的 instance 和抵押是那个金融账户的 secured 和施事体 possesses 那个金融账户和过程是财务违约的 instance 和那个金融账户是那个过程的 patient，然后那个施事体 possesses 那个抵押在紧接那个过程出现的 time after holdsDuring
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.	MilitaryProcesses.kif 601-609	如果过程是精确破坏的 instance 和施事体是那个过程的 agent，然后有存在客体这样那个施事体 possesses 那个客体和那个客体是导致那个过程的 instrument 和那个客体是高精度武器的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18621-18639	如果过程是继承的 instance 和有认知的主事是那个过程的 agent 和施事体是那个过程的源头和实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是死亡的 instance 和那个施事体经历了那个另外过程和那个另外过程出现的 time 比那个过程出现的 time发生的earlier 和那个施事体 possesses 那个实体在紧接那个另外过程出现的 time before holdsDuring 和那个施事体允许那个有认知的主事执行那个有认知的主事 possesses 那个实体的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1334-1343	如果贷款是贷款的 instance 和抵押是那个贷款的 secured 和有认知的主事 lends 那个贷款和过程是财务违约的 instance 和那个贷款是那个过程的 patient，然后那个有认知的主事 possesses 那个抵押在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	如果群体是机构的 instance 和航空运输业是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，那个有认知的主事LANE， and 和第三实体这样那个实体是运输的 instance 和那个有认知的主事是那个实体的 patient 或那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是客体的 instance 和那个群体 possesses 那个有认知的主事LANE 和那个有认知的主事LANE 是飞机的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	如果群体是机构的 instance 和信使和信使是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事和实体这样那个施事体是出售的 instance 和那个实体是客体的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在另一个实体这样那个另外实体是运输的 instance 和那个有认知的主事 possesses 那个实体和那个实体是那个另外实体的 patient 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	如果群体是机构的 instance 和管道运输是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，另一个实体,，，第三实体， and 和那个有认知的主事IPE 这样那个实体是运输的 instance 和那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是物质的 instance 和那个群体 possesses 那个另外实体和那个有认知的主事IPE 是导致那个实体的 instrument 和那个有认知的主事IPE 是管道的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	如果群体是机构的 instance 和邮政服务是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事和实体这样那个施事体是出售的 instance 和那个实体是客体的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在另一个实体这样那个另外实体是运输的 instance 和那个有认知的主事 possesses 那个实体和那个实体是那个另外实体的 patient 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	如果群体是机构的 instance 和铁路运输是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，另一个实体， and 和第三实体这样那个实体是运输的 instance 和那个有认知的主事是那个实体的 patient 或那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是客体的 instance 和那个群体 possesses 那个另外实体和那个另外实体是铁路车辆的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	如果群体是机构的 instance 和景区和观光交通是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体和另一个实体这样那个实体是运输的 instance 和那个实体是娱乐或锻炼的 instance 和那个有认知的主事是那个实体的 patient 和那个群体 possesses 那个另外实体和那个另外实体是车辆的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8344-8364	如果群体是机构的 instance 和过境和地面客运是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体和另一个实体这样那个实体是运输的 instance 和那个有认知的主事是那个实体的 patient 和那个群体 possesses 那个另外实体和那个另外实体是陆地车辆的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	如果群体是机构的 instance 和卡车运输是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，另一个实体， and 和第三实体这样那个实体是运输的 instance 和那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是客体的 instance 和那个群体 possesses 那个另外实体和那个另外实体是陆地车辆的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	如果群体是机构的 instance 和仓储和储存是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事和实体这样那个施事体是出售的 instance 和那个实体是客体的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在另一个实体和第三实体这样那个第三实体是时距的 instance 和那个另外实体是建筑物的 instance 和那个有认知的主事 possesses 那个实体和那个另外实体是 located 在那个实体在那个第三实体 holdsDuring 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	如果群体是机构的 instance 和水运业是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，另一个实体， and 和第三实体这样那个实体是运输的 instance 和那个有认知的主事是那个实体的 patient 或那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是客体的 instance 和那个群体 possesses 那个另外实体和那个另外实体是水车的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12892-12897	如果过程是追求的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后那个施事体 doesn't possesses 那个实体在那个过程 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23828-23845	如果过程是保存的 instance 和客体是那个过程的 patient 和施事体是那个过程的 agent，然后有存在实数，另一个实数， and 和实体这样那个实体是 UnitOfCurrency 的 instance 和那个客体的价值是那个实数那个实体在那个过程出现的 time 的开始 holdsDuring 和那个客体的价值是那个另外实数那个实体在那个过程出现的 time 的结束 holdsDuring 和那个施事体 possesses 那个客体和那个实数是 lessThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1157-1166	如果施事体是船的 instance 和地缘政治区域是地缘政治区域的 instance 和那个施事体是那个地缘政治区域的 merchant 海洋的 member，然后有存在客体这样那个客体是船舶登记的 instance 和那个施事体 possesses 那个客体和那个地缘政治区域的 ship 注册包含那个客体的内容

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: