measure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2632-2634
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7505-7508
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1347-1349
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7502-7502	计量的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7503-7503	计量的 2 数量是物理量的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7501-7501	计量是非对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7500-7500	计量是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 607-607
No TPTP formula. May not be expressible in strict first order.	english_format.kif 610-610
No TPTP formula. May not be expressible in strict first order.	french_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 177-177
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2102-2102
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 378-378
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 794-794
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 215-215
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 390-390
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 409-409
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 350-350
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 868-868	吸收剂量是计量的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7517-7517	年龄是计量的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25675-25675	气温是计量的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7815-7815	气压是计量的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1386-1386	有效范围是计量的 subrelation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1005-1005	舰队载重吨位是计量的 subrelation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 987-987	船队总注册吨位是计量的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7530-7530	linearExtent 是计量的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13727-13727	loudness 是计量的 subrelation
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1660-1660	记忆体大小是计量的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9864-9864	phMeasure 是计量的 subrelation
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1528-1528	有效波高是计量的 subrelation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13605-13611	物理的 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.	Mid-level-ontology.kif 13326-13331	物理的 measure 是实数 OunceMass 若且唯若那个物理的 measure 是那个实数和 16.0 磅质量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2548-2551	溶液的 measure 是实数酸碱度若且唯若那个实数是那个溶液的氢 potential
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	如果 amount 有点物质, 躯体性物体 and 实数 UnitOfMass 和有点物质I 是那个有点物质的 instance 和那个有点物质I 的 measure 是那个实数2 那个 UnitOfMass 和那个有点物质I 是那个躯体性物体的 part，然后有存在串列这样那个实数2 那个 UnitOfMass 是那个串列的 member 和那个串列 equal AmountsFn 那个有点物质, 那个躯体性物体 and 那个 UnitOfMass 和那个实数 equal ListSumFn 那个串列
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	如果 1 的 approximate diameter 是 %2 和客体的 radius 是实数和 2.0 那个实数M 和那个客体的 measure 是另一个实数另一个测量单位和自身连接物体的 measure 是第三实数那个另外测量单位和那个实数M 是 UnitOfLength 的 instance 和那个另外测量单位是 UnitOfVolume 的 instance，然后那个另外实数 equal 那个第三实数
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	如果 FamilyStylePortion 是客体的 attribute 和那个客体的 measure 是实数测量单位和 FamilyStylePortion 不是另一个客体的 attribute 和那个另外客体的 measure 是另一个实数那个测量单位和那个客体是类的 instance 和那个另外客体是那个类的 instance 和那个测量单位是测量单位的 instance，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	如果 Anemia 是客体的 attribute 和另一个客体是血液的 instance 和那个另外客体是那个客体的 part 和女是那个客体的 attribute 和那个另外客体的 measure 是 0.1 升和那个客体E 是 Hemoglobin 的 instance 和那个客体E 是那个另外客体的 part 和那个客体E2 不是 Hemoglobin 的 instance 和那个客体E 不 equal 那个客体E2 和那个客体2 是那个另外客体的 part 和那个客体E 的 measure 是实数公克，然后那个实数是 lessThan 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	如果 Anemia 是客体的 attribute 和另一个客体是血液的 instance 和那个另外客体是那个客体的 part 和男是那个客体的 attribute 和那个另外客体的 measure 是 0.1 升和那个客体E 是 Hemoglobin 的 instance 和那个客体E 是那个另外客体的 part 和那个客体E2 不是 Hemoglobin 的 instance 和那个客体E 不 equal 那个客体E2 和那个客体2 是那个另外客体的 part 和那个客体E 的 measure 是实数公克，然后那个实数是 lessThan 13
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	如果限价订单是金融交易的 attribute 和协议是那个金融交易的 party 协议和经纪人是那个协议的 attribute 和那个金融交易是對於安全的 order 购买和那个安全的 measure 是物理量和实数测量单位是那个金融交易的 limit 价格和那个测量单位是 UnitOfCurrency 的 instance 和施事体为了那个安全 asks 另一个实数那个测量单位和那个另外实数是 lessThanOrEqualTo 那个实数，然后那个协议有义务执行符号串所描述的类别的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	如果限价订单是金融交易的 attribute 和协议是那个金融交易的 party 协议和经纪人是那个协议的 attribute 和那个金融交易是對於安全的 order 出售和那个安全的 measure 是物理量和实数测量单位是那个金融交易的 limit 价格和施事体 bids 另一个实数那个测量单位對於那个安全和那个测量单位是 UnitOfCurrency 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后那个协议有义务执行符号串所描述的类别的任务
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	如果实数测量单位是有点純物质的 boiling 点和实体是有点純物质的 instance 和那个实体的 measure 是另一个实数那个测量单位在时距 holdsDuring 和那个测量单位是 UnitOfTemperature 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后加油站是那个实体的 attribute 在那个时距 holdsDuring 或有存在过程这样那个时距时段和那个过程出现的 time 重叠和那个过程是沸腾的 instance 和那个实体是那个过程的 patient
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.	Medicine.kif 234-249	如果 concentration 实数测量单位, 有点物质, 另一个实数那个测量单位2 and 混合物和有点物质I 是那个有点物质的 instance 和那个有点物质I 是那个混合物的 part 和那个有点物质I 的 measure 是第三实数那个测量单位3 和那个有点物质I 是那个混合物的 part 和那个有点物质I2 不是那个有点物质的 instance 和那个有点物质I 不 equal 那个有点物质IE2 和那个有点物质I2 是那个混合物的 part 和那个混合物的 measure 是那个另外实数那个测量单位2，然后 approximateValue 那个实数 and 那个第三实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	如果 engineIdleSpeed 内燃机 and RotationFn 实数英里每小時 and 持续时间和客体是汽车的 instance 和过程是 GasPedal 的 instance 和那个过程是 Pushing 的 instance 和那个过程在另一个客体结束和那个内燃机是那个客体的 part 和那个另外客体是那个客体的 part 和第三客体是 Crankshaft 的 instance 和那个第三客体是那个内燃机的 part 和那个第三客体的 measure 是 RotationFn 实体英里每小時 and 那个持续时间在那个过程出现的 time holdsDuring，然后那个实体是 greaterThan 那个实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 862-866	如果辐射测量 equal 实数拉德和客体的 measure 是那个辐射测量，然后吸收剂量那个客体 and 那个辐射测量
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2884-2902	如果 governorSpeed SpeedGovernor and 函数量和实数英里每小時 equal 长度测量除以持续时间和另一个实数英里每小時 equal 另一个长度测量除以另一个持续时间和那个实数是 greaterThan 那个另外实数和那个实数PROB equal 那个 SpeedGovernor 的 measure 是那个实数英里每小時的机率和那个另外实数PROB equal 那个 SpeedGovernor 的 measure 是那个另外实数英里每小時的机率，然后那个另外实数PROB 是 greaterThan 那个实数PROB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2567-2583	如果客体的 measure 是函数量在时间位置 holdsDuring 和 engineIdleSpeed 内燃机 and 那个函数量和另一个客体是汽车的 instance 和那个内燃机是那个另外客体的 part 和那个客体是那个内燃机的 part，然后不存在实体和另一个实体这样那个实体在那个时间位置时段内发生和那个实体是 Pushing 的 instance 和那个实体在那个另外实体结束和那个另外实体是那个另外客体的 part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30662-30683	如果 Dieting 是施事体的 attribute 在时距 holdsDuring 和 Dieting 不是那个施事体的 attribute 在另一个时距 holdsDuring 和客体是 Meal 的 instance 和过程是进食的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 resource 和那个过程出现的 time 在那个时距时段内发生和那个客体的 measure 是实数卡路里和另一个客体是 Meal 的 instance 和另一个过程是进食的 instance 和那个施事体是那个另外过程的 agent 和那个另外客体是那个另外过程的 resource 和那个另外过程出现的 time 在那个另外时距时段内发生和那个另外客体的 measure 是另一个实数卡路里，然后那个另外实数是 greaterThan 那个实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Food.kif 1321-1332	如果客体是 Americano 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是饮用水的 instance 和那个另外物质的 measure 是 90.0 摄氏度和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升，然后 approximateValue 那个实数 and 0.03 和 approximateValue 那个另外实数 and 0.15
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2873-2884	如果客体是 Brine 的 instance 和那个客体的 measure 是 1.0 升和另一个客体是那个客体的 part 和那个另外客体是盐的 instance 和那个另外客体的 measure 是实数公克，然后那个实数是 greaterThan 35.0 和那个实数是 lessThanOrEqualTo 260.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13839	如果过程是沸腾的 instance 和实数测量单位是有点純物质的 boiling 点和实体是有点純物质的 instance 和那个实体是那个过程的 patient 和那个实体的 measure 是另一个实数那个测量单位在那个过程出现的 time holdsDuring 和那个测量单位是 UnitOfTemperature 的 instance，然后那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4081-4113	如果客体是 BimetalTemperatureSensor 的 instance 和另一个客体是金属的 instance 和第三客体是金属的 instance 和那个另外客体不 equal 那个第三客体和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part 和实体是温度测量的 instance 和另一个实体是温度测量的 instance 和实数是长度测量的 instance 和另一个实数是长度测量的 instance 和第三实数是长度测量的 instance 和第四实数是长度测量的 instance 和那个实体不 equal 那个另外实体和时间位置不 equal 另一个时间位置和那个客体的 measure 是那个实体和那个另外客体的 measure 是那个实数和那个第三客体的 measure 是那个另外实数在那个时间位置 holdsDuring 和那个客体的 measure 是那个另外实体和那个另外客体的 measure 是那个第三实数和那个第三客体的 measure 是那个第四实数在那个另外时间位置 holdsDuring，然后那个实数和那个另外实数不 equal 那个第三实数和那个第四实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 1285-1301	如果客体是 Cappuccino 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是 MilkFoam 的 instance 和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升和自身连接物体是那个另外物质的 part 和那个自身连接物体是气泡的 instance 和那个自身连接物体是那个另外物质的 top 和那个自身连接物体的 measure 是第三实数毫米，然后 approximateValue 那个实数 and 0.03 和 approximateValue 那个另外实数 and 0.15 和 approximateValue 那个第三实数 and 20.0

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.	Merge.kif 7758-7766	客体 larger 另一个客体若且唯若对所有实数，另一个实数， and 和测量单位如果那个客体的 measure 是那个实数那个测量单位和那个另外客体的 measure 是那个另外实数那个测量单位和那个测量单位是 UnitOfLength 的 instance，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13605-13611	物理的 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.	Mid-level-ontology.kif 13326-13331	物理的 measure 是实数 OunceMass 若且唯若那个物理的 measure 是那个实数和 16.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.	FinancialOntology.kif 2008-2029	如果限价订单是金融交易的 attribute 和协议是那个金融交易的 party 协议和经纪人是那个协议的 attribute 和那个金融交易是對於安全的 order 购买和那个安全的 measure 是物理量和实数测量单位是那个金融交易的 limit 价格和那个测量单位是 UnitOfCurrency 的 instance 和施事体为了那个安全 asks 另一个实数那个测量单位和那个另外实数是 lessThanOrEqualTo 那个实数，然后那个协议有义务执行符号串所描述的类别的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	如果限价订单是金融交易的 attribute 和协议是那个金融交易的 party 协议和经纪人是那个协议的 attribute 和那个金融交易是對於安全的 order 出售和那个安全的 measure 是物理量和实数测量单位是那个金融交易的 limit 价格和施事体 bids 另一个实数那个测量单位對於那个安全和那个测量单位是 UnitOfCurrency 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后那个协议有义务执行符号串所描述的类别的任务
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	如果 Oversized 是客体的 attribute 和那个客体是类的 immediateInstance 和那个类是 HotelUnit 的 subclass，然后有存在物理，实数,，，另一个实数， and 和测量单位这样那个物理是那个类的 immediateInstance 和那个测量单位是 UnitOfArea 的 instance 和那个物理的 measure 是那个实数那个测量单位和那个客体的 measure 是那个另外实数那个测量单位和那个实数是面积测量的 instance 和那个另外实数是面积测量的 instance 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25687-25696	如果属性是客体的 attribute 和那个属性是 TemperatureAttribute 的 instance 和那个客体是客体的 instance，然后有存在另一个客体这样那个客体的 measure 是那个另外客体和那个另外客体是温度测量的 instance 和那个属性是那个另外客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13536-13545	如果有点客体的 maximum 预期价值是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance，然后有存在实体和那个实数UANTITY 这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个测量单位和那个实数UANTITY 是 greaterThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13547-13558	如果有点客体的 maximum 预期价值是实数测量单位和类是 NonCompositeUnitOfMeasure 的 subclass 和那个测量单位是那个类的 instance，然后有存在实体，那个实数UANTITY， and 和第三实体这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个第三实体和那个第三实体是那个类的 instance 和那个实数UANTITY 那个第三实体是 greaterThan 那个实数那个测量单位的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13566-13575	如果有点客体的预期 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 13577-13586	如果有点客体的预期 value 是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance，然后有存在实体和那个实数UANTITY 这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个测量单位和那个实数UANTITY 是 lessThan 那个实数和 .5 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13505-13514	如果有点客体的 minimum 预期价值是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance，然后有存在实体和那个实数UANTITY 这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个测量单位和那个实数UANTITY 是 lessThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13516-13527	如果有点客体的 minimum 预期价值是实数测量单位和类是 NonCompositeUnitOfMeasure 的 subclass 和那个测量单位是那个类的 instance，然后有存在实体，那个实数UANTITY， and 和第三实体这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个第三实体和那个第三实体是那个类的 instance 和那个实数UANTITY 是 lessThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6165-6176	如果测量单位是 unit 在图和图元素是图节点的 instance 和那个图元素是那个图的 part 和图弧是那个图的 part 和那个图弧是图弧的 instance 和物理的 abstract counterpart 是那个图元素和另一个物理的 abstract counterpart 是那个图弧和那个图弧的值是实数，然后那个另外物理的 measure 是那个实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	如果客体是类的 immediateInstance 和物理是那个类的 immediateInstance 和 Oversized 是那个客体的 attribute，然后有存在那个客体SIZE，那个物理SIZE， and 和测量单位这样那个测量单位是测量单位的 instance 和那个客体的 measure 是那个客体SIZE 那个测量单位和那个物理的 measure 是那个物理SIZE 那个测量单位和那个客体SIZE 是 greaterThan 那个物理SIZE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25722-25737	如果客体是类的 immediateInstance 和另一个客体是那个类的 immediateInstance 和 ColdTemperature 是那个客体的 attribute 和 HotTemperature 是那个另外客体的 attribute，然后有存在实数，另一个实数， and 和测量单位这样那个客体的 measure 是那个实数那个测量单位和那个测量单位是 UnitOfTemperature 的 instance 和那个实数是温度测量的 instance 和那个另外客体的 measure 是那个另外实数那个测量单位和那个另外实数是温度测量的 instance 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17143-17164	如果过程是加速的 instance 和施事体是那个过程的 agent，然后有存在实数，另一个实数,，，第三实数,，，第四实数,，，实体， and 和另一个实体这样那个施事体的 measure 是那个实数那个实体除以那个第三实数那个另外实体在那个过程出现的 time 的开始 holdsDuring 和那个施事体的 measure 是那个另外实数那个实体除以那个第四实数那个另外实体在那个过程出现的 time 的结束 holdsDuring 和那个另外实数是 greaterThan 那个实数或那个第四实数是 greaterThan 那个第三实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28812-28816	如果物理是锕的 instance 和那个物理是原子的 instance，然后那个物理的 measure 是 227 amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27478-27482	如果物理是铝的 instance 和那个物理是原子的 instance，然后那个物理的 measure 是 26.9815 amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28918-28922	如果物理是銤的 instance 和那个物理是原子的 instance，然后那个物理的 measure 是 243 amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28112-28116	如果物理是锑的 instance 和那个物理是原子的 instance，然后那个物理的 measure 是 121.75 amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27561-27565	如果物理是氩的 instance 和那个物理是原子的 instance，然后那个物理的 measure 是 39.948 amu

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: