TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3852-3854
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17295-17298
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17292-17292	任职的 1 数量是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17293-17293	任职的 2 数量是地位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17294-17294	任职的 3 数量是机构的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17291-17291	任职是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 551-551
No TPTP formula. May not be expressible in strict first order.	english_format.kif 556-556
No TPTP formula. May not be expressible in strict first order.	french_format.kif 323-323
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 202-202
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2091-2091
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 275-275
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 721-721
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 240-240
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 344-344
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 357-357
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 552-552
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41620-41620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41619-41619
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41618-41618

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18727-18736	如果大学新生是地位的 attribute 和人类在机构任职那个地位，然后有存在实数这样那个人类是那个机构的 student 在那个实数年持续时间 holdsDuring 和那个实数是 lessThan 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18742-18752	如果大学三年级是地位的 attribute 和人类在机构任职那个地位，然后有存在实数这样那个人类是那个机构的 student 在那个实数年持续时间 holdsDuring 和那个实数是 greaterThanOrEqualTo 2 和那个实数是 lessThan 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18758-18768	如果大学高年级是地位的 attribute 和人类在机构任职那个地位，然后有存在实数这样那个人类是那个机构的 student 在那个实数年持续时间 holdsDuring 和那个实数是 greaterThanOrEqualTo 3 和那个实数是 lessThan 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18774-18784	如果大学二年级学生是地位的 attribute 和人类在机构任职那个地位，然后有存在实数这样那个人类是那个机构的 student 在那个实数年持续时间 holdsDuring 和那个实数是 greaterThanOrEqualTo 1 和那个实数是 lessThan 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21023-21029	如果教授是人类的 attribute 和那个人类在教育机构任职教授，然后那个人类是个 teacher 在那个教育机构和那个教育机构是中学后的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18905-18909	如果老师是人类的 attribute 和另一个人类在教育机构任职那个人类，然后那个人类是个 teacher 在那个教育机构
No TPTP formula. May not be expressible in strict first order.	Government.kif 4511-4519	如果地缘政治区域是对于地位和施事体的外交代表在角色人类和那个地缘政治区域是国家的 instance 和机构是外交组织的 instance 和那个机构是那个地缘政治区域的 Government Organization 的一部分和那个人类在那个机构任职那个地位和那个施事体是地缘政治区域的 instance，然后那个施事体是 agent 运作在那个机构地区
No TPTP formula. May not be expressible in strict first order.	Government.kif 2309-2317	如果地缘政治区域是地缘政治区域的 instance 和人类在那个地缘政治区域的 Government 任职领导，然后有存在过程这样那个过程是引导的 instance 和那个地缘政治区域是那个过程的 patient 和那个人类是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1346-1350	如果机构是地缘政治区域的 instance 和人类在那个机构任职领导，然后那个人类是那个机构的 Government 的 leader
No TPTP formula. May not be expressible in strict first order.	Government.kif 1456-1462	如果地缘政治区域是国家的 instance 和人类是那个地缘政治区域的 leader 和地位是地位的 instance 和那个人类在那个地缘政治区域的 Government 任职那个地位，然后那个地位是那个地缘政治区域的 leader 职位
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3652-3657	如果人类是人类的 instance 和那个人类在机构任职地位和银行家是那个地位的 attribute，然后那个机构是 BankFinancialOrganization 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18943-18947	如果地位是政府立场的 instance 和人类在那个地位RG 任职那个地位，然后那个地位RG 是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1447-1453	如果机构是施事体的 instance 和人类是那个机构的 leader 和地位是地位的 instance 和那个人类在那个机构任职那个地位，然后那个地位是那个机构的 leader 职位
No TPTP formula. May not be expressible in strict first order.	Government.kif 1487-1494	如果人类是人类的 instance 和地位是地位的 instance 和地缘政治区域是地缘政治区域的 instance 和那个地位是那个地缘政治区域的 leader 职位和那个人类在那个地缘政治区域的 Government 任职那个地位，然后那个人类是那个地缘政治区域的 leader
No TPTP formula. May not be expressible in strict first order.	Government.kif 1478-1485	如果人类是人类的 instance 和地位是地位的 instance 和机构是施事体的 instance 和那个地位是那个机构的 leader 职位和那个人类在那个机构任职那个地位，然后那个人类是那个机构的 leader
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20878-20882	如果人类在机构任职地位和那个地位是宗教立场的 instance，然后那个机构是宗教机构的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18932-18936	如果人类在机构任职地位和那个地位是体育位置的 instance，然后那个机构是运动队的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2295-2299	如果人类在机构任职地位和那个机构是政治党派的 instance，然后那个人类是那个机构的 member
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22752-22760	如果机构是对于 %3 的 subordinate 职位和人类在那个机构任职地位，然后有存在另一个人类这样那个另外人类是人类的 instance 和那个另外人类在那个机构任职另一个地位和那个机构是对于那个另外人类在组织那个人类的 subordinate
No TPTP formula. May not be expressible in strict first order.	Government.kif 4859-4863	如果实体在美国内政部任职内政部长在时间位置 holdsDuring，然后那个实体是美国内政部的 leader 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20910-20919	如果实体在另一个实体任职执事和那个另外实体是宗教机构的 instance 在时间位置 holdsDuring，然后有存在第三实体这样那个第三实体在那个另外实体任职牧师和那个另外实体是对于那个第三实体在组织那个实体的 subordinate 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17300-17302	如果人类在机构任职地位，然后那个地位是那个人类的 attribute
No TPTP formula. May not be expressible in strict first order.	People.kif 1290-1292	如果人类在罗马天主教会任职教皇，然后那个人类是罗马天主教会的 leader
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21015-21017	如果人类在机构任职法官，然后那个机构是司法组织的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21007-21013	如果人类在机构任职法官，然后有存在实体这样那个实体是法律决定的 instance 和那个人类是那个实体的 agent 的声明 has 允许的语气

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.	Government.kif 1850-1854	如果选举对于职位身分的 candidate 对于有认知的主事和施事体是那个选举的 agent，然后那个有认知的主事 desires 那个有认知的主事在那个施事体任职那个身分
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.	Government.kif 4470-4478	如果地缘政治区域是对于地位和施事体的外交代表在角色人类和那个地缘政治区域是国家的 instance，然后有存在机构这样那个机构是外交组织的 instance 和那个机构是那个地缘政治区域的 Government Organization 的一部分和那个人类在那个机构任职那个地位
No TPTP formula. May not be expressible in strict first order.	Government.kif 4480-4484	如果施事体是对于地位和另一个施事体的外交代表在角色人类和那个施事体是机构的 instance，然后那个人类在机构任职那个地位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1042-1055	如果过程是任命的 instance 和实体是那个过程的 patient，然后有存在另一个实体和第三实体这样那个实体 doesn't 在那个第三实体任职那个另外实体在那个过程出现的 time 的开始 holdsDuring 和那个实体在那个第三实体任职那个另外实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 1806-1812	如果人类是人类的 instance 和机构是机构的 instance 和地位是地位的 instance 和那个地位和那个机构的 member 角色是那个人类的 attribute，然后那个人类在那个机构任职那个地位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16947-16960	如果过程是转移位置的 instance 和施事体经历了那个过程，然后有存在实体，另一个实体， and 和第三实体这样那个施事体在那个第三实体任职那个实体在那个过程出现的 time 的开始 holdsDuring 和那个施事体在那个第三实体任职那个另外实体在那个过程出现的 time 的结束 holdsDuring 和那个实体不 equal 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22752-22760	如果机构是对于 %3 的 subordinate 职位和人类在那个机构任职地位，然后有存在另一个人类这样那个另外人类是人类的 instance 和那个另外人类在那个机构任职另一个地位和那个机构是对于那个另外人类在组织那个人类的 subordinate
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.	Government.kif 1562-1564	如果地缘政治区域州地位的 chief 对于人类，然后那个人类在那个地缘政治区域的 Government 任职那个地位
No TPTP formula. May not be expressible in strict first order.	Government.kif 1566-1568	如果地缘政治区域州地位的 chief 对于人类，然后那个人类在那个地缘政治区域的 Government 任职领导
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17304-17307	如果机构 employs 人类，然后有存在地位这样那个人类在那个机构任职那个地位
No TPTP formula. May not be expressible in strict first order.	Government.kif 1615-1617	如果地缘政治区域是对于 %3 的政府领导，然后人类在那个地缘政治区域的 Government 任职地位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20910-20919	如果实体在另一个实体任职执事和那个另外实体是宗教机构的 instance 在时间位置 holdsDuring，然后有存在第三实体这样那个第三实体在那个另外实体任职牧师和那个另外实体是对于那个第三实体在组织那个实体的 subordinate 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7672-7676	如果机构是自助餐馆的 instance，然后不存在人类这样那个人类在那个机构任职服务职位
No TPTP formula. May not be expressible in strict first order.	Biography.kif 132-143	如果物理是 Ordaining 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是那个物理的 patient 和那个实体是人类的 instance 和那个另外实体是宗教机构的 instance 和那个实体是那个另外实体的 member 和那个第三实体是那个物理的 result 和那个第三实体是宗教立场的 instance 和那个实体在那个另外实体任职那个第三实体
No TPTP formula. May not be expressible in strict first order.	Law.kif 202-205	如果 judge 过程 and 人类，然后有存在机构这样那个人类在那个机构任职法官
No TPTP formula. May not be expressible in strict first order.	Law.kif 155-158	如果 punishes 人类 and 施事体，然后有存在机构和地位这样那个人类在那个机构任职那个地位
No TPTP formula. May not be expressible in strict first order.	Law.kif 160-166	如果 punishes 人类 and 施事体，然后有存在机构，地位， and 和过程这样那个人类在那个机构任职那个地位和那个人类是那个过程的 agent 和那个机构 wants 那个过程
No TPTP formula. May not be expressible in strict first order.	Law.kif 111-114	如果 rewards 人类 and 施事体，然后有存在机构和地位这样那个人类在那个机构任职那个地位
No TPTP formula. May not be expressible in strict first order.	Law.kif 116-122	如果 rewards 人类 and 施事体，然后有存在机构，地位， and 和过程这样那个人类在那个机构任职那个地位和那个人类是那个过程的 agent 和那个机构 wants 那个过程

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

KB Term:			Term intersection

English Word: