Meter - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2490-2492
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6693-6696
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1184-1186
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1848-1848
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6691-6691	仪表是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6690-6690	仪表是 UnitOfLength 的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37343-37343
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37342-37342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37341-37341

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1316-1323	如果热带气候区是地理区域地区的 climate 类别和月是月的 instance 和那个地理区域对于实数仪表的千分之一在那个月周期的 average 降雨量和那个实数是 greaterThanOrEqualTo 60.0，然后湿热带气候区是那个地理区域地区的 climate 类别
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2537-2550	如果过程是雾的 instance 和那个过程是 located 在地区和那个地区是地理区域的 instance 和客体是大气地区的 instance 和那个客体在那个地区的以上和另一个客体是气溶胶的 instance 和那个另外客体对于那个客体在时间那个过程出现的 time located 和 visibility 在那个地区期间那个过程出现的 time 是实数仪表，然后那个实数是 lessThan 1000.0
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1570-1577	如果辐射是辐射电磁的 instance 和那个辐射载波的频率是实数赫兹和那个辐射的 wavelength 是另一个实数仪表，然后那个另外实数仪表 equal 299792458 和那个实数仪表
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 403-409	如果铁路是铁路的 instance 和那个铁路有宽规的 attribute 和实数仪表是那个铁路的 track 宽度，然后那个实数是 greaterThan 1.44
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 453-458	如果铁路是铁路的 instance 和那个铁路有窄规的 attribute 和实数仪表是那个铁路的 track 宽度，然后那个实数是 lessThanOrEqualTo 1.435
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 427-433	如果铁路是铁路的 instance 和那个铁路有标准规的 attribute 和实数仪表是那个铁路的 track 宽度，然后那个实数是 greaterThanOrEqualTo 1.435
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 435-441	如果铁路是铁路的 instance 和那个铁路有标准规的 attribute 和实数仪表是那个铁路的 track 宽度，然后那个实数是 lessThanOrEqualTo 1.44
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 721-725	如果实数仪表是地理区域的原油管线 length 和另一个实数仪表是在地区那个地理区域的 total 管线，然后那个实数是 lessThanOrEqualTo 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 744-748	如果实数仪表是地理区域的天然瓦斯管线的 length 和另一个实数仪表是在地区那个地理区域的 total 管线，然后那个实数是 lessThanOrEqualTo 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 767-771	如果实数仪表是地理区域的石油产品管线 length 和另一个实数仪表是在地区那个地理区域的 total 管线，然后那个实数是 lessThanOrEqualTo 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2653-2658	如果实数仪表是草案水域的 navigable 和另一个实数仪表是水车的 laden 草案和那个实数是 greaterThan 那个另外实数，然后那个水域能够担当路径的角色做那个水车的 trip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2660-2665	如果实数仪表是草案水域的 navigable 和另一个实数仪表是水车的 laden 草案和那个实数是 lessThanOrEqualTo 那个另外实数，然后那个水域不能够担当路径的角色做那个水车的 trip

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1445-1457	如果客体是飞机场的 instance 和长跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 greaterThanOrEqualTo 2438 或那个实数是 lessThanOrEqualTo 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1426-1438	如果客体是飞机场的 instance 和中长跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 greaterThanOrEqualTo 1524 或那个实数是 lessThanOrEqualTo 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1407-1419	如果客体是飞机场的 instance 和短跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 greaterThanOrEqualTo 914 或那个实数是 lessThanOrEqualTo 1523
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1464-1474	如果客体是飞机场的 instance 和很长的跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 greaterThan 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1391-1400	如果客体是飞机场的 instance 和很短的跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 lessThan 914
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1570-1577	如果辐射是辐射电磁的 instance 和那个辐射载波的频率是实数赫兹和那个辐射的 wavelength 是另一个实数仪表，然后那个另外实数仪表 equal 299792458 和那个实数仪表
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4765-4770	如果自身连接物体是海的 instance 和另一个自身连接物体是那个自身连接物体的 top，然后那个另外自身连接物体的 altitude 是海平面
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4830-4835	如果自身连接物体是海洋的 instance 和另一个自身连接物体是那个自身连接物体的 surface，然后 0.0 仪表是那个另外自身连接物体的 elevation
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.	Geography.kif 1325-1332	如果湿热带气候区是地理区域地区的 climate 类别，然后对所有月和实数那个月是月的 instance 和那个地理区域对于那个实数仪表的千分之一在那个月周期的 average 降雨量和那个实数是 greaterThanOrEqualTo 60.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3869-3875	如果物理量 equal 实数海里，然后那个物理量 equal 那个实数和 1.852 仪表的一千倍
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.	Mid-level-ontology.kif 19083-19089	如果实数 equal 1.0 和那个实数，然后那个实数 Nanometer equal 那个实数和 0.000000001 仪表
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1662-1674	如果自身连接物体是 AAV 的 instance，然后那个自身连接物体的 length 是 7.94 仪表和那个自身连接物体的 width 是 3.27 仪表和 22.8 吨质量是那个自身连接物体的 weight 和那个自身连接物体的 height 是 3.26 仪表和 480.0 公里是那个自身连接物体的 effective 范围
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1235-1247	如果自身连接物体是 AG m114 的 instance，然后那个自身连接物体的 length 是 1.63 仪表和那个自身连接物体的 width 是 0.71 仪表和那个自身连接物体的 height 是 0.71 仪表和 45.0 公斤是那个自身连接物体的 weight 和 8.0 公里是那个自身连接物体的 effective 范围
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1155-1167	如果自身连接物体是 AG m65 的 instance，然后那个自身连接物体的 length 是 2.55 仪表和那个自身连接物体的 width 是 0.7 仪表和那个自身连接物体的 height 是 0.7 仪表和 302.0 公斤是那个自身连接物体的 weight 和 27.0 公里是那个自身连接物体的 effective 范围
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1900-1912	如果自身连接物体是 A h1 的 instance，然后那个自身连接物体的 length 是 17.68 仪表和那个自身连接物体的 width 是 14.63 仪表和那个自身连接物体的 height 是 4.44 仪表和 4634.0 公斤是那个自身连接物体的 weight 和 587.0 公里是那个自身连接物体的 effective 范围
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1189-1201	如果自身连接物体是 AI m9 的 instance，然后那个自身连接物体的 length 是 2.85 仪表和那个自身连接物体的 width 是 0.63 仪表和那个自身连接物体的 height 是 0.63 仪表和 91.0 公斤是那个自身连接物体的 weight 和 18.0 公里是那个自身连接物体的 effective 范围
No TPTP formula. May not be expressible in strict first order.	WMD.kif 205-211	如果物理是细菌的 instance，然后有存在实数这样那个物理的 width 是那个实数仪表和那个实数是 greaterThanOrEqualTo 0.000001 和那个实数是 lessThanOrEqualTo 0.000002
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1860-1872	如果自身连接物体是 C h46 d 的 instance，然后那个自身连接物体的 length 是 25.72 仪表和那个自身连接物体的 width 是 15.54 仪表和那个自身连接物体的 height 是 5.1 仪表和 7047.0 公斤是那个自身连接物体的 weight 和 676.0 公里是那个自身连接物体的 effective 范围
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1788-1800	如果自身连接物体是 C h53 e 的 instance，然后那个自身连接物体的 length 是 30.2 仪表和那个自身连接物体的 width 是 24.1 仪表和那个自身连接物体的 height 是 8.46 仪表和 15071.0 公斤是那个自身连接物体的 weight 和 2000.0 公里是那个自身连接物体的 effective 范围
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 900-902	如果水域是深海港口的 instance，然后 13.7 仪表是草案那个水域的 navigable
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1744-1756	如果自身连接物体是鹞2 的 instance，然后那个自身连接物体的 length 是 14.1 仪表和那个自身连接物体的 width 是 9.2 仪表和那个自身连接物体的 height 是 3.5 仪表和 5700.0 公斤是那个自身连接物体的 weight 和 1000.0 公里是那个自身连接物体的 effective 范围
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1542-1554	如果自身连接物体是 LAV25 的 instance，然后那个自身连接物体的 length 是 6.39 仪表和那个自身连接物体的 width 是 2.5 仪表和那个自身连接物体的 height 是 2.69 仪表和 12802.8 公斤是那个自身连接物体的 weight 和 660.1 公里是那个自身连接物体的 effective 范围

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 4683-4685	0.0 仪表是南部海洋的 elevation 高点的 elevation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4687-4689	-7235.0 仪表是南部海洋的 elevation 低点的 elevation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4827-4828	0.0 仪表是海平面的 elevation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3865-3867	1.0 海里 equal 1852.0 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7173-7175	实数埃 equal 那个实数和 1.0E-10 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6780-6782	实数厘米 equal 那个实数和 0.01 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7186-7188	实数脚长 equal 那个实数和 0.3048 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7193-7195	实数英寸 equal 那个实数和 0.0254 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6799-6802	实数公里 equal 那个实数和 1000 仪表
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 7200-7202	实数英里 equal 那个实数和 1609.344 仪表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6789-6792	实数毫米 equal 那个实数和 0.001 仪表
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3973-3973	平方千米 equal 仪表的一千倍的 square 单位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3972-3972	平方米 equal 仪表的 square 单位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4671-4674	南部海洋和南极洲的 shoreline 的 length 是 17968.0 仪表的一千倍

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: