TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2086-2087
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3906-3908
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 734-735
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3903-3903	能够的 2 数量是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3904-3904	能够的 3 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3902-3902	能够的 1 数量是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3901-3901	能够是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 67-67
No TPTP formula. May not be expressible in strict first order.	english_format.kif 67-67
No TPTP formula. May not be expressible in strict first order.	french_format.kif 59-59
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 40-40
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1882-1882
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 11-11
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 74-74
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 74-74
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 78-78
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 58-58
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 96-96
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13020-13020
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 68-68
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13019-13019
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13018-13018
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 19-19
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 97-97

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 134-143	如果穆斯林是客体的 attribute 和那个客体能够担当主事的角色做朝觐，然后有存在实体这样那个实体是朝觐的 instance 和那个客体是那个实体的 agent 的声明 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.	MilitaryDevices.kif 48-56	如果客体能够担当格角色的角色做有点过程和有点过程是射击的 subclass，然后有存在另一个客体这样那个另外客体是武器的 instance 和那个另外客体是那个客体的 part 和那个另外客体能够担当那个格角色的角色做那个有点过程
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.	Transportation.kif 2949-2957	如果客体是港口设施的 instance 和那个客体能够担当受事的角色做船靠泊，然后有存在另一个客体这样那个另外客体是港口的 instance 和那个另外客体和那个客体是 connected 和那个另外客体能够担当路径的角色做船靠泊
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	如果人类是人类的 instance 和群体是群体的 instance 和对所有试验和物理如果有存在有点过程这样那个试验是试验的 instance 和那个物理是过程的 instance 和那个物理是 events 在那个试验的 member 和那个物理是有点过程的 instance 和那个人类能够担当经历者的角色做那个有点过程，然后那个物理是那个群体的 member 和如果另一个物理是那个群体的 member，然后那个另外物理是过程的 instance 和有存在另一个试验和那个另外物理ESS 这样那个另外试验是试验的 instance 和那个另外物理是 events 在那个另外试验的 member 和那个另外物理是那个另外物理ESS 的 instance 和那个人类能够担当经历者的角色做那个另外物理ESS ，然后所有流程那个人类是 qualified 对于 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	如果群体和另一个群体是 orthogonal tests 和客体是人类的 instance 和物理是有点过程的 instance 和有点过程是试验的 subclass 和那个物理是那个群体的 member 和那个客体能够担当 experimentalSubject 的角色做那个有点过程，然后有存在另一个物理和另一个有点过程这样那个另外物理是另一个有点过程的 instance 和那个另外物理是那个另外群体的 member 和那个另外有点过程是试验的 subclass 和那个客体能够担当 experimentalSubject 的角色做那个另外有点过程
No TPTP formula. May not be expressible in strict first order.	Government.kif 1250-1256	如果独家男性选举权是国家的 regional 法律的 subProposition 和人类是那个国家的 citizen 和选举是那个国家的 election 的 instance 和那个人类能够担当主事的角色做那个选举的 voting ，然后男是那个人类的 attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 1052-1060	如果实数年持续时间是施事体的 suffrage 最大年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting 和那个客体的 age 是另一个实数年持续时间，然后那个另外实数是 lessThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 1040-1050	如果实数年持续时间是施事体的 suffrage 最大年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting ，然后有存在另一个实数这样那个客体的 age 是那个另外实数年持续时间和那个另外实数是 lessThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 980-988	如果实数年持续时间是施事体的 suffrage 最小年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting 和那个客体的 age 是另一个实数年持续时间，然后那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 968-978	如果实数年持续时间是施事体的 suffrage 最小年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting ，然后有存在另一个实数这样那个客体的 age 是那个另外实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	如果军车是对于正整数的 weapon 携带容量有点武器和客体是有点武器的 instance 和那个客体能够担当格角色的角色做有点过程和有点过程是射击的 subclass 或那个有点过程是损坏的 subclass，然后那个军车能够担当那个格角色的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3918-3924	如果客体能够担当格角色的角色做有点过程，然后有存在实体这样那个实体是有点过程的 instance 和那个格角色那个实体 and 那个客体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11191-11196	如果躯体性物体能够担当经历者的角色做呼吸，然后有存在另一个躯体性物体这样那个另外躯体性物体是那个躯体性物体的 component 和那个另外躯体性物体是肺的 instance
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.	TransportDetail.kif 148-151	如果机构能够担当主事的角色做 ValetParking，然后有存在人类这样那个人类在那个机构任职 Valet
No TPTP formula. May not be expressible in strict first order.	Law.kif 384-388	如果 trusts 有认知的主事, 施事体 and 那个施事体能够担当主事的角色做实体，然后那个有认知的主事 knows 那个施事体能够担当主事的角色做那个实体

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.	Hotel.kif 599-604	如果施事体 can hold 有点过程的种类，然后有存在客体这样那个客体是那个施事体的财产的 element 和那个客体能够担当位于的角色做有点过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10685-10696	如果 antagonistMuscles 有点肌肉 and 另一个有点肌肉和过程是 Extension 的 instance 和有点肌肉C 是导致那个过程的 instrument 和移动运动 and 另一个有点肌肉C 和那个有点肌肉C 是那个有点肌肉的 instance 和那个另外有点肌肉C 是那个另外有点肌肉的 instance 和那个有点肌肉C 是第三客体的 part 和那个另外有点肌肉C 是那个第三客体的 part 和那个第三客体是哺乳动物的 instance，然后那个另外有点肌肉C 能够担当工具的角色做 Flexion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	如果 antagonistMuscles 有点肌肉 and 另一个有点肌肉和运动是 Flexion 的 instance 和有点肌肉C 是导致那个运动的 instrument 和移动那个运动 and 另一个有点肌肉C 和那个有点肌肉C 是那个有点肌肉的 instance 和那个另外有点肌肉C 是那个另外有点肌肉的 instance 和那个有点肌肉C 是第三客体的 part 和那个另外有点肌肉C 是那个第三客体的 part 和那个第三客体是哺乳动物的 instance，然后那个另外有点肌肉C 能够担当工具的角色做 Extension
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.	MilitaryDevices.kif 48-56	如果客体能够担当格角色的角色做有点过程和有点过程是射击的 subclass，然后有存在另一个客体这样那个另外客体是武器的 instance 和那个另外客体是那个客体的 part 和那个另外客体能够担当那个格角色的角色做那个有点过程
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.	ComputingBrands.kif 3545-3550	如果 connectedPeripheral 电脑硬件 and 电脑和那个电脑硬件是电脑输出设备的 instance 和那个电脑硬件是那个电脑LASS 的 instance，然后数据传输能够担当终点的角色做那个电脑LASS
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2477-2481	如果证书是可赎回的债券的 instance 和有认知的主事是由那个证书的 issued ，然后那个有认知的主事能够担当主事的角色做呼叫
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3496-3510	如果电脑程序是 ComputerBackingUp 的 instance 和数字数据是由那个电脑程序 processed 和那个数字数据是数字数据的 instance 和有认知的主事是那个电脑程序的 agent，然后那个有认知的主事 desires 有存在实体这样那个电脑程序出现的 time 比那个实体发生的earlier 和有存在第三实体这样那个第三实体是电脑程序的 instance 和那个数字数据能够担当数据已处理的角色做那个第三实体在那个实体 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Dining.kif 532-536	如果过程是 DeliveryService 的 instance 和施事体是那个过程的 agent，然后那个施事体能够担当主事的角色做 DeliveryService
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12014-12026	如果过程是决定的 instance 和有认知的主事是那个过程的 agent 和集合是集合的 instance 和那个集合是那个过程的 patient 和实体是那个集合的 element，然后那个有认知的主事 believes 有存在另一个实体这样那个实体是那个另外实体的 instance 和那个另外实体是有意图过程的 subclass 和那个有认知的主事能够担当主事的角色做那个另外实体
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1029-1033	如果属性是危及生命的疾病的 instance 和那个属性是客体的 attribute，然后那个客体能够担当经历者的角色做死亡
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	如果设备是枪的 instance 和测量单位是 UnitOfLength 的 instance 和实数那个测量单位是那个设备的 effective 范围和那个设备和客体的 distance 是那个实数1 那个测量单位和那个客体是生物的 instance 和不存在那个客体2 这样那个客体2 是在那个客体和那个设备 between 和那个实数1 是 lessThanOrEqualTo 那个实数，然后有存在符号串这样那个设备能够担当工具的角色做那个符号串所描述的类别
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	如果设备是枪的 instance 和测量单位是 UnitOfLength 的 instance 和实数那个测量单位是那个设备的 effective 范围和那个设备和客体的 distance 是那个实数1 那个测量单位和不存在那个客体2 这样那个客体2 是在那个客体和那个设备 between 和那个实数1 是 lessThanOrEqualTo 那个实数，然后有存在符号串这样那个设备能够担当工具的角色做那个符号串所描述的类别
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2942-2947	如果客体是港口的 instance 和那个客体对于实数 equipment 记数船泊位和那个实数是 greaterThan 0，然后那个客体能够担当路径的角色做船靠泊
No TPTP formula. May not be expressible in strict first order.	naics.kif 7242-7257	如果群体是机构的 instance 和建筑材料和园艺设备及用品经销商是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在客体这样那个施事体是出售的 instance 和那个客体是客体的 instance 和那个客体能够担当资源的角色做建筑或那个客体能够担当资源的角色做农业和那个客体是那个施事体的 patient
No TPTP formula. May not be expressible in strict first order.	naics.kif 7600-7618	如果群体是机构的 instance 和体育用品爱好书籍和音乐商店是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在客体这样那个施事体是出售的 instance 和那个客体是客体的 instance 和那个客体能够担当工具的角色做运动或那个客体能够担当工具的角色做制作音乐或那个客体是书的 instance 或那个客体是音乐录音的 instance 或那个客体是音乐文本的 instance 和那个客体是那个施事体的 patient
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	如果群体是机构的 instance 和公用事业是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在客体，那个过程2， and 和那个施事体2 这样那个施事体是移除的 instance 或那个客体是污水的 instance 和那个客体是那个施事体的 patient 和那个客体是电子的 instance 或那个客体是水的 instance 或那个客体是純物质的 instance 和那个客体能够担当受事的角色做燃烧和那个过程2 是那个群体的 member 和那个施事体2 是金融交易的 instance 和那个过程2 是那个施事体2 的 agent 和那个客体是那个施事体2 的 patient
No TPTP formula. May not be expressible in strict first order.	Dining.kif 437-441	如果过程是 BankCardPayment 的 instance 和那个过程在客体结束，然后那个客体能够担当终点的角色做 BankCardPayment
No TPTP formula. May not be expressible in strict first order.	Dining.kif 579-584	如果过程是 CateringService 的 instance 和那个过程是另一个有点过程的 instance 和施事体是那个过程的 agent，然后那个施事体能够担当主事的角色做另一个有点过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9561-9574	如果客体是植物的 instance 和另一个客体是那个客体的 part，然后有存在过程，实体， and 和另一个有点过程这样那个过程是另一个有点过程的 instance 和那个另外有点过程是保存的 subclass 和那个实体是淡水的 instance 和那个实体是那个过程的 patient 和那个另外客体能够担当工具的角色做那个另外有点过程和那个另外客体是 PlantLeaf 的 instance 或那个另外客体是 PlantStem 的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2949-2957	如果客体是港口设施的 instance 和那个客体能够担当受事的角色做船靠泊，然后有存在另一个客体这样那个另外客体是港口的 instance 和那个另外客体和那个客体是 connected 和那个另外客体能够担当路径的角色做船靠泊
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 233-245	如果物理是抛射物的 instance 和长度测量是有点枪的 caliber 和客体是有点枪的 instance 和那个物理的 width 是那个长度测量1 和那个长度测量 equal 那个长度测量1，然后那个客体能够担当工具的角色做符号串所描述的类别
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3910-3916	如果格角色是格角色的 instance 和那个格角色实体 and 客体和那个实体是有点过程的 instance 和有点过程是过程的 subclass，然后那个客体能够担当那个格角色的角色做那个有点过程

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.

Government.kif 1092-1103

对所有 ?POLITY， ?AGENT,，， ?ELECTION,，， ?VOTINGAGE， and 和 ?AGE

如果 ?AGENT 是 ?POLITY 的 citizen 和 ?VOTINGAGE 年持续时间是 ?POLITY 的 suffrage 最小年纪和 ?AGENT 的 age 是 ?AGE 年持续时间和 ?AGE 是 greaterThanOrEqualTo ?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的 election 的 instance，
然后 ?AGENT 能够担当主事的角色做 ?ELECTION 的 voting

contains 普选法的资料

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

KB Term:			Term intersection

English Word: