TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2655-2657
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7684-7689
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1372-1375
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7680-7680	距离的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7681-7681	距离的 2 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7682-7682	距离的 3 数量是长度测量的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7676-7676	距离是单值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7677-7677	距离是空间关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7678-7678	距离是三元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7679-7679	距离是总值关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 621-621
No TPTP formula. May not be expressible in strict first order.	english_format.kif 624-624
No TPTP formula. May not be expressible in strict first order.	french_format.kif 375-375
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 78-78
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2109-2109
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 327-327
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 112-112
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 815-815
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 397-397
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 417-417
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 171-171
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7725-7725	深度是距离的 subrelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 622-622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19937-19937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19936-19936
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 172-172

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 874-880	如果客体是 maritime 宣称 1% 的海洋领土的 instance 和那个客体的 width 是实数测量单位和物理和地区的 distance 是另一个实数那个测量单位和那个另外实数是 lessThanOrEqualTo 那个实数，然后那个物理是 located 在那个客体
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.	Mid-level-ontology.kif 1332-1355	如果客体是 Lever 的 instance 和过程是 Pushing 的 instance 和物理是运动的 instance 和测量单位是 UnitOfLength 的 instance 和那个过程在另一个客体结束和 physicalEnd 那个另外客体 and 那个客体和 physicalEnd 第三客体 and 那个客体和那个另外客体不 equal 那个第三客体和那个另外客体是 located 在那个过程1 在紧接那个物理出现的 time before holdsDuring 和那个另外客体是 located 在那个过程2 在紧接那个物理出现的 time after holdsDuring 和那个第三客体是 located 在那个过程3 在紧接那个物理出现的 time before holdsDuring 和那个第三客体是 located 在那个过程4 在紧接那个物理出现的 time after holdsDuring 和那个过程1 和那个过程2 的 distance 是实数那个测量单位和那个过程3 和那个过程4 的 distance 是另一个实数那个测量单位，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 837-850	如果地区是均匀的周边区域的 instance 和客体是那个地区的 inner 边界的 part 和另一个客体是那个地区的 outer 边界的 part 和那个客体和那个另外客体的 distance 是长度测量和第三客体是那个地区的 inner 边界的 part 和第四客体是那个地区的 outer 边界的 part 和那个第三客体和那个第四客体的 distance 是另一个长度测量，然后那个长度测量 equal 那个另外长度测量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	如果客体在地区的外和另一个客体是那个地区的 perimeter 地区的 instance 和那个另外客体是均匀的周边区域的 instance 和那个另外客体的 width 是实数测量单位和那个客体和那个地区的 distance 是另一个实数那个测量单位和那个测量单位是测量单位的 instance 和 (那个另外实数和那个实数) 是 greaterThan 0.0，然后那个客体不是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	如果客体在地区的外和另一个客体是那个地区的 perimeter 地区的 instance 和那个另外客体是均匀的周边区域的 instance 和那个另外客体的 width 是实数测量单位和那个客体和那个地区的 distance 是另一个实数那个测量单位和那个测量单位是测量单位的 instance 和 (那个另外实数和那个实数) 是 lessThanOrEqualTo 0.0，然后那个客体是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11082-11092	如果客体%n是实体 path 和另一个客体是运动的源头和那个运动在第三客体结束和那个客体的 length 是实数测量单位和那个另外客体和那个第三客体的 distance 是另一个实数那个测量单位和那个实数不是 greaterThan 那个另外实数和第四客体是那个客体的 part，然后那个第四客体是在那个另外客体和那个第三客体 between
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1295-1315	如果 physicalEnd 客体 and 另一个客体和 physicalEnd 第三客体 and 那个另外客体和第四客体是那个客体的 part 和第五客体是那个第三客体的 part 和测量单位是 UnitOfLength 的 instance 和那个第四客体和那个第五客体的 distance 是实数那个测量单位和那个客体不 equal 那个第三客体，然后不存在那个另外客体P1，那个另外客体P2， and 和另一个实数这样那个另外客体P1 不是那个客体的 part 和那个另外客体P2 不是那个第三客体的 part 和那个另外客体P1 和那个另外客体P2 的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17947-17962	如果 physicalEnd 客体 and 另一个客体和 physicalEnd 第三客体 and 那个另外客体和那个客体不 equal 那个第三客体和那个客体和那个第三客体的 distance 是实数测量单位，然后不存在那个另外客体P1，那个另外客体P2， and 和另一个实数这样 physicalEnd 那个另外客体P1 and 那个另外客体和 physicalEnd 那个另外客体P2 and 那个另外客体和那个另外客体P1 不 equal 那个另外客体P2 和那个另外客体P1 和那个另外客体P2 的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数
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.	Merge.kif 7691-7693	如果物理和另一个物理的 distance 是长度测量，然后那个另外物理和那个物理的 distance 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9768-9774	如果有存在自身连接物体和另一个自身连接物体这样那个自身连接物体是第三自身连接物体的一 side 和那个另外自身连接物体是那个第三自身连接物体的一 side 和那个自身连接物体和那个另外自身连接物体的 distance 是长度测量，然后那个第三自身连接物体的 width 是那个长度测量

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4711-4720	公海是客体的 attribute 若且唯若有存在物理和实数这样那个客体是盐水区的 instance 和那个客体不是内陆水域的 instance 和那个物理和那个客体的 distance 是那个实数海里和那个实数是 greaterThan 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7718-7723	如果自身连接物体的 altitude 是物理，然后有存在另一个自身连接物体这样那个另外自身连接物体是那个自身连接物体的 top 和那个另外自身连接物体和那个物理的 distance 是长度测量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7695-7697	如果物理的 altitude 是另一个物理，然后那个物理和那个另外物理的 distance 是长度测量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1922-1930	如果实数测量单位是自身连接物体的 elevation 和那个测量单位是 UnitOfLength 的 instance 和那个自身连接物体是土地形式的 instance，然后有存在另一个自身连接物体这样那个另外自身连接物体是那个自身连接物体的 top 和那个另外自身连接物体和海平面的 distance 是那个实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9776-9781	如果自身连接物体的 height 是长度测量和另一个自身连接物体是那个自身连接物体的 top 和那个自身连接物体的 bottom 是第三自身连接物体，然后那个另外自身连接物体和那个第三自身连接物体的 distance 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1943-1965	如果过程是 EngineCycle 的 instance 和发动机是内燃机的 instance 和客体是 Piston 的 instance 和测量单位是 UnitOfLength 的 instance 和那个客体是那个发动机的 part 和那个客体是那个过程的 patient 和那个过程是 located 在那个发动机和 pistonStroke 那个发动机 and 实数那个测量单位，然后不存在时距，另一个时距,，，物理,，，另一个物理， and 和另一个实数这样那个时距在那个过程出现的 time 时段内发生和那个另外时距在那个过程出现的 time 时段内发生和那个客体是 located 在那个物理在那个时距 holdsDuring 和那个客体是 located 在那个另外物理在那个另外时距 holdsDuring 和那个物理和那个另外物理的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1393-1411	如果过程是 MovingAwayFromPeople 的 instance 和施事体是那个过程的 agent，然后有存在实体，另一个实体,，，实数， and 和另一个实数这样那个实体是人类的 instance 和那个另外实体是 UnitOfLength 的 instance 和那个过程和那个施事体的 distance 是那个实数那个另外实体在紧接那个过程出现的 time before holdsDuring 和那个过程和那个施事体的 distance 是那个另外实数那个另外实体在紧接那个过程出现的 time after holdsDuring 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1427-1445	如果过程是 MovingTowardsPeople 的 instance 和施事体是那个过程的 agent，然后有存在实体，另一个实体,，，实数， and 和另一个实数这样那个实体是人类的 instance 和那个另外实体是 UnitOfLength 的 instance 和那个过程和那个施事体的 distance 是那个实数那个另外实体在紧接那个过程出现的 time before holdsDuring 和那个过程和那个施事体的 distance 是那个另外实数那个另外实体在紧接那个过程出现的 time after holdsDuring 和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Military.kif 759-769	如果过程是拉的 instance 和施事体是那个过程的 agent 和那个过程ULLED 是那个过程的 patient 和那个过程在另一个实体结束，然后那个施事体和那个另外实体的 distance 是第三实体和那个过程ULLED 和那个另外实体的 distance 是第四实体和那个第四实体是 greaterThan 那个第三实体在那个过程 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17638-17656	如果时距是拉的 instance 和客体是那个时距的源头和施事体是那个时距的 agent 和那个施事体是 located 在那个施事体LOC 在那个时距的开始 holdsDuring 和那个时距在另一个实体结束，然后有存在第三实体，第四实体， and 和第五实体这样那个施事体LOC 和那个另外实体的 distance 是那个第五实体那个第四实体和那个施事体LOC 和那个客体的 distance 是那个第三实体那个第四实体和那个第三实体是 greaterThan 那个第五实体在紧接那个时距的开始 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17616-17634	如果时距是 Pushing 的 instance 和客体是那个时距的源头和施事体是那个时距的 agent 和那个施事体是 located 在那个施事体LOC 在那个时距的开始 holdsDuring 和那个时距在另一个实体结束，然后有存在第三实体，第四实体， and 和第五实体这样那个施事体LOC 和那个另外实体的 distance 是那个第五实体那个第四实体和那个施事体LOC 和那个客体的 distance 是那个第三实体那个第四实体和那个第三实体是 greaterThan 那个第五实体在紧接那个时距的开始 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 693-706	如果过程是热带气旋的 instance 和那个过程在物理结束和那个物理是地理区域的 instance，然后不存在客体，另一个物理， and 和实数这样那个客体是土地面积的 instance 和那个另外物理是海岸线的 instance 和那个物理是 located 在那个客体和那个客体和那个另外物理的 distance 是那个实数英里和那个实数是 greaterThan 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4697-4703	如果客体是南极极地电流的源头和南极极地电流在物理结束，然后那个客体和那个物理的 distance 是 21000.0 仪表的一千倍
No TPTP formula. May not be expressible in strict first order.	Cars.kif 751-768	如果 physicalAmplitude 震 and 实数测量单位和那个测量单位是 UnitOfLength 的 instance 和实体是那个震的 patient，然后不存在物理，另一个物理,，，那个震1,，，那个震2， and 和那个实数2 这样那个震1 在那个震出现的 time 时段内发生和那个震2 在那个震出现的 time 时段内发生和那个实体是 located 在那个物理在那个震1 holdsDuring 和那个实体是 located 在那个另外物理在那个震2 holdsDuring 和那个物理和那个另外物理的 distance 是那个实数2 那个测量单位和那个实数2 是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 737-749	如果 physicalAmplitude 震 and 长度测量和实体是那个震的 patient，然后有存在物理，另一个物理,，，那个震1， and 和那个震2 这样那个震1 在那个震出现的 time 时段内发生和那个震2 在那个震出现的 time 时段内发生和那个实体是 located 在那个物理在那个震1 holdsDuring 和那个实体是 located 在那个另外物理在那个震2 holdsDuring 和那个物理和那个另外物理的 distance 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1295-1315	如果 physicalEnd 客体 and 另一个客体和 physicalEnd 第三客体 and 那个另外客体和第四客体是那个客体的 part 和第五客体是那个第三客体的 part 和测量单位是 UnitOfLength 的 instance 和那个第四客体和那个第五客体的 distance 是实数那个测量单位和那个客体不 equal 那个第三客体，然后不存在那个另外客体P1，那个另外客体P2， and 和另一个实数这样那个另外客体P1 不是那个客体的 part 和那个另外客体P2 不是那个第三客体的 part 和那个另外客体P1 和那个另外客体P2 的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17947-17962	如果 physicalEnd 客体 and 另一个客体和 physicalEnd 第三客体 and 那个另外客体和那个客体不 equal 那个第三客体和那个客体和那个第三客体的 distance 是实数测量单位，然后不存在那个另外客体P1，那个另外客体P2， and 和另一个实数这样 physicalEnd 那个另外客体P1 and 那个另外客体和 physicalEnd 那个另外客体P2 and 那个另外客体和那个另外客体P1 不 equal 那个另外客体P2 和那个另外客体P1 和那个另外客体P2 的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance 和那个时距是一天的时间的 instance 和过程是看着的 instance 和客体是客体的 instance 和那个客体是黑色的 color 和施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程是 located 在那个地区和那个过程出现的 time 在那个时距时段内发生和那个客体是客体的 instance，然后有存在另一个实数这样那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance 和那个时距是晚上的时间的 instance 和过程是看着的 instance 和客体是地区的 instance 和发光的是那个客体的 attribute 和那个客体的 measure 是 1000.0 坎德拉和施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程是 located 在那个地区和那个过程出现的 time 在那个时距时段内发生和那个客体是客体的 instance，然后有存在另一个实数这样那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2709-2726	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance，然后不存在过程，施事体,，，客体， and 和另一个实数这样那个过程是看着的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程出现的 time 在那个时距时段内发生和那个过程是 located 在那个地区和那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7740-7745	如果对于物理从自身连接物体的 depth 是长度测量，然后有存在另一个自身连接物体这样那个自身连接物体的 bottom 是那个另外自身连接物体和那个另外自身连接物体和那个物理的 distance 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7691-7693	如果物理和另一个物理的 distance 是长度测量，然后那个另外物理和那个物理的 distance 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1914-1920	如果长度测量是客体的 elevation ，然后有存在另一个客体这样那个另外客体是海平面的 properPart 和那个客体在那个另外客体的垂直和那个客体和那个另外客体的 distance 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 825-828	如果地区是均匀的周边区域的 instance，然后有存在长度测量这样那个地区的 inner 边界和那个地区的 outer 边界的 distance 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1420-1440	如果波高水波 and 长度测量，然后有存在客体，另一个客体,，，第三客体， and 和测量单位这样那个客体是水体的 instance 和那个水波是 located 在那个客体和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part 和那个另外客体和那个第三客体的 distance 是那个长度测量和不存在第四客体和那个第四客体H 这样那个第四客体是那个客体的 part 和那个第四客体的 altitude 是那个另外客体和那个第四客体H 是 greaterThan 0.0 和不存在第五客体和那个第五客体H 这样那个第五客体是那个客体的 part 和那个第三客体的 altitude 是那个第五客体和那个第五客体H 是 greaterThan 0.0

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: