TreeView 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	例儀表 and SystemeInternationalUnit
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6690-6690	例儀表 and UnitOfLength

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	熱帶氣候區是 GeographicArea 地區的 climate 類別例 Month and Month GeographicArea 對於測量 RealNumber and 毫儀表在 Month 週期的 average 降雨量大於或等於 RealNumber and 60.0 濕熱帶氣候區是 GeographicArea 地區的 climate 類別
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2537-2550	例 Process and Fogging Process 是 located 在 Region 例 Region and GeographicArea 例 Object and 大氣地區方位 Object, Region and 以上例 Object and Aerosal Object 對於 Object 在時間何時 Process located visibility 在 Region 期間何時 Process 是測量 RealNumber and 儀表少於 RealNumber and 1000.0
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1570-1577	例 Radiating and 輻射電磁 Radiating 載波的頻率是測量 RealNumber and 赫茲 Radiating 的 wavelength 是測量 RealNumber and 儀表等於測量 RealNumber and 儀表 and 測量部 299792458 and RealNumber and 儀表
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 403-409	例鐵路 and 鐵路屬性鐵路 and 寬規測量 RealNumber and 儀表是鐵路的 track 寬度比較多 RealNumber and 1.44
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 453-458	例鐵路 and 鐵路屬性鐵路 and 窄規測量 RealNumber and 儀表是鐵路的 track 寬度小於或等於 RealNumber and 1.435
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 427-433	例鐵路 and 鐵路屬性鐵路 and 標準規測量 RealNumber and 儀表是鐵路的 track 寬度大於或等於 RealNumber and 1.435
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 435-441	例鐵路 and 鐵路屬性鐵路 and 標準規測量 RealNumber and 儀表是鐵路的 track 寬度小於或等於 RealNumber and 1.44
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 721-725	測量 RealNumber and 儀表是 GeographicArea 的原油管線 length 測量 RealNumber and 儀表是在地區 GeographicArea 的 total 管線小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 744-748	測量 RealNumber and 儀表是 GeographicArea 的天然瓦斯管線的 length 測量 RealNumber and 儀表是在地區 GeographicArea 的 total 管線小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 767-771	測量 RealNumber and 儀表是 GeographicArea 的石油產品管線 length 測量 RealNumber and 儀表是在地區 GeographicArea 的 total 管線小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2653-2658	測量 RealNumber and 儀表是草案 WaterArea 的 navigable 測量 RealNumber and 儀表是水車的 laden 草案比較多 RealNumber and RealNumber 能力水車的 trip , 路徑 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2660-2665	測量 RealNumber and 儀表是草案 WaterArea 的 navigable 測量 RealNumber and 儀表是水車的 laden 草案小於或等於 RealNumber and RealNumber 能力水車的 trip , 路徑 and WaterArea

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1445-1457	例 Object and 飛機場 attribute Object and 長跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表大於或等於 RealNumber and 2438 小於或等於 RealNumber and 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1426-1438	例 Object and 飛機場 attribute Object and 中長跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表大於或等於 RealNumber and 1524 小於或等於 RealNumber and 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1407-1419	例 Object and 飛機場 attribute Object and 短跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表大於或等於 RealNumber and 914 小於或等於 RealNumber and 1523
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1464-1474	例 Object and 飛機場 attribute Object and 很長的跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表比較多 RealNumber and 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1391-1400	例 Object and 飛機場 attribute Object and 很短的跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表少於 RealNumber and 914
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1570-1577	例 Radiating and 輻射電磁 Radiating 載波的頻率是測量 RealNumber and 赫茲 Radiating 的 wavelength 是測量 RealNumber and 儀表等於測量 RealNumber and 儀表 and 測量部 299792458 and RealNumber and 儀表
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4765-4770	例 SelfConnectedObject and 海上 SelfConnectedObject and SelfConnectedObject 高度 SelfConnectedObject, 海平面 and 測量 0.0 and 儀表
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4830-4835	例 SelfConnectedObject and 海洋表面 SelfConnectedObject and SelfConnectedObject 測量 0.0 and 儀表是 SelfConnectedObject 的 elevation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4697-4703	起源南極極地電流 and Object 目的地南極極地電流 and Physical 距離 Object, Physical and 測量 21000.0 and 千儀表
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1325-1332	濕熱帶氣候區是 GeographicArea 地區的 climate 類別 Month RealNumber 例 Month and Month GeographicArea 對於測量 RealNumber and 毫儀表在 Month 週期的 average 降雨量大於或等於 RealNumber and 60.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3869-3875	等於 PhysicalQuantity and 測量 RealNumber and 海裡等於 PhysicalQuantity and 測量乘法 RealNumber and 1.852 and 千儀表
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3894-3901	等於 RealNumber and 乘法 1.0 and RealNumber 等於測量 RealNumber and 海裡 and 測量乘法 RealNumber and 1.852 and 千儀表
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3885-3892	等於 RealNumber and 乘法 1.0 and RealNumber 等於測量 RealNumber and 海裡 and 測量乘法 RealNumber and 1852.0 and 儀表
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19083-19089	等於 RealNumber and 乘法 1.0 and RealNumber 等於測量 RealNumber and Nanometer and 測量乘法 RealNumber and 0.000000001 and 儀表
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1662-1674	例 SelfConnectedObject and AAV length SelfConnectedObject and 測量 7.94 and 儀表寬度 SelfConnectedObject and 測量 3.27 and 儀表測量 22.8 and 噸質量是 SelfConnectedObject 的 weight 高度 SelfConnectedObject and 測量 3.26 and 儀表測量 480.0 and 公里是 SelfConnectedObject 的 effective 範圍
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1235-1247	例 SelfConnectedObject and AG m114 length SelfConnectedObject and 測量 1.63 and 儀表寬度 SelfConnectedObject and 測量 0.71 and 儀表高度 SelfConnectedObject and 測量 0.71 and 儀表測量 45.0 and 公斤是 SelfConnectedObject 的 weight 測量 8.0 and 公里是 SelfConnectedObject 的 effective 範圍
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1155-1167	例 SelfConnectedObject and AG m65 length SelfConnectedObject and 測量 2.55 and 儀表寬度 SelfConnectedObject and 測量 0.7 and 儀表高度 SelfConnectedObject and 測量 0.7 and 儀表測量 302.0 and 公斤是 SelfConnectedObject 的 weight 測量 27.0 and 公里是 SelfConnectedObject 的 effective 範圍
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1900-1912	例 SelfConnectedObject and A h1 length SelfConnectedObject and 測量 17.68 and 儀表寬度 SelfConnectedObject and 測量 14.63 and 儀表高度 SelfConnectedObject and 測量 4.44 and 儀表測量 4634.0 and 公斤是 SelfConnectedObject 的 weight 測量 587.0 and 公里是 SelfConnectedObject 的 effective 範圍
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1189-1201	例 SelfConnectedObject and AI m9 length SelfConnectedObject and 測量 2.85 and 儀表寬度 SelfConnectedObject and 測量 0.63 and 儀表高度 SelfConnectedObject and 測量 0.63 and 儀表測量 91.0 and 公斤是 SelfConnectedObject 的 weight 測量 18.0 and 公里是 SelfConnectedObject 的 effective 範圍
No TPTP formula. May not be expressible in strict first order.	WMD.kif 205-211	例 Physical and Bacterium RealNumber 寬度 Physical and 測量 RealNumber and 儀表大於或等於 RealNumber and 0.000001 小於或等於 RealNumber and 0.000002
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1860-1872	例 SelfConnectedObject and C h46 d length SelfConnectedObject and 測量 25.72 and 儀表寬度 SelfConnectedObject and 測量 15.54 and 儀表高度 SelfConnectedObject and 測量 5.1 and 儀表測量 7047.0 and 公斤是 SelfConnectedObject 的 weight 測量 676.0 and 公里是 SelfConnectedObject 的 effective 範圍
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1788-1800	例 SelfConnectedObject and C h53 e length SelfConnectedObject and 測量 30.2 and 儀表寬度 SelfConnectedObject and 測量 24.1 and 儀表高度 SelfConnectedObject and 測量 8.46 and 儀表測量 15071.0 and 公斤是 SelfConnectedObject 的 weight 測量 2000.0 and 公里是 SelfConnectedObject 的 effective 範圍
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 900-902	例 WaterArea and 深海港口測量 13.7 and 儀表是草案 WaterArea 的 navigable
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1744-1756	例 SelfConnectedObject and 鷂2 length SelfConnectedObject and 測量 14.1 and 儀表寬度 SelfConnectedObject and 測量 9.2 and 儀表高度 SelfConnectedObject and 測量 3.5 and 儀表測量 5700.0 and 公斤是 SelfConnectedObject 的 weight 測量 1000.0 and 公里是 SelfConnectedObject 的 effective 範圍
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1542-1554	例 SelfConnectedObject and LAV25 length SelfConnectedObject and 測量 6.39 and 儀表寬度 SelfConnectedObject and 測量 2.5 and 儀表高度 SelfConnectedObject and 測量 2.69 and 儀表測量 12802.8 and 公斤是 SelfConnectedObject 的 weight 測量 660.1 and 公里是 SelfConnectedObject 的 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 and 儀表是南部海洋的 elevation 高點的 elevation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4687-4689	測量 -7235.0 and 儀表是南部海洋的 elevation 低點的 elevation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4827-4828	測量 0.0 and 儀表是海平面的 elevation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3865-3867	等於測量 1.0 and 海裡 and 測量 1852.0 and 儀表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7173-7175	等於測量 RealNumber and 埃 and 測量乘法 RealNumber and 1.0E-10 and 儀表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6780-6782	等於測量 RealNumber and 厘米 and 測量乘法 RealNumber and 0.01 and 儀表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7186-7188	等於測量 RealNumber and 腳長 and 測量乘法 RealNumber and 0.3048 and 儀表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7193-7195	等於測量 RealNumber and 英寸 and 測量乘法 RealNumber and 0.0254 and 儀表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6799-6802	等於測量 RealNumber and 公里 and 測量乘法 RealNumber and 1000 and 儀表
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7097-7100	等於測量 RealNumber and Micrometer and 測量乘法 RealNumber and 0.0000001 and 儀表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7200-7202	等於測量 RealNumber and 英里 and 測量乘法 RealNumber and 1609.344 and 儀表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6789-6792	等於測量 RealNumber and 毫米 and 測量乘法 RealNumber and 0.001 and 儀表
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3973-3973	等於平方千米 and 千儀表的 square 單位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3972-3972	等於平方米 and 儀表的 square 單位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4671-4674	length 南部海洋和南極洲的 shoreline and 測量 17968.0 and 千儀表

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

Show without tree

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: