TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3895-3897
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17436-17438
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17433-17433	赋予权利的 1 数量是公式的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17434-17434	赋予权利的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17435-17435	赋予权利的 3 数量是有认知的主事的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17432-17432	赋予权利是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 203-203
No TPTP formula. May not be expressible in strict first order.	english_format.kif 204-204
No TPTP formula. May not be expressible in strict first order.	french_format.kif 121-121
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 51-51
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1950-1950
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 73-73
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 261-261
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 92-92
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 140-140
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 126-126
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 85-85
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17457-17457	授予执行任务和赋予权利是内部相关
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16590-16590
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16589-16589
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16588-16588
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 119-119

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 721-726	如果时点是协议的 agreement 生效日期和那个协议允许有认知的主事执行公式的任务和时间位置是那个时点的 instance，然后那个有认知的主事有权利去做那个公式在紧接那个时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17440-17442	如果实体允许有认知的主事执行公式的任务，然后那个有认知的主事有权利去做那个公式

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	如果人类是国家的 citizen 和普选法是那个国家的 regional 法律的 subProposition，然后那个国家的 regional 法律允许那个人类执行对所有实体，另一个实体， and 和第三实体如果那个人类是那个国家的 citizen 和那个实体年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是那个另外实体年持续时间和那个另外实体是 greaterThanOrEqualTo 那个实体和那个第三实体是那个国家的 election 的 instance，然后有存在第四实体这样那个第四实体是那个第三实体的 voting 的 instance 和那个人类是那个第四实体的 agent 的任务
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.	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 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.	Transportation.kif 3188-3198	如果客体是 AOCnumber 的 instance 和有认知的主事是 Airline 的 instance 和那个有认知的主事 possesses 那个客体，然后 FederalAviationAdministration 允许那个有认知的主事执行有存在实体这样那个实体是 AirTransportationService 的 instance 和那个有认知的主事在那个实体中提供服务的任务
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	如果过程是武装侦察的 instance 和有认知的主事是那个过程的 agent 和实体是那个过程的 patient 和 enemy 那个有认知的主事 and 那个实体在那个过程出现的 time holdsDuring，然后那个过程允许那个有认知的主事执行有存在另一个实体这样那个另外实体是攻击的 instance 和那个有认知的主事是那个另外实体的 agent 和那个实体是那个另外实体的 patient 的任务
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16200-16212	如果实体是法律奖励的 instance 和那个实体提到过程和那个过程是法律诉讼的 instance 和有认知的主事是那个过程的 agent，然后那个实体允许那个有认知的主事执行有存在另一个实体，第三实体， and 和第四实体这样那个另外实体是获得的 instance 和那个有认知的主事经历了那个另外实体和那个第三实体是那个另外实体的 patient 和那个第三实体的价值是那个第四实体的任务
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.	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.	Mid-level-ontology.kif 18586-18594	如果过程是偷窃行为的 instance 和那个过程在有认知的主事结束和客体是那个过程的源头和那个客体是有认知的主事的 instance，然后那个客体 doesn't 允许那个有认知的主事执行那个过程在那个有认知的主事结束的任务
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 482-498	如果实体_CTRL 是终端攻击控制的 instance 和施事体是那个实体_CTRL 的 agent 和那个实体RGET 是那个实体_CTRL 的 patient，然后有存在有认知的主事这样那个施事体不 equal 那个有认知的主事和那个实体_CTRL 允许那个有认知的主事执行有存在第三实体这样那个第三实体是攻击的 instance 和那个有认知的主事是那个第三实体的 agent 和那个实体RGET 是那个第三实体的 patient 的任务
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 102-121	如果有认知的主事 possesses 客体和那个有认知的主事是商业代理人的 instance 和那个客体是停车场的 instance 和另一个客体是建筑物的 instance 和那个有认知的主事是 located 在那个另外客体和施事体是那个有认知的主事的 customer 和那个施事体是 located 在那个另外客体在时间位置 holdsDuring 和过程是驾驶的 instance 和实体是那个过程的 patient 和那个施事体是那个过程的 agent 和那个过程在那个另外客体结束，然后那个有认知的主事允许那个施事体执行另一个实体是保存的 instance 和那个另外实体在那个客体结束和那个实体是那个另外实体的 patient 的任务在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2353-2372	如果 ArtsAndRecreationTicketingServices 是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是出售的 instance 和那个另外实体是那个实体的 patient 和那个客体是那个实体的 agent 和那个另外实体是票的 instance 和那个实体在那个第三实体结束和那个另外实体的目的是那个客体允许那个第三实体执行有存在第四实体和第五实体这样那个第四实体是看的 instance 和那个第三实体是那个第四实体的 agent 和那个第五实体是那个第四实体的 patient 和那个第五实体是性能的 instance 或那个第五实体是运动的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	Law.kif 343-345	如果实体要求有认知的主事执行公式的任务，然后那个实体允许那个有认知的主事执行那个公式的任务
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29868-29888	如果实体是 Invoice 的 instance，然后有存在符号串，有认知的主事,，，施事体,，，另一个实体， and 和第三实体这样那个符号串的唯一识别符号是那个实体和那个有认知的主事 buys 那个另外实体从那个施事体和那个施事体允许那个有认知的主事执行有存在第四实体这样那个实体出现的 time 的开始%n在那个第四实体出现的 time 的开始before发生和那个第四实体是出售的 instance 和那个第三实体是产品的 instance 和 objectTransferred 那个第四实体 and 那个第三实体和那个实体提到那个第三实体和那个施事体是那个第四实体的 agent 和那个有认知的主事是那个第四实体的 patient 的任务
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 在那个物理

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: