TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3725-3726
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16640-16643
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16638-16638	雇用的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16639-16639	雇用的 2 数量是有认知的主事的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16637-16637	雇用是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 547-547
No TPTP formula. May not be expressible in strict first order.	english_format.kif 552-552
No TPTP formula. May not be expressible in strict first order.	french_format.kif 321-321
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 91-91
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2089-2089
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 327-327
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 715-715
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 131-131
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 342-342
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 355-355
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 197-197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22002-22002
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 548-548
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22001-22001
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22000-22000
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 198-198

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3260-3266	协议 employs 另一个协议若且唯若有存在有认知的主事这样那个有认知的主事有雇用的 attribute 和那个协议是那个有认知的主事的 party 协议和那个另外协议是那个有认知的主事的 party 协议
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17254-17262	实体是人类的 instance 和对所有另一个实体那个另外实体 doesn't employs 那个实体在时间位置 holdsDuring 若且唯若失业的是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 2215-2219	如果最高法院法官是有认知的主事的 attribute 和施事体 employs 那个有认知的主事，然后那个施事体是最高法院的 instance
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.	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 1522-1535	如果施事体 employs 有认知的主事和旅客住宿是那个施事体的 attribute 和 TennisProfessional 是那个有认知的主事的 attribute 和另一个有认知的主事是在那个施事体的 guest ，然后有存在实体和另一个实体这样那个实体是 Tennis 的 instance 和那个有认知的主事 participates 在那个实体和那个另外有认知的主事 participates 在那个实体和那个实体是 located 在那个另外实体和那个施事体是 located 在那个另外实体的声明 has 可能性的语气
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.	FinancialOntology.kif 1180-1185	如果金融账户是养老金计划的 instance 和有认知的主事持有 account 那个金融账户和金融公司 employs 那个有认知的主事，然后那个金融公司是那个金融账户的 financial 帐号
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1192-1207	如果金融账户是利润分享计划的 instance 和有认知的主事持有 account 那个金融账户和施事体 employs 那个有认知的主事和从金融交易的 profit 是实数测量单位和那个测量单位是 UnitOfCurrency 的 instance 和那个施事体是那个金融交易的 agent，然后有存在另一个实数和那个实数AY 这样那个实数AY 是金融交易的 instance 和那个另外实数那个测量单位是那个实数AY 的 transaction 总额和那个另外实数是 lessThan 那个实数和那个实数AY 在那个金融账户结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3590-3601	如果过程是商业服务的 instance 和有认知的主事是那个过程的 agent 和施事体 employs 那个有认知的主事和那个过程在实体结束，然后那个过程的目的是有存在另一个实体这样那个另外实体是金融交易的 instance 和那个另外实体在那个施事体结束和那个实体是那个另外实体的源头
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17282-17285	如果机构 employs 人类，然后有存在地位这样那个人类在那个机构任职那个地位

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3635-3642	有认知的主事对于 %3 的 customer 代表若且唯若有存在过程这样那个过程是金融交易的 instance 和机构 employs 那个有认知的主事和那个有认知的主事是那个过程的 agent 和那个过程在另一个有认知的主事结束
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.	Government.kif 4486-4490	如果地缘政治区域是对于地位和施事体的外交代表在角色人类和那个地缘政治区域是地缘政治区域的 instance，然后那个地缘政治区域的 Government employs 那个人类
No TPTP formula. May not be expressible in strict first order.	Government.kif 4492-4496	如果施事体是对于地位和另一个施事体的外交代表在角色人类和那个施事体是机构的 instance，然后那个施事体 employs 那个人类
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 171-177	如果证书是支票的 instance 和有认知的主事是由那个证书的 issued 和过程是给予的 instance 和那个过程在施事体结束，然后那个施事体 employs 那个有认知的主事
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10740-10748	如果过程是离职的 instance 和施事体是机构的 instance 和那个施事体是那个过程的 agent 和实体是那个过程的 patient，然后那个施事体 employs 那个实体在那个过程出现的 time 的开始 holdsDuring 和那个施事体 doesn't employs 那个实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10724-10732	如果过程是雇佣的 instance 和施事体是机构的 instance 和那个施事体是那个过程的 agent 和实体是那个过程的 patient，然后那个施事体 doesn't employs 那个实体在那个过程出现的 time 的开始 holdsDuring 和那个施事体 employs 那个实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10620-10629	如果过程是雇佣的 instance 和施事体是机构的 instance 和那个施事体是那个过程的 agent 和实体是那个过程的 patient，然后那个施事体 employs 那个实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16916-16923	如果过程是劳工引人注目的 instance 和有认知的主事是那个过程的 agent 和那个有认知的主事是人类的 instance 和施事体是那个过程的 patient 和那个施事体是机构的 instance，然后那个施事体 employs 那个有认知的主事
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1902-1914	如果客体是 Nursery 的 instance 和那个客体是施事体的财产的 element 和旅客住宿是那个施事体的 attribute，然后有存在有认知的主事和实体这样 CommunalAttribute 是那个客体的 attribute 和那个施事体 employs 那个有认知的主事和那个有认知的主事的目的是那个实体是 ChildCareService 的 instance 和那个有认知的主事在那个实体中提供服务
No TPTP formula. May not be expressible in strict first order.	Government.kif 4614-4619	如果 %１是对于％３给代理％２的 representative 代理和地缘政治区域是国家的 instance 和有认知的主事是有认知的主事的 instance，然后那个地缘政治区域的 Government employs 那个有认知的主事
No TPTP formula. May not be expressible in strict first order.	Government.kif 4607-4612	如果 %１是对于％３给代理％２的 representative 代理和施事体是机构的 instance 和有认知的主事是有认知的主事的 instance，然后那个施事体 employs 那个有认知的主事
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20998-21004	如果法官是有认知的主事的 attribute，然后有存在施事体这样那个施事体是司法组织的 instance 和那个施事体是政府组织的 instance 和那个施事体 employs 那个有认知的主事
No TPTP formula. May not be expressible in strict first order.	naics.kif 11934-11946	如果理发店是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是头发的 instance 和那个实体是那个另外实体的 part 和那个另外实体是人类的 instance 和那个第三实体是切开的 instance 和那个实体是那个第三实体的 patient 和那个第三实体是 located 在那个客体和那个第四实体是那个第三实体的 agent 和那个客体 employs 那个第四实体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1883-1888	如果施事体能够担当主事的角色做 ChildCareService，然后有存在有认知的主事这样那个施事体 employs 那个有认知的主事和那个有认知的主事能够担当服务供应者的角色做 ChildCareService
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16838-16844	如果 colleague 人类, 另一个人类 and 机构，然后有存在时间位置这样那个机构 employs 那个人类和那个机构 employs 那个另外人类在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3357-3364	如果人类对于时距 employee 贡献货币测量，然后有存在施事体和过程这样那个过程是养老金计划的 instance 和那个施事体 employs 那个人类和那个施事体是那个过程的 agent 和那个过程在那个人类结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22414-22419	如果政府人是实体的 attribute 在时间位置 holdsDuring，然后有存在另一个实体这样那个另外实体是政府的 instance 和那个另外实体 employs 那个实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22965-22974	如果实体是另一个实体的 coworker 在时间位置 holdsDuring，然后有存在第三实体这样那个第三实体是机构的 instance 和那个第三实体 employs 那个另外实体和那个第三实体 employs 那个实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3122-3129	如果实体是药店的 instance，然后有存在另一个实体这样药剂师是那个另外实体的 attribute 和那个实体 employs 那个另外实体的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3084-3092	如果物理是 GeniusBar 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体 employs 苹果和那个另外实体是 CustomerSupport 的 instance 和那个实体是那个另外实体的 agent 和那个另外实体是 located 在那个物理
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2281-2292	如果服务是 MedicalService 的 instance，然后有存在施事体，有认知的主事， and 和过程这样那个施事体是那个服务的 agent 和那个施事体 employs 那个有认知的主事和医生是那个有认知的主事的 attribute 和那个有认知的主事在那个服务中提供服务和那个过程是治疗过程的 instance 或那个过程是诊断过程的 instance 和那个过程%n是那个服务的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8544-8557	如果群体是工会组织的 instance，然后有存在施事体和有认知的主事这样如果那个有认知的主事是那个群体的 member，然后那个施事体是法人财团的 instance 和那个施事体 employs 那个有认知的主事或有存在另一个施事体这样那个施事体是行业的 instance 和那个另外施事体是那个施事体的 member 和那个另外施事体 employs 那个有认知的主事
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22560-22574	如果物理是餐厅建筑的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体， and 和那个第四实体AY 这样那个实体 employs 那个另外实体和那个实体 possesses 那个物理和那个第四实体是人类的 instance 和那个第四实体AY 是金融交易的 instance 和那个第四实体是那个第四实体AY 的 agent 和那个另外实体是那个第四实体AY 的 patient 和那个第三实体允许那个第四实体执行那个另外实体的任务和那个第三实体是进食的 instance 和那个第四实体是那个第三实体的 agent 和那个第三实体是 located 在那个物理
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2300-2307	如果服务是 SecretarialService 的 instance，然后有存在有认知的主事，另一个有认知的主事， and 和第三有认知的主事这样那个有认知的主事在那个服务中提供服务和那个另外有认知的主事在那个服务中获得服务和那个有认知的主事 employs 那个第三有认知的主事和文书秘书是那个第三有认知的主事的 attribute

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.

Medicine.kif 4590-4593

有存在有认知的主事这样 NewReporter 是那个有认知的主事的 attribute 和 ProPublica employs 那个有认知的主事

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

KB Term:			Term intersection

English Word: