TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2212-2213
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4704-4706
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 876-877
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4700-4700	乘法函数的 1 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4701-4701	乘法函数的 2 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5295-5295	1 是乘法函数的单位元
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4696-4696	乘法函数是结合函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4695-4695	乘法函数是二元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4697-4697	乘法函数是交换函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4699-4699	乘法函数是总值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4702-4702	乘法函数的 range 是实数的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 680-680
No TPTP formula. May not be expressible in strict first order.	english_format.kif 682-682
No TPTP formula. May not be expressible in strict first order.	french_format.kif 413-413
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 196-196
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2130-2130
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 365-365
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 422-422
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 887-887
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 234-234
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 435-435
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 457-457
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 377-377
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39185-39185
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 681-681
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39184-39184
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39183-39183
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 378-378

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	如果实数测量单位是地理区域的 arable 土地和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个另外实数是面积测量的 instance 和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 arable 土地
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5118-5129	如果整数不 equal 0 和 (取另一个整数和那个整数的底整数和那个整数和第三整数) equal 那个另外整数，然后那个另外整数模除那个整数 equal 那个第三整数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2165-2176	如果实数测量单位是地理区域的 other 土地使用地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance 和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 other 土地使用地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2125-2136	如果实数测量单位是地理区域的 permanent 农作地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance 和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 permanent 农作地区
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1107-1115	如果地缘政治区域是对于实数和有点时距在周期行业属性的 GDP sector 组成和那个地缘政治区域是对于有点时距在周期另一个实数测量单位的 totalGDP 和第三实数 equal 那个实数和那个另外实数，然后那个地缘政治区域是那个第三实数那个测量单位和那个有点时距在周期那个行业属性的 sector GDP 价值
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 587-597	如果金融账户是对于时距的 simple 利息实数测量单位和另一个实数那个测量单位是那个金融账户的 principal 总额和第三实数-Decimal equal 那个实数和那个另外实数和那个第三实数 equal 那个第三实数-Decimal 和 100.0，然后那个金融账户是对于那个时距每周期那个第三实数的 interest 速率
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5968-5982	如果 typicalBloodVolume 有点哺乳动物 and 实数测量单位和 bloodVolume 实体 and 那个实数2 那个测量单位在时间位置 holdsDuring 和那个实体是有点哺乳动物的 instance 和那个实数2 和 2.0 是 greaterThan 那个实数和那个实数2 是 lessThan 0.8 和那个实数，然后 SevereBloodLoss 是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5950-5962	如果 typicalBloodVolume 有点哺乳动物 and 实数测量单位和 bloodVolume 实体 and 那个实数2 那个测量单位在时间位置 holdsDuring 和那个实体是有点哺乳动物的 instance 和那个实数2 和 2.0 是 lessThan 那个实数，然后 CatastrophicBloodLoss 是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13710-13714	如果实数 equal 1 和那个实数，然后那个实数 MillenniumDuration equal 那个实数和 1000 年持续时间
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3912-3919	如果实数 equal 1.0 和那个实数，然后那个实数海里 equal 那个实数和 1.151 英里
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3894-3901	如果实数 equal 1.0 和那个实数，然后那个实数海里 equal 那个实数和 1.852 仪表的一千倍
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3885-3892	如果实数 equal 1.0 和那个实数，然后那个实数海里 equal 那个实数和 1852.0 仪表
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3903-3910	如果实数 equal 1.0 和那个实数，然后那个实数海里 equal 那个实数和 6076.1 脚长
No TPTP formula. May not be expressible in strict first order.	Geography.kif 625-631	如果实数 equal 1.0 和那个实数，然后那个实数平方千米 equal 那个实数和 1000000.0 平方米
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19091-19095	如果实数 equal 1 和那个实数，然后那个实数 CenturyDuration equal 那个实数和 100 年持续时间
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8795-8799	如果实数 equal 1 和那个实数，然后那个实数 DecadeDuration equal 那个实数和 10 年持续时间
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3844-3848	如果实数 equal 1.0 和那个实数，然后那个实数推测 equal 那个实数和 6.0 脚长
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13645-13649	如果实数 equal 1.0 和那个实数，然后那个实数长吨 equal 那个实数和 2240.0 磅质量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19110-19116	如果实数 equal 1.0 和那个实数，然后那个实数 Nanometer equal 那个实数和 0.000000001 仪表
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13695-13699	如果实数 equal 1.0 和那个实数，然后那个实数注册表吨 equal 那个实数和 100.0 立方英尺
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13618-13622	如果实数 equal 1.0 和那个实数，然后那个实数吨质量 equal 那个实数和 2205.0 磅质量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19100-19104	如果实数 equal 1.0 和那个实数，然后那个实数院子长度 equal 3.0 和那个实数脚长

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13632-13638	物理的 measure 是实数公吨若且唯若那个物理的 measure 是那个实数和 2205.0 磅质量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 378-380	物理的 measure 是实数圆周角度若且唯若那个物理的 measure 是 60.0 和那个实数弧分
No TPTP formula. May not be expressible in strict first order.	Geography.kif 397-399	物理的 measure 是实数弧分若且唯若那个物理的 measure 是 60.0 和那个实数弧秒
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	如果实数测量单位是地理区域的 arable 土地和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance，然后有存在另一个地理区域这样那个另外地理区域是耕地的 instance 和那个另外地理区域是那个地理区域的 geographic 次要地区和那个另外地理区域的 measure 是那个实数和那个另外实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	如果穆斯林是施事体的 attribute 和属于那个施事体的资产值 equal 货币测量，然后有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是天课的 instance 和那个第四实体是年的 instance 和那个第四实体在那个施事体出现的 time 时段内发生和完全成型是那个施事体的 attribute 在那个第四实体 holdsDuring 和那个施事体是那个实体的 agent 和那个另外实体是那个实体的 patient 和那个另外实体的价值是那个第五实体那个第三实体和那个第三实体是 UnitOfCurrency 的 instance 和那个第五实体是 greaterThan 那个货币测量和 0.025 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Geography.kif 659-669	如果地理区域 comparative 地区 BinaryRelationExtendedToQuantities 对于正实数跟另一个地理区域在一起和测量单位是 UnitOfArea 的 instance 和那个地理区域的 measure 是实数那个测量单位和那个另外地理区域的 measure 是另一个实数那个测量单位，然后那个 BinaryRelationExtendedToQuantities 那个实数那个测量单位 and 那个正实数和那个另外实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13593-13602	如果有点客体的预期 value 是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance，然后有存在实体和那个实数UANTITY 这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个测量单位和那个实数UANTITY 是 greaterThan 那个实数和 1.5 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13604-13613	如果有点客体的预期 value 是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance，然后有存在实体和那个实数UANTITY 这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个测量单位和那个实数UANTITY 是 lessThan 那个实数和 .5 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5105-5116	如果整数模除另一个整数 equal 第三整数和那个另外整数不 equal 0，然后 (取那个整数和那个另外整数的底整数和那个另外整数和那个第三整数) equal 那个整数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1470-1481	如果实数 equal 方差均差函数另一个实数 and 串列和 1 equal 那个串列的长度，然后那个实数 equal (那个另外实数和那个串列的第 1 几个元素) 和 (那个另外实数和那个串列的第 1 几个元素)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5915-5924	如果人类是人类成人的 instance 和那个人类的 measure 是实数 Pounds，然后 bloodVolume 那个人类 and 那个实数2 升和那个实数2 equal 那个实数和 0.07 和 2.33
No TPTP formula. May not be expressible in strict first order.	Food.kif 2969-2986	如果客体是 OnePercentMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 equal 0.01 和那个实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	如果客体是 SemiSkimmedMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 是 greaterThanOrEqualTo 0.015 和那个实数和那个实数2 是 lessThanOrEqualTo 0.02 和那个实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	如果客体是 SkimmedMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 是 greaterThanOrEqualTo 0.0 和那个实数和那个实数2 是 lessThanOrEqualTo 0.005 和那个实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2945-2962	如果客体是 TwoPercentMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 equal 0.02 和那个实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2851-2869	如果客体是 WholeMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 是 greaterThanOrEqualTo 0.0325 和那个实数和那个实数2 是 lessThanOrEqualTo 0.05 和那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5087-5092	如果实数是整数的 instance 和那个实数不 equal 0，然后 1 equal 那个实数和那个实数的倒数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3079-3093	如果时间位置是变压器的 instance 和 WireCoil 是 WireCoil 的 instance 和另一个 WireCoil 是 WireCoil 的 instance 和 coilCount 那个 WireCoil and 整数和 coilCount 那个另外 WireCoil and 另一个整数和那个 WireCoil 的 measure 是伏特实数在那个时间位置 holdsDuring，然后那个另外 WireCoil 的 measure 是伏特另一个实数在那个时间位置 holdsDuring 和那个另外实数 equal 那个实数和那个另外整数和那个整数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1515-1530	如果水波是水波的 instance 和波高那个水波 and 长度测量，然后有存在串列，水域,，，测量单位， and 和实数这样那个长度测量是那个串列的 member 和那个水域是水域的 instance 和那个水波是 located 在那个水域和那个测量单位是 UnitOfLength 的 instance 和有效波高那个水域, 那个水波出现的 time and 那个实数那个测量单位和那个实数 equal 4.0 和标准偏差那个串列
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2178-2196	如果实数测量单位是地理区域的 other 土地使用地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance，然后有存在另一个地理区域这样那个另外地理区域是土地面积的 instance 和那个另外地理区域不是耕地的 instance 和那个另外地理区域不是永久性耕地的 instance 和那个另外地理区域是那个地理区域的 geographic 次要地区和那个另外地理区域的 measure 是那个实数和那个另外实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2138-2152	如果实数测量单位是地理区域的 permanent 农作地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance，然后有存在另一个地理区域这样那个另外地理区域是永久性耕地的 instance 和那个另外地理区域是那个地理区域的 geographic 次要地区和那个另外地理区域的 measure 是那个实数和那个另外实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2229-2239	如果施事体 possesses 客体和那个客体的 measure 是实数 ShareUnit 和股票分割是对于整数和另一个整数的 split ，然后实体 equal 那个实数和那个另外整数和另一个实体 equal 那个实体和那个整数和那个客体的 measure 是那个另外实体 ShareUnit 在紧接那个股票分割出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 538-548	如果实数测量单位是金融账户的 principal 总额和另一个实数是那个金融账户的 fixed 固定利息和那个金融账户是对于时距的 simple 利息第三实数那个测量单位和那个另外实数-Decimal equal 那个另外实数和 100，然后那个第三实数 equal 那个实数和那个另外实数-Decimal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17985-18010	如果 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.	Mid-level-ontology.kif 2775-2788	如果平面是自身连接物体的 attribute，然后有存在另一个自身连接物体，第三自身连接物体,，，实数,，，另一个实数,，，第三实数， and 和测量单位这样那个另外自身连接物体是那个自身连接物体的一 side 和那个第三自身连接物体是那个自身连接物体的一 side 和那个另外自身连接物体接上那个第三自身连接物体和那个另外自身连接物体不 equal 那个第三自身连接物体和那个测量单位是 UnitOfLength 的 instance 和那个自身连接物体的 height 是那个实数那个测量单位和那个另外自身连接物体的 height 是那个另外实数那个测量单位和那个第三自身连接物体的 height 是那个第三实数那个测量单位和那个另外实数是 greaterThan 2.0 和那个实数和那个第三实数是 greaterThan 2.0 和那个实数

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.	Geography.kif 402-402	实数弧分 equal 60.0 和那个实数弧秒
No TPTP formula. May not be expressible in strict first order.	Geography.kif 383-383	实数圆周角度 equal 60.0 和那个实数弧分
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7152-7154	实数 amu equal 那个实数和 1.6605402E-24 公克
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7174-7176	实数埃 equal 那个实数和 1.0E-10 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7368-7370	实数圆周角度 equal 那个实数和圆周率和 180.0 弧度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7354-7356	实数英国热量单位 equal 那个实数和 1055.05585262 焦耳
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7426-7428	实数字节 equal 那个实数和 8 位元
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7346-7348	实数卡路里 equal 那个实数和 4.1868 焦耳
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6781-6783	实数厘米 equal 那个实数和 0.01 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7088-7090	实数一天长度 equal 那个实数和 24 小时
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7162-7164	实数电子伏特 equal 那个实数和 1.60217733E-19 焦耳
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7406-7408	实数欧元分 equal 那个实数和 0.01 欧元
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7187-7189	实数脚长 equal 那个实数和 0.3048 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7096-7098	实数小时 equal 那个实数和 60 分钟
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7194-7196	实数英寸 equal 那个实数和 0.0254 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7436-7438	实数千位元 equal 那个实数和 1024 字节
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7280-7283	实数公斤 equal 那个实数和 1000 公克
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6800-6803	实数公里 equal 那个实数和 1000 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7446-7448	实数兆位元 equal 那个实数和 1024 千位元
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7097-7100	实数微米 equal 那个实数和 0.0000001 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7201-7203	实数英里 equal 那个实数和 1609.344 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6790-6793	实数毫米 equal 那个实数和 0.001 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7104-7106	实数分钟 equal 那个实数和 60 第二期
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7336-7338	实数磅力 equal 那个实数和 4.448222 牛顿
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7297-7299	实数磅质量 equal 那个实数和 453.59237 公克

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: