height - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - height

height

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2642-2642
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7553-7554
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1358-1359
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7550-7550	域高度, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7551-7551	域高度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7549-7549	例高度 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7548-7548	子關係高度 and linearExtent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 619-619
No TPTP formula. May not be expressible in strict first order.	english_format.kif 622-622
No TPTP formula. May not be expressible in strict first order.	french_format.kif 374-374
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 127-127
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2108-2108
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 326-326
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 812-812
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 167-167
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 396-396
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 415-415
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 260-260
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 620-620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27878-27878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27877-27877
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 261-261

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9776-9781	高度 SelfConnectedObject and LengthMeasure 上 SelfConnectedObject and SelfConnectedObject 底部 SelfConnectedObject and SelfConnectedObject 距離 SelfConnectedObject, SelfConnectedObject and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 211-217	例 SelfConnectedObject and 人類成人高度 SelfConnectedObject and 測量 RealNumber and 英寸比較多 RealNumber and 120.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4401-4405	例 SelfConnectedObject and Dune 高度 SelfConnectedObject and 測量 RealNumber and 厘米比較多 SelfConnectedObject and 7.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6259-6268	例 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.	Geography.kif 4206-4216	例 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.	MilitaryDevices.kif 144-169	測量 RealNumber and UnitOfMeasure 是車輛的 maximum 有效附載容量車輛對於測量 RealNumber and UnitOfMeasure 的 maximum 有效附載高度測量 RealNumber and UnitOfMeasure 例 SelfConnectedObject and SelfConnectedObject 測量 RealNumber and RealNumberU 是 SelfConnectedObject 的 weight 寬度 SelfConnectedObject and 測量 RealNumber and RealNumberU 高度 SelfConnectedObject and 測量 RealNumber and RealNumberU 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 小於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 能力卡帕 SymbolicString and 例 SymbolicString and Transportation 患者 SymbolicString and SelfConnectedObject, 儀器 and 車輛

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31091-31096	memberMeasure Set, MeasurementAttribute and LengthMeasure 例 Set and Set 元件 SelfConnectedObject and Set 高度 SelfConnectedObject and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31098-31103	memberMeasure Class, Width and LengthMeasure 例 Class and Class 例 SelfConnectedObject and Class 高度 SelfConnectedObject and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2782-2795	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 2823-2836	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.	Mid-level-ontology.kif 13365-13374	Object 的 maximum 預期高度是測量 RealNumber and UnitOfMeasure 模態屬性 entity RealNumberEIGHT 例 entity and Object 高度 entity and 測量 RealNumberEIGHT and UnitOfMeasure 比較多 RealNumberEIGHT and RealNumber and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13349-13357	Object 的 minimum 預期高度是測量 RealNumber and UnitOfMeasure 模態屬性 entity RealNumberEIGHT 例 entity and Object 高度 entity and 測量 RealNumberEIGHT and UnitOfMeasure 少於 RealNumberEIGHT and RealNumber 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.	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.	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 範圍
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6017-6036	例 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.	MilitaryDevices.kif 121-138	車輛對於測量 RealNumber and UnitOfMeasure 的 maximum 有效附載高度測量 RealNumber and UnitOfMeasure Process SelfConnectedObject, RealNumber, RealNumberU, RealNumber and RealNumberU 例 Process and Transportation 儀器 Process and 車輛患者 Process and SelfConnectedObject 寬度 SelfConnectedObject and 測量 RealNumber and RealNumberU 高度 SelfConnectedObject and 測量 RealNumber and RealNumberU 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 比較多 RealNumber and RealNumber 比較多 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