TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3751-3753
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16745-16748
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16743-16743	子机构的 1 数量是机构的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16744-16744	子机构的 2 数量是机构的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16742-16742	子机构是偏序关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16741-16741	子机构是子集的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24170-24170	祖先组织和子机构是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 810-810
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 549-549
No TPTP formula. May not be expressible in strict first order.	english_format.kif 554-554
No TPTP formula. May not be expressible in strict first order.	english_format.kif 823-823
No TPTP formula. May not be expressible in strict first order.	french_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.	french_format.kif 486-486
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2090-2090
No TPTP formula. May not be expressible in strict first order.	english_format.kif 824-824
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 274-274
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 438-438
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 343-343
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 508-508
No TPTP formula. May not be expressible in strict first order.	Government.kif 2060-2060	立法机关是子机构的 subrelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 550-550
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55764-55764
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55763-55763
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55762-55762

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1977-1985	如果一院制立法机关是机构的 attribute 和地缘政治区域是那个机构的 legislative 分支和另一个机构是立法院的 instance 和那个另外机构是那个地缘政治区域的 Government Organization 的一部分和第三机构是立法院的 instance 和那个第三机构是那个地缘政治区域的 Government Organization 的一部分，然后那个另外机构 equal 那个第三机构
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.	Mid-level-ontology.kif 18343-18358	如果机构 equal DepartmentOfFn 另一个机构 and 有点物理和那个机构2 是那个另外机构 Organization 的一部分和那个机构不 equal 那个机构2 和实体是有点物理的 instance 和那个机构对那个实体感兴趣和实数 equal 那个机构是另一个实体的 agent 的机率和那个另外实体2 equal 那个机构2 是那个另外实体的 agent 的机率，然后那个实数是 greaterThan 那个另外实体2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18401-18406	如果机构 equal DepartmentOfPreventingFn 另一个机构 and 有点物理和有点物理是过程的 subclass 和那个机构是那个另外机构 Organization 的一部分，然后那个机构 inhibits 那个有点物理
No TPTP formula. May not be expressible in strict first order.	Government.kif 1313-1318	如果地缘政治区域是机构的 executive 分支和那个地缘政治区域是地缘政治区域的 instance 和另一个机构是那个机构 Organization 的一部分，然后那个另外机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 1513-1524	如果机构是政府内阁的 instance 和那个机构是地缘政治区域的 Government Organization 的一部分和那个地缘政治区域是地缘政治区域的 instance，然后那个机构的目的是有存在实体和另一个实体这样那个实体是陈述的 instance 和那个机构是那个实体的 agent 和那个另外实体是那个实体的 patient 和那个地缘政治区域的 Government 是那个另外实体的 leader
No TPTP formula. May not be expressible in strict first order.	Government.kif 2191-2196	如果机构是最高法院的 instance 和那个机构是地缘政治区域的 Government Organization 的一部分和那个地缘政治区域是国家的 instance，然后那个机构是那个地缘政治区域的 supreme 法庭的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16691-16695	如果机构是政府的 instance 和另一个机构是那个机构 Organization 的一部分，然后那个另外机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 371-376	如果机构是联合部队的 instance 和另一个机构是那个机构 Organization 的一部分和那个另外机构是空军的 instance，然后联合部队空军司令是那个另外机构的 leader 职位
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 393-398	如果机构是联合部队的 instance 和另一个机构是那个机构 Organization 的一部分和那个另外机构是军队的 instance，然后联合部队陆军指挥官是那个另外机构的 leader 职位
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 425-430	如果机构是联合部队的 instance 和另一个机构是那个机构 Organization 的一部分和那个另外机构是海岸警卫队的 instance，然后联合部队海上指挥官是那个另外机构的 leader 职位
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 417-422	如果机构是联合部队的 instance 和另一个机构是那个机构 Organization 的一部分和那个另外机构是 NavyBranchOfService 的 instance，然后联合部队海上指挥官是那个另外机构的 leader 职位
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 446-451	如果机构是联合部队的 instance 和另一个机构是那个机构 Organization 的一部分和那个另外机构是特种作战部队的 instance，然后联合部队特种作战指挥官是那个另外机构的 leader 职位
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1751-1757	如果机构是联合部队的 instance 和另一个机构是那个机构 Organization 的一部分和地位是那个另外机构的 leader 职位和那个机构COMMANDER 是那个机构的 leader 职位，然后那个机构是对于 %3 的 subordinate 职位
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1736-1746	如果机构是联合部队的 instance 和另一个机构是那个机构 Organization 的一部分和第三机构是那个机构 Organization 的一部分和那个另外机构不 equal 那个第三机构和那个机构COMMANDER 是那个机构的 leader 职位，然后那个机构COMMANDER 是那个另外机构的 leader 职位和那个机构COMMANDER 是那个第三机构的 leader 职位
No TPTP formula. May not be expressible in strict first order.	Government.kif 2085-2090	如果机构是司法组织的 instance 和那个机构是另一个机构 Organization 的一部分和那个另外机构是政府组织的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1930-1935	如果机构是立法组织的 instance 和那个机构是另一个机构 Organization 的一部分和那个另外机构是政府组织的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8526-8536	如果机构是安全部门的 instance 和那个机构是另一个机构 Organization 的一部分，然后那个机构有义务执行有存在实体这样那个实体是维护的 instance 和那个机构是那个实体的 agent 和那个另外机构是那个实体的 patient 的任务
No TPTP formula. May not be expressible in strict first order.	Government.kif 2130-2135	如果地缘政治区域是机构的 judicial 分支和那个地缘政治区域是地缘政治区域的 instance 和另一个机构是那个机构 Organization 的一部分，然后那个另外机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16697-16701	如果机构是另一个机构 Organization 的一部分和那个另外机构是政府组织的 instance，然后那个机构是政府组织的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 108-115	机构是政府组织的 instance 若且唯若那个机构是政府的 instance 或有存在另一个机构这样那个另外机构是政府的 instance 和那个机构是那个另外机构 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4648-4657	如果地缘政治区域是对于 %3 的 diplomatic 类别和那个地缘政治区域是国家的 instance 和施事体是地缘政治区域的 instance，然后有存在机构这样那个机构是另一个有点机构的 instance 和那个机构是 located 在那个施事体和那个机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4658-4667	如果机构是对于 %3 的 diplomatic 类别和那个机构是机构的 instance 和施事体是地缘政治区域的 instance，然后有存在另一个机构这样那个另外机构是第三有点机构的 instance 和那个另外机构是 located 在那个施事体和那个另外机构是那个机构 Organization 的一部分
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.	Hotel.kif 1127-1140	如果客体是机构的财产的 element 和 AnnexRoom 是那个客体的 attribute 和那个客体是 HotelRoom 的 instance，然后有存在另一个客体，第三客体， and 和另一个机构这样那个另外机构是那个机构 Organization 的一部分和那个另外机构是 HotelFrontDesk 的 instance 和那个另外机构是 located 在那个另外客体和那个另外客体是那个机构的财产的 element 和那个第三客体是那个机构的财产的 element 和那个客体是那个第三客体的 part 和那个另外客体不 equal 那个第三客体
No TPTP formula. May not be expressible in strict first order.	Government.kif 1313-1318	如果地缘政治区域是机构的 executive 分支和那个地缘政治区域是地缘政治区域的 instance 和另一个机构是那个机构 Organization 的一部分，然后那个另外机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 1307-1311	如果地缘政治区域是机构的 executive 分支和那个地缘政治区域是地缘政治区域的 instance，然后那个机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 1301-1305	如果机构是另一个机构的 executive 分支和那个机构是机构的 instance，然后那个另外机构是那个机构 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 256-264	如果 %2 是 1% 的 government 类别和地缘政治区域是地缘政治区域的 instance 和政体是议会政府的 subAttribute，然后有存在机构这样那个机构是议会的 instance 和那个机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2609-2623	如果过程是疏散的 instance 和机构是那个过程的 agent 和施事体经历了那个过程，然后有存在另一个过程和那个另外过程A 这样那个另外过程是分类的 instance 和那个另外过程%n是那个过程的subProcess 和那个施事体经历了那个另外过程和那个另外过程A 是那个机构 Organization 的一部分或那个另外过程A 是那个机构的 member 或那个另外过程A equal 那个机构和那个另外过程A 是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	如果过程是疏散的 instance 和机构是那个过程的 agent 和客体是那个过程的源头，然后有存在另一个过程和那个另外过程A 这样那个另外过程是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个客体是那个另外过程的源头和那个另外过程A 经历了那个另外过程或那个另外过程A 是那个另外过程的 agent 和那个另外过程A 是那个机构 Organization 的一部分或那个另外过程A 是那个机构的 member 或那个另外过程A equal 那个机构
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	如果过程是疏散的 instance 和施事体经历了那个过程和机构是那个过程的 agent，然后有存在另一个过程和那个另外过程A 这样那个另外过程是治疗过程的 instance 和那个另外过程%n是那个过程的subProcess 和那个另外过程A 是那个机构 Organization 的一部分或那个另外过程A 是那个机构的 member 或那个另外过程A equal 那个机构和那个另外过程A 是那个另外过程的 agent 和那个施事体经历了那个另外过程
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	如果过程是疏散的 instance 和客体是那个过程的源头和机构是那个过程的 agent，然后有存在另一个过程和那个另外过程A 这样那个另外过程是维护的 instance 和那个另外过程是 located 在那个客体和那个另外过程%n是那个过程的subProcess 和那个另外过程A 是那个机构 Organization 的一部分或那个另外过程A 是那个机构的 member 或那个另外过程A equal 那个机构和那个另外过程A 是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	如果过程是疏散的 instance 和客体是那个过程的源头和机构是那个过程的 agent，然后有存在另一个过程和那个另外过程A 这样那个另外过程是运输的 instance 和那个另外过程在那个客体结束和那个另外过程A 是那个机构 Organization 的一部分或那个另外过程A 是那个机构的 member 或那个另外过程A equal 那个机构和那个另外过程A 是那个另外过程的 agent 或那个另外过程A 是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16305-16324	如果过程是组织合并的 instance 和实体是那个过程的 patient 和另一个实体是那个过程的 patient 和那个实体不 equal 那个另外实体，然后不存在第三实体这样那个实体是那个第三实体 Organization 的一部分和那个另外实体是那个第三实体 Organization 的一部分在那个过程出现的 time 的开始 holdsDuring 和有存在第四实体这样那个实体是那个第四实体 Organization 的一部分和那个另外实体是那个第四实体 Organization 的一部分在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 2130-2135	如果地缘政治区域是机构的 judicial 分支和那个地缘政治区域是地缘政治区域的 instance 和另一个机构是那个机构 Organization 的一部分，然后那个另外机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 2124-2128	如果地缘政治区域是机构的 judicial 分支和那个地缘政治区域是地缘政治区域的 instance，然后那个机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 2118-2122	如果机构是另一个机构的 judicial 分支和那个机构是机构的 instance，然后那个另外机构是那个机构 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 2023-2027	如果机构是另一个机构的 legislative 分支和那个机构是机构的 instance，然后那个另外机构是那个机构 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 2029-2033	如果地缘政治区域是机构的 legislative 分支和那个地缘政治区域是地缘政治区域的 instance，然后那个机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Military.kif 693-700	如果有点军事单位是另一个有点军事单位的 sub 梯队和机构是另一个有点军事单位的 instance，然后有存在另一个机构这样那个另外机构是有点军事单位的 instance 和那个机构是那个另外机构 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	如果有点有内用物体是联合出版物的 subclass 和内容承载物理是有点有内用物体的 instance 和那个内容承载物理 contains 公式的资料和施事体是那个有点有内用物体的 authors，然后有存在机构这样那个机构是美军 Organization 的一部分和那个施事体要求那个机构执行那个公式的任务
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 712-724	如果 ExpeditionaryForce 是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个客体是那个另外实体的 Government Organization 的一部分和那个实体是战斗的 instance 和那个客体是那个实体的 agent 和那个第三实体是国家的 instance 和那个实体是 located 在那个第三实体和那个另外实体不 equal 那个第三实体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2559-2561	如果机构是 Business 的 business 单位，然后那个机构是那个 Business Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8427-8435	如果军事单位是另一个军事单位的 hostile 力量，然后有存在比赛，地缘政治区域， and 和另一个地缘政治区域这样那个比赛是战争的 instance 和那个地缘政治区域 participates 在那个比赛和那个另外地缘政治区域 participates 在那个比赛和那个另外军事单位是那个地缘政治区域的 Government Organization 的一部分和那个军事单位是那个另外地缘政治区域的 Government Organization 的一部分

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5558-5558	Aetna 是 CVS Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3077-3077	社会发展委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3079-3079	预防犯罪和刑事司法委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3081-3081	人权委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3083-3083	麻醉药品委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3085-3085	人口与发展委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3087-3087	科学和技术促进发展委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3089-3089	可持续发展委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3091-3091	妇女地位委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4828-4828	国土安全部是美国的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3093-3093	亚洲及太平洋经济社会委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3095-3095	西亚经济社会委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3076-3076	经济和社会理事会是联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3097-3097	非洲经济委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3099-3099	欧洲经济委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3101-3101	拉丁美洲和加勒比经济委员会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4472-4472	FitbitCompany 是 Google Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3103-3103	粮食及农业组织是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 17-17	GoogleCorporation 是 Alphabet公司 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4503-4503	HoldenCorporation 是 GeneralMotorsCorp Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3104-3104	国际原子能机构是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3105-3105	国际重建和发展银行是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3416-3416	国际重建和发展银行是联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4319-4319	国际重建和发展银行是世界银行集团 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3106-3106	国际投资争端秘书处是经济和社会理事会 Organization 的一部分

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: