length - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2643-2644
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7560-7561
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1360-1361
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7558-7558	例 length and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7556-7556	例 length and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7557-7557	子關係 length and linearExtent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 613-613
No TPTP formula. May not be expressible in strict first order.	english_format.kif 616-616
No TPTP formula. May not be expressible in strict first order.	french_format.kif 371-371
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 162-162
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2105-2105
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 323-323
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 380-380
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 803-803
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 201-201
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 393-393
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 412-412
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 323-323
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17568-17568	子關係水深 and length
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 614-614
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65864-65864
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 324-324

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 620-630	例 Process and CPR 例 Motion and Compressing 路徑 Motion and Object 子過程 Motion and Process length Object and 測量 RealNumber and 厘米比較多 RealNumber and 5.0 少於 RealNumber and 6.0
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1567-1574	例 Object and AuditoryCanal 部分 Object and Object attribute Object and Healthy length Object and 測量 RealNumber and 厘米 approximateValue RealNumber and 2.5
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1517-1524	例 Object and EustachianTube 部分 Object and Object attribute Object and Healthy length Object and 測量 RealNumber and 厘米 approximateValue RealNumber and 35.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10555-10570	例 Process and MuscleRelaxing 患者 Process and Entity 例 Entity and Muscle 持有期間不久的過去何時 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.	Mid-level-ontology.kif 10533-10548	例 Process and MuscularContraction 患者 Process and Entity 例 Entity and Muscle 持有期間不久的過去何時 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.	Merge.kif 11082-11092	路徑 Motion and Object 起源 Motion and Object 目的地 Motion and Object length Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber 部分 Object and Object 之間 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17906-17931	relativeAngle Object, Object and RealNumber physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object length Object and 測量 RealNumber and UnitOfMeasure length Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Object and 測量 RealNumber and UnitOfMeasure physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 空間的符合 Object and Object 等於 RealNumber and ArcCosineFn 部減法減法乘法 RealNumber and RealNumber and 乘法 RealNumber and RealNumber and 乘法 RealNumber and RealNumber and 乘法 2.0 and 乘法 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7563-7571	length Physical and 測量 RealNumber and UnitOfMeasure RealNumber Physical 的 linear extent 是測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 182-189	LengthMeasure 是 GeographicArea 的軌道 length length 卡帕 SymbolicString and 例 SymbolicString and 寬軌鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 712-719	LengthMeasure 是 GeographicArea 的原油管線 length length 卡帕 SymbolicString and 例 SymbolicString and 原油管道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 210-217	LengthMeasure 是 GeographicArea 的雙軌規格 length length 卡帕 SymbolicString and 例 SymbolicString and DualGaugeRailway 位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 126-133	LengthMeasure 是 GeographicArea 的電場軌道 length length 卡帕 SymbolicString and 例 SymbolicString and 電氣化鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 568-575	LengthMeasure 是 GeographicArea 的高速公路系統 length length 卡帕 SymbolicString and 例 SymbolicString and 高速公路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 154-161	LengthMeasure 是 GeographicArea 的多軌鐵路 length length 卡帕 SymbolicString and 例 SymbolicString and 多軌鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 237-244	LengthMeasure 是 GeographicArea 的短規格鐵路的 length length 卡帕 SymbolicString and 例 SymbolicString and 窄軌鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 735-742	LengthMeasure 是 GeographicArea 的天然瓦斯管線的 length length 卡帕 SymbolicString and 例 SymbolicString and 天然氣管道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 542-549	LengthMeasure 是 GeographicArea 的鋪設鐵路 length length 卡帕 SymbolicString and 例 SymbolicString and 浮出水面的巷道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 758-765	LengthMeasure 是 GeographicArea 的石油產品管線 length length 卡帕 SymbolicString and 例 SymbolicString and 石油產品管道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 265-272	LengthMeasure GeographicArea 的標準規格管線 length length 卡帕 SymbolicString and 例 SymbolicString and 標準軌距鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 294-306	LengthMeasure 是 GeographicArea 的未分類規格軌道 length length 卡帕 SymbolicString and 位於 SymbolicString and GeographicArea 例 SymbolicString and 聯盟標準軌距鐵路 and 聯盟寬軌鐵路 and 聯盟 DualGaugeRailway and 窄軌鐵路 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 601-608	LengthMeasure 是 GeographicArea 的未鋪設高速公路 length length 卡帕 SymbolicString and 例 SymbolicString and 沒有鋪面的巷道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 484-491	LengthMeasure 是 GeographicArea 的 total 高速公路系統長度 length 卡帕 SymbolicString and 例 SymbolicString and 巷道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 98-105	LengthMeasure 是 GeographicArea 的 total 鐵路系統長度 length 卡帕 SymbolicString and 例 SymbolicString and 鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 656-663	LengthMeasure 是 GeographicArea 的 total 水路長路 length 卡帕 SymbolicString and 例 SymbolicString and 水路部分位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 685-692	LengthMeasure 是在地區 GeographicArea 的 total 管線 length 卡帕 SymbolicString and 例 SymbolicString and 管道位於 SymbolicString and GeographicArea and LengthMeasure
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.	Mid-level-ontology.kif 23805-23820	例 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.	Mid-level-ontology.kif 17208-17223	例 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.	Mid-level-ontology.kif 31060-31065	memberMeasure Set, MeasurementAttribute and LengthMeasure 例 Set and Set 元件 Physical and Set length Physical and LengthMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

Geography.kif 4671-4674

length 南部海洋和南極洲的 shoreline and 測量 17968.0 and 千儀表

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: