UnitOfLength - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2405-2406
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6240-6242
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1088-1090
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6238-6238	子類 UnitOfLength and NonCompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7174-7174	例埃 and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6766-6766	例厘米 and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3921-3921	例推測 and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7192-7192	例腳長 and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7200-7200	例英寸 and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6785-6785	例公里 and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6681-6681	例儀表 and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7159-7159	例 Micrometer and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7207-7207	例英里 and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6778-6778	例毫米 and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20170-20170	例 Nanometer and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3936-3936	例海裡 and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20159-20159	例院子長度 and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65681-65681	例院子長度 and UnitOfLength

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19037-19048	SelfConnectedObject 的 approximate diameter 是測量 RealNumber and RealNumberM Object 的 radius 是測量部 RealNumber and 2.0 and RealNumberM 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 例 RealNumberM and UnitOfLength 例 UnitOfMeasure and UnitOfVolume 等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio 物理系統 and RealNumber 比較多 RealNumber and 0 例 Process and 震患者 Process and 物理系統例 Entity and UnitOfLength 持有期間 Process and physicalAmplitude Process and 測量 RealNumber and Entity 持有期間 Process and physicalAmplitude Process and 測量 RealNumber and Entity 期間 Process and 何時 Process 期間 Process and 何時 Process 早期 Process and Process 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1910-1918	測量 RealNumber and UnitOfMeasure 是 SelfConnectedObject 的 elevation 例 UnitOfMeasure and UnitOfLength 例 SelfConnectedObject and 土地形式 SelfConnectedObject 上 SelfConnectedObject and SelfConnectedObject 距離 SelfConnectedObject, 海平面 and 測量 RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6349-6353	等於測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfLength 例 PhysicalQuantity and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1928-1942	例 GeographicArea and GeographicArea GeographicArea 的 elevation 低點是 GeographicArea 的 geographic 次要地區例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 elevation 低點的 elevation GeographicArea RealNumber GeographicArea 是 GeographicArea 的 geographic 次要地區等於 GeographicArea and GeographicArea 的 elevation 低點測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 elevation 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 907-911	例 GeographicArea and 內陸地區例 UnitOfMeasure and UnitOfLength 測量 0.0 and UnitOfMeasure 是 GeographicArea 的 total 海岸線
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4766-4776	例 SelfConnectedObject and 瓶子底部 SelfConnectedObject and SelfConnectedObject 上 SelfConnectedObject and SelfConnectedObject 例 UnitOfMeasure and UnitOfLength 寬度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 寬度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	例 Process and Motion 例 Process and 震例 Object and Damper 患者 Process and Object 部分 Object and Object 原因 Process and Process 例 Entity and UnitOfLength 持有期間何時 Process and physicalAmplitude Process and 測量 RealNumber and Entity 持有期間眼前的未來 Process and physicalAmplitude Process and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1927-1949	例 Process and EngineCycle 例發動機 and 內燃機例 Object and Piston 例 UnitOfMeasure and UnitOfLength 部分 Object and 發動機患者 Process and Object Process 是 located 在發動機 pistonStroke 發動機 and 測量 RealNumber and UnitOfMeasure TimeInterval TimeInterval, Physical, Physical and RealNumber 期間 TimeInterval and 何時 Process 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 位於 Object and Physical 持有期間 TimeInterval and 位於 Object and Physical 距離 Physical, Physical and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1410-1429	例 Device and 槍例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Device 的 effective 範圍距離 Device, Object and 測量 RealNumber and UnitOfMeasure 例 Object and Organism Object 之間 Object, Object and Device 小於或等於 RealNumber and RealNumber SymbolicString 能力卡帕 SymbolicString and 例 SymbolicString and Killing 患者 SymbolicString and Object, 儀器 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1388-1406	例 Device and 槍例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Device 的 effective 範圍距離 Device, Object and 測量 RealNumber and UnitOfMeasure Object 之間 Object, Object and Device 小於或等於 RealNumber and RealNumber SymbolicString 能力卡帕 SymbolicString and 例 SymbolicString and Damaging 患者 SymbolicString and Object, 儀器 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1325-1348	例 Object and Lever 例 Process and Pushing 例 Physical and Motion 例 UnitOfMeasure and UnitOfLength 目的地 Process and Object physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 2632-2641	例 Physical and Spaghetti 例 Physical and Linguine 例 UnitOfMeasure and UnitOfLength 寬度 Physical and 測量 RealNumber and UnitOfMeasure 寬度 Physical and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6847-6860	例 Process and 地面沉降患者 Process and Object 例 Object and LandArea 例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Object 的 elevation 持有期間眼前的未來何時 Process and entity 測量 entity and UnitOfMeasure 是 Object 的 elevation 少於 entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6327-6336	例 SelfConnectedObject and 植物樹例 SelfConnectedObject and 灌木例 UnitOfMeasure and UnitOfLength 高度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 高度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 587-592	例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的高速公路系統 length 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的鋪設鐵路 length 大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 913-917	例 UnitOfMeasure and UnitOfLength 測量 0.0 and UnitOfMeasure 是 GeographicArea 的 total 海岸線例 GeographicArea and 內陸地區
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3195-3201	例 WaterArea and 水路對於 WaterArea 從 Physical 的 depth 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfLength 少於 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是草案 WaterArea 的 navigable
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4316-4326	例 Object and 盆地例 Object and LandArea 例 UnitOfMeasure and UnitOfLength Object 是測量 RealNumber and UnitOfMeasure above 地表 Object 是測量 RealNumber and UnitOfMeasure above 地表方位 Object, Object and 鄰比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4275-4285	例 SelfConnectedObject and 山前 attribute SelfConnectedObject and 多山的地形方位 SelfConnectedObject, SelfConnectedObject and 鄰例 UnitOfMeasure and UnitOfLength 高度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 高度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4068-4079	例 Object and 地下區域例 UnitOfMeasure and UnitOfLength Object 是測量 RealNumber and UnitOfMeasure above 地表表面 SelfConnectedObject and 行星地球部分 Object and SelfConnectedObject 方位 Object, Object and 下面 Object 是測量 RealNumber and UnitOfMeasure above 地表比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4300-4310	例 Object and 谷例 Object and LandArea 例 UnitOfMeasure and UnitOfLength Object 是測量 RealNumber and UnitOfMeasure above 地表 Object 是測量 RealNumber and UnitOfMeasure above 地表方位 Object, Object and 鄰比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 191-199	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的軌道 length 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 寬軌鐵路位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 219-227	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的雙軌規格 length 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and DualGaugeRailway 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 577-585	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的高速公路系統 length 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 高速公路位於 Physical and GeographicArea

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 7800-7808	更大 Object and Object RealNumber RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18674-18689	例 Process and 洪水 Process 是 located 在 Object RealNumber RealNumber and Entity 例 Entity and UnitOfLength 持有期間開始何時 Process and 測量 RealNumber and Entity 是 Object 的 water 深度持有期間結束何時 Process and 測量 RealNumber and Entity 是 Object 的 water 深度比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 1083-1088	例 SelfConnectedObject and Grain grainSize SelfConnectedObject and RealNumber SelfConnectedObject 的 approximate diameter 是測量 RealNumber and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24924-24939	例 Process and 延長患者 Process and Entity Process Process and Entity 例 Entity and UnitOfLength 持有期間開始何時 Process and length Entity and 測量 Process and Entity 持有期間結束何時 Process and length Entity and 測量 Process and Entity 比較多 Process and Process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5027-5045	例 TimeInterval and 低潮例 TimeInterval and 高潮 TimeInterval 是 located 在 Object TimeInterval 是 located 在 Object 例 TimeInterval and Day 暫時重疊 TimeInterval and TimeInterval 暫時重疊 TimeInterval and TimeInterval RealNumber RealNumber and Entity 例 Entity and UnitOfLength 持有期間 TimeInterval and 測量 RealNumber and Entity 是 Object 的 water 深度持有期間 TimeInterval and 測量 RealNumber and Entity 是 Object 的 water 深度比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1393-1411	例 Process and MovingAwayFromPeople agent Process and AutonomousAgent Entity Entity, RealNumber and RealNumber 例 Entity and Human 例 Entity and UnitOfLength 持有期間不久的過去何時 Process and 距離 Process, AutonomousAgent and 測量 RealNumber and Entity 持有期間眼前的未來何時 Process and 距離 Process, AutonomousAgent and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1427-1445	例 Process and MovingTowardsPeople agent Process and AutonomousAgent Entity Entity, RealNumber and RealNumber 例 Entity and Human 例 Entity and UnitOfLength 持有期間不久的過去何時 Process and 距離 Process, AutonomousAgent and 測量 RealNumber and Entity 持有期間眼前的未來何時 Process and 距離 Process, AutonomousAgent and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18176-18191	例 Process and 縮短患者 Process and Entity RealNumber RealNumber and Entity 例 Entity and UnitOfLength 持有期間開始何時 Process and length Entity and 測量 RealNumber and Entity 持有期間結束何時 Process and length Entity and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1514-1529	例水波 and 水波 waveHeight 水波 and LengthMeasure List WaterArea, UnitOfMeasure and RealNumber 在列表中 LengthMeasure and List 例 WaterArea and WaterArea 水波是 located 在 WaterArea 例 UnitOfMeasure and UnitOfLength significantWaveHeight WaterArea, 何時水波 and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 乘法 4.0 and StandardDeviationFn List
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2848-2861	attribute SelfConnectedObject and 平面 SelfConnectedObject SelfConnectedObject, RealNumber, RealNumber, RealNumber and UnitOfMeasure 側 SelfConnectedObject and SelfConnectedObject 側 SelfConnectedObject and SelfConnectedObject 空間的符合 SelfConnectedObject and SelfConnectedObject 等於 SelfConnectedObject and SelfConnectedObject 例 UnitOfMeasure and UnitOfLength 高度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 高度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 高度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and 乘法 2.0 and RealNumber 比較多 RealNumber and 乘法 2.0 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2869-2882	attribute SelfConnectedObject and 又長又瘦 SelfConnectedObject SelfConnectedObject, RealNumber, RealNumber, RealNumber and UnitOfMeasure 側 SelfConnectedObject and SelfConnectedObject 側 SelfConnectedObject and SelfConnectedObject 空間的符合 SelfConnectedObject and SelfConnectedObject 等於 SelfConnectedObject and SelfConnectedObject 例 UnitOfMeasure and UnitOfLength length SelfConnectedObject and 測量 RealNumber and UnitOfMeasure length SelfConnectedObject and 測量 RealNumber and UnitOfMeasure length SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 少於 RealNumber and 乘法 3.0 and RealNumber 少於 RealNumber and 乘法 3.0 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2889-2902	attribute SelfConnectedObject and 水平的形狀 SelfConnectedObject SelfConnectedObject, SelfConnectedObject, RealNumber, RealNumber and UnitOfMeasure 上 SelfConnectedObject and SelfConnectedObject 部分 SelfConnectedObject and SelfConnectedObject 部分 SelfConnectedObject and SelfConnectedObject 例 UnitOfMeasure and UnitOfLength 高度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 高度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6227-6246	例 Physical and 刨床有目的 Physical and entity entity, entity, entity, entity and entity 例 entity and Cutting 儀器 entity and Physical 資源 entity and entity 例 entity and Object 材料 entity and 木結果 entity and entity 例 entity and Object 材料木 and entity attribute entity and 平面例 entity and UnitOfLength 高度 entity and 測量 entity and entity 高度 entity and 測量 entity and entity 比較多 entity and entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4176-4187	例 SelfConnectedObject and 傾斜的區域 SelfConnectedObject SelfConnectedObject, RealNumber, RealNumber and UnitOfMeasure 上 SelfConnectedObject and SelfConnectedObject 底部 SelfConnectedObject and SelfConnectedObject 例 UnitOfMeasure and UnitOfLength SelfConnectedObject 是測量 RealNumber and UnitOfMeasure above 地表 SelfConnectedObject 是測量 RealNumber and UnitOfMeasure above 地表比較多 RealNumber and RealNumber

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: