TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9574-9574	接触和重叠是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2828-2829
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9576-9578
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1570-1572
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9568-9568	接触的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9569-9569	接触的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9573-9573	接触是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9571-9571	接触是非自反关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9572-9572	接触是对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9570-9570	接触和相连是内部相关

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 365-365
No TPTP formula. May not be expressible in strict first order.	english_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.	french_format.kif 211-211
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 179-179
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2018-2018
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 163-163
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 218-218
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 486-486
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 217-217
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 231-231
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 228-228
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 354-354
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11494-11494	抓住是接触的 subrelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 366-366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36917-36917
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36916-36916
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36915-36915
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 355-355

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	如果 allergic 人类 and 有点物质和有点物质UB 是那个有点物质的 instance 和那个有点物质UB 接上那个人类在时间位置 holdsDuring，然后有存在另一个实体这样那个另外实体是 AllergicReaction 的 instance 和那个人类经历了那个另外实体和那个另外实体出现的 time 时段和那个时间位置重叠和那个时间位置的开始%n在那个另外实体出现的 time 的开始before发生的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1838-1860	如果 LateralRecumbant 是客体的 attribute 和那个客体在另一个客体的上在时间位置 holdsDuring 和第三客体是 LeftArm 的 instance 和那个第三客体是那个客体的 part 和第四客体是 RightArm 的 instance 和那个第四客体是那个客体的 part 和第五客体是 LeftLeg 的 instance 和那个第五客体是那个客体的 part 和第六客体是 RightLeg 的 instance 和那个第六客体是那个客体的 part 和那个第三客体接上那个另外客体或那个第五客体接上那个另外客体，然后那个第四客体不接上那个另外客体和那个第六客体不接上那个另外客体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	如果 LateralRecumbant 是客体的 attribute 和那个客体在另一个客体的上在时间位置 holdsDuring 和第三客体是 LeftArm 的 instance 和那个第三客体是那个客体的 part 和第四客体是 RightArm 的 instance 和那个第四客体是那个客体的 part 和第五客体是 LeftLeg 的 instance 和那个第五客体是那个客体的 part 和第六客体是 RightLeg 的 instance 和那个第六客体是那个客体的 part 和那个第四客体接上那个另外客体或那个第六客体接上那个另外客体，然后那个第三客体不接上那个另外客体和那个第五客体不接上那个另外客体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	如果客体是盔甲的 instance 和那个客体是另一个客体的 part 或那个客体接上那个另外客体，然后那个客体的目的是有存在实体这样那个实体是维护的 instance 和那个客体是导致那个实体的 instrument 和那个另外客体经历了那个实体
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	如果客体是盔甲的 instance 和那个客体是另一个客体的 part 或那个客体接上那个另外客体，然后那个客体的目的是不存在实体这样那个实体是损坏的 instance 和那个客体是导致那个实体的 instrument 和那个另外客体经历了那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5016-5025	如果客体是气泡的 instance 和不存在另一个客体和属性这样那个属性是那个另外客体的 attribute 和那个另外客体不 equal 加油站和那个另外客体接上那个客体，然后中凸的圆形是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 753-763	如果过程是飓风的 instance 和那个过程是 located 在客体和那个客体是地理区域的 instance 和那个客体是 located 在另一个客体或那个客体接上那个另外客体，然后那个另外客体 equal NortheasternPacificOcean 或那个另外客体 equal 北大西洋
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5246-5251	如果客体是进口的 instance 和那个客体接上另一个客体和那个另外客体是淡水区的 instance，然后那个客体是淡水区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5239-5244	如果客体是进口的 instance 和那个客体接上另一个客体和那个另外客体是盐水区的 instance，然后那个客体是盐水区的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14208-14214	如果客体是岛的 instance 和另一个客体是地理区域的 instance 和那个客体接上那个另外客体，然后那个另外客体不是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1075-1082	如果地理区域是海运货架区的 instance 和客体是大陆棚的 instance 和施事体是国家的 instance 和那个客体接上那个施事体和那个施事体是那个地理区域的 claimed 领土，然后那个地理区域和那个客体重叠
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	如果 muscleInsertion 有点肌肉 and 有点身体部位和客体是人类的 instance 和 StandardAnatomicalPosition 是那个客体的 attribute 在时距 holdsDuring 和 Healthy 是那个客体的 attribute 和另一个时距是 MuscularContraction 的 instance 和那个另外时距出现的 time 在那个时距时段内发生和另一个客体是有点肌肉的 instance 和那个另外客体是那个客体的 part 和那个另外客体是导致那个另外时距的 instrument 和 physicalEnd 第三客体 and 那个另外客体和那个第三客体接上第四客体和那个第三客体是 located 在实体在那个另外时距的开始 holdsDuring，然后那个第三客体不是 located 在那个实体在那个另外时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	如果 muscleOrigin 有点肌肉 and 有点身体部位和客体是人类的 instance 和 StandardAnatomicalPosition 是那个客体的 attribute 在时距 holdsDuring 和 Healthy 是那个客体的 attribute 和另一个时距是 MuscularContraction 的 instance 和那个另外时距出现的 time 在那个时距时段内发生和另一个客体是有点肌肉的 instance 和那个另外客体是那个客体的 part 和那个另外客体是导致那个另外时距的 instrument 和 physicalEnd 第三客体 and 那个另外客体和那个第三客体接上第四客体和那个第三客体是 located 在实体在那个另外时距的开始 holdsDuring，然后那个第三客体是 located 在那个实体在那个另外时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17906-17931	如果 relativeAngle 客体, 另一个客体 and 实数和 physicalEnd 第三客体 and 那个客体和 physicalEnd 第四客体 and 那个客体和那个第三客体不 equal 那个第四客体和那个客体的 length 是那个实数1 测量单位和那个另外客体的 length 是那个实数2 那个测量单位和那个第三客体和第五客体的 distance 是那个实数3 那个测量单位和 physicalEnd 那个第五客体 and 那个另外客体和 physicalEnd 第六客体 and 那个另外客体和那个第五客体不 equal 那个第六客体和那个第三客体不接上那个第五客体，然后那个实数 equal ArcCosineFn ((那个实数3 和那个实数3 和那个实数1 和那个实数1) 和那个实数2 和那个实数2) 和 2.0 和那个实数1 和那个实数2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 724-726	如果客体接上另一个客体，然后那个客体和那个另外客体不重叠
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 864-866	如果客体接上另一个客体，然后那个客体在那个另外客体的邻
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6163-6165	如果客体接上另一个客体，然后那个客体在那个另外客体的邻

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4078-4095	如果几何图是客体的 attribute 和那个客体是 FourPosterBed 的 instance 和那个几何图是四边形的 instance 和那个几何图的 side 是一维图和那个几何图的 side 是另一个一维图和那个一维图不 equal 那个另外一维图，然后有存在另一个客体，第三客体,，，几何点， and 和第四客体这样那个另外客体是那个客体的 part 和那个第三客体是地板的 instance 和那个客体在那个第三客体的上和那个另外客体在那个第三客体的垂直和那个一维图是对于那个几何点的交接点那个另外一维图和那个几何点是那个第四客体的 attribute 和那个第四客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29752-29756	如果 covers 客体 and 另一个客体和第三客体是那个另外客体的 superficialPart，然后那个客体接上那个第三客体
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1838-1860	如果 LateralRecumbant 是客体的 attribute 和那个客体在另一个客体的上在时间位置 holdsDuring 和第三客体是 LeftArm 的 instance 和那个第三客体是那个客体的 part 和第四客体是 RightArm 的 instance 和那个第四客体是那个客体的 part 和第五客体是 LeftLeg 的 instance 和那个第五客体是那个客体的 part 和第六客体是 RightLeg 的 instance 和那个第六客体是那个客体的 part 和那个第三客体接上那个另外客体或那个第五客体接上那个另外客体，然后那个第四客体不接上那个另外客体和那个第六客体不接上那个另外客体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	如果 LateralRecumbant 是客体的 attribute 和那个客体在另一个客体的上在时间位置 holdsDuring 和第三客体是 LeftArm 的 instance 和那个第三客体是那个客体的 part 和第四客体是 RightArm 的 instance 和那个第四客体是那个客体的 part 和第五客体是 LeftLeg 的 instance 和那个第五客体是那个客体的 part 和第六客体是 RightLeg 的 instance 和那个第六客体是那个客体的 part 和那个第四客体接上那个另外客体或那个第六客体接上那个另外客体，然后那个第三客体不接上那个另外客体和那个第五客体不接上那个另外客体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1799-1807	如果 Prone 是客体的 attribute 和那个客体在另一个客体的上在时间位置 holdsDuring 和第三客体是 Chest 的 instance 和那个第三客体是那个客体的 part，然后那个第三客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1814-1821	如果 Supine 是自身连接物体的 attribute 和那个自身连接物体在客体的上在时间位置 holdsDuring 和另一个自身连接物体 equal 那个自身连接物体的后面，然后那个另外自身连接物体接上那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22018-22025	如果客体是刀片的 instance 和过程是切开的 instance 和另一个客体是客体的 instance 和那个客体是导致那个过程的 instrument 和那个另外客体是那个过程的 patient，然后那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1741-1761	如果物理是 Cavitating 的 instance 和自身连接物体是泵的 instance 和设备上是那个自身连接物体的 attribute 和液体是客体的 attribute 和那个自身连接物体 contains 那个客体，然后有存在那个自身连接物体P 和实体这样那个自身连接物体P 是那个自身连接物体的 part 和那个自身连接物体P 的目的是液体是那个实体的 attribute 和那个实体接上那个自身连接物体P 和不存在另一个实体这样液体是那个另外实体的 attribute 和那个自身连接物体P 接上那个另外实体在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	如果客体是水晶的 instance 和单晶结构是那个客体的 attribute 和自身连接物体是物质的 instance 和固体是那个自身连接物体的 attribute 和多晶结构是那个自身连接物体的 attribute 和另一个自身连接物体是物质的 instance 和那个另外自身连接物体是那个自身连接物体的 surface 和那个客体不是那个另外自身连接物体的 part，然后有存在那个客体LNT，整数， and 和另一个客体这样那个客体LNT 是群体的 instance 和那个整数是那个客体LNT 的 member 计数和那个整数是 greaterThanOrEqualTo 4 和如果那个另外客体是那个客体LNT 的 member，然后那个另外客体是那个自身连接物体的 part 和那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9939-9947	如果客体是洞的 instance 和另一个客体是那个客体的 properPart，然后有存在第三客体这样那个客体接上那个第三客体和那个另外客体不接上那个第三客体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4287-4299	如果客体是卷轴的 instance 和过程是保存的 instance 和另一个客体是躯体性物体的 instance 和又长又瘦是那个另外客体的 attribute 和易弯的是那个另外客体的 attribute 和那个客体是导致那个过程的 instrument 和那个另外客体是那个过程的 patient，然后有存在第三客体这样那个第三客体是那个另外客体的 part 和那个第三客体接上那个客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5823-5837	如果自身连接物体是地峡的 instance 和另一个自身连接物体是那个自身连接物体的一 side 和第三自身连接物体是那个自身连接物体的一 side 和那个另外自身连接物体不 equal 那个第三自身连接物体，然后有存在客体，另一个客体,，，第三客体， and 和第四客体这样那个客体是土地面积的 instance 和那个另外客体是土地面积的 instance 和那个自身连接物体是在那个客体和那个另外客体 between 和那个第三客体是水域的 instance 和那个第四客体是水域的 instance 和那个另外自身连接物体接上那个第三客体和那个第三自身连接物体接上那个第四客体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 902-915	如果客体是 LeafSpring 的 instance 和那个客体是另一个客体的 part 和那个另外客体是公路车辆的 instance，然后有存在那个客体2 这样那个客体2 是 LeafSpring 的 instance 和那个客体2 是那个另外客体的 part 和那个客体不 equal 那个客体2 和那个客体接上那个客体2 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7497-7509	如果自身连接物体是液体滴的 instance 和另一个自身连接物体是那个自身连接物体的 surface，然后有存在那个另外自身连接物体S 和另一个实体这样那个另外实体是物质的 instance 和液体是那个另外实体的 attribute 和那个自身连接物体不 equal 那个另外实体和那个另外自身连接物体S 是那个另外实体的 surface 和那个另外自身连接物体接上那个另外自身连接物体S 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4819-4833	如果自身连接物体是客体的 instance 和中凸的圆形是那个自身连接物体的 attribute 和另一个自身连接物体是那个自身连接物体的 surface 和那个另外自身连接物体是二维物体的 instance，然后对所有几何点那个几何点是那个自身连接物体的 part 和几何点是那个几何点的 attribute 和那个几何点是那个自身连接物体的顶点和那个几何点接上那个自身连接物体和那个几何点接上那个另外自身连接物体和有存在一维图这样那个另外自身连接物体的 tangent 是那个一维图
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4016-4024	如果躯体性物体是山脉的 instance 和客体是那个躯体性物体的 part，然后有存在另一个躯体性物体这样那个另外躯体性物体是那个躯体性物体的 component 和那个另外躯体性物体是山的 instance 和那个客体接上那个另外躯体性物体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	如果客体是锯的 instance 和过程是切开的 instance 和那个客体是导致那个过程的 instrument 和另一个客体是客体的 instance 和那个另外客体是那个过程的 patient，然后有存在另一个过程，实体,，，另一个实体,，，时距,，，时间位置,，，另一个时间位置， and 和第三客体这样那个另外过程是运动的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三客体是切割装置的 instance 和那个第三客体是那个客体的 part 和那个第三客体接上那个另外客体和那个第三客体是那个另外过程的 patient 和那个另外时间位置是时距的 instance 和那个另外时间位置是时距的 instance 和那个另外过程出现的 time equal 那个时距和那个时距时段是那个时间位置时段的一 part 和那个时距时段是那个另外时间位置时段的一 part 和那个实体是方向属性的 instance 和那个另外实体是方向属性的 instance 和如果那个另外过程过程的实体向那个实体在那个时间位置 holdsDuring，然后那个另外过程过程的实体向那个另外实体和那个实体 equal 那个另外实体或那个另外实体是那个实体的 opposite 方向和 ~{ 那个实体 equal 那个另外实体 } 或 ~{ 那个另外实体是那个实体的 opposite 方向 } 在那个另外时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6152-6161	如果客体是岸区的 instance 和另一个客体是水域的 instance 和那个客体在那个另外客体的邻，然后有存在第三客体这样那个第三客体是海岸线的 instance 和那个第三客体是那个客体的 part 和那个第三客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1651-1672	如果过程是龙卷风的 instance 和另一个过程是旋转的 instance 和客体是空气的 instance 和那个过程RAN 是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个过程RAN%n是那个另外过程的subProcess 和那个客体是那个过程RAN 的 patient 和那个过程RAN 过程的实体向横，然后有存在另一个客体，自身连接物体,，，那个过程OP,，，第三自身连接物体,，，第四自身连接物体， and 和第五自身连接物体这样那个另外客体是地理区域的 instance 和那个过程是 located 在那个另外客体和那个自身连接物体是那个客体的 part 和 ConeSegment 是那个自身连接物体的 attribute 和那个过程OP 是那个自身连接物体的 top 和那个自身连接物体的 bottom 是那个第三自身连接物体和那个第四自身连接物体是云的 instance 和那个第四自身连接物体的 bottom 是那个第五自身连接物体和那个过程OP 接上那个第五自身连接物体和那个第三自身连接物体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Weather.kif 787-794	如果过程是台风的 instance 和那个过程是 located 在客体和那个客体是地理区域的 instance，然后那个客体是 located 在 NorthwesternPacificOcean 或那个客体接上 NorthwesternPacificOcean
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1289-1293	如果 physicalEnd 客体 and 另一个客体和第三客体是那个另外客体的 superficialPart，然后那个客体接上那个第三客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1280-1287	如果 physicalEnd 客体 and 另一个客体和 physicalEnd 第三客体 and 那个另外客体和那个客体不 equal 那个第三客体，然后那个客体不接上那个第三客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5072-5080	如果动物 wears 可穿戴物品和那个可穿戴物品是带的 instance，然后有存在另一个可穿戴物品这样那个另外可穿戴物品是服装的 instance 和那个动物 wears 那个另外可穿戴物品和那个可穿戴物品接上那个另外可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5120-5128	如果动物 wears 可穿戴物品和那个可穿戴物品是领的 instance，然后有存在客体这样那个客体是颈部的 instance 和那个客体是那个动物的 part 和那个可穿戴物品接上那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5135-5143	如果动物 wears 可穿戴物品和那个可穿戴物品是手套的 instance，然后有存在客体这样那个客体是手的 instance 和那个客体是那个动物的 part 和那个可穿戴物品接上那个客体

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.	CountriesAndRegions.kif 866-866	阿拉巴马接上密西西比州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 882-882	阿拉斯加州接上北冰洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 880-880	阿拉斯加州接上加拿大
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 881-881	阿拉斯加州接上太平洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 885-885	Arizona 接上加州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 886-886	Arizona 接上墨西哥
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 884-884	Arizona 接上 Nevada
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 892-892	阿肯色州接上路易斯安那州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 890-890	阿肯色州接上 Oklahoma
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 891-891	阿肯色州接上德州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 136-136	Bassas da 印度接上印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 138-138	布维岛接上南大西洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 904-904	加州接上墨西哥
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 905-905	加州接上新墨西哥
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 906-906	加州接上 Oregon
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 903-903	加州接上太平洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 907-907	加州接上华盛顿
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 410-410	加拿大接上美国
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 910-910	科罗拉多州接上 Arizona
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 911-911	科罗拉多州接上新墨西哥
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 912-912	科罗拉多州接上德州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 909-909	科罗拉多州接上犹他州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 920-920	Delaware 接上马里兰
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 919-919	Delaware 接上北大西洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 921-921	Delaware 接上宾夕法尼亚

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: