KnotUnitOfSpeed - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - KnotUnitOfSpeed

KnotUnitOfSpeed(結速度單位)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3925-3927
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3924-3924	例結速度單位 and CompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3922-3922	結速度單位是 "kt" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3921-3921	名 "knot" and 結速度單位
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32719-32719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32718-32718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32717-32717

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 159-165	例 Physical and WindFlow 例 Object and Object 部分位於 Physical and Object 測量 Physical and 測量 RealNumber and 結速度單位測量 RealNumber and 結速度單位是 Object 的 surface 風速
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4905-4909	測量 Substance 的 flow and 測量 RealNumber and 結速度單位片 Substance and Substance 片 Substance and 測量 RealNumber and 結速度單位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3939-3945	等於 FunctionQuantity and 測量 RealNumber and 結速度單位等於 FunctionQuantity and 速度測量 RealNumber and 海裡 and 測量 1.0 and 小時

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1275-1296	例 Process and 塵暴例 Process and 風子過程 Process and Process Transfer Object, Object, Object, Object and RealNumber 例 Object and LandArea Process 是 located 在 Object 測量 RealNumber and 結速度單位是 Object 的 surface 風速比較多 RealNumber and 30.0 例 Transfer and 易位子過程 Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object 例 Object and ParticulateMatter 例 Object and 砂例 Object and LandArea 目的地 Transfer and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 159-165	例 Physical and WindFlow 例 Object and Object 部分位於 Physical and Object 測量 Physical and 測量 RealNumber and 結速度單位測量 RealNumber and 結速度單位是 Object 的 surface 風速
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4905-4909	測量 Substance 的 flow and 測量 RealNumber and 結速度單位片 Substance and Substance 片 Substance and 測量 RealNumber and 結速度單位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3929-3937	等於 FunctionQuantity and 速度測量 RealNumber and 海裡 and 測量 RealNumber and 小時等於 FunctionQuantity and 測量部 RealNumber and RealNumber and 結速度單位
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2627-2640	例 Physical and 暴風雪持有期間何時 Physical and entity entity and entity 例 entity and GeographicArea Physical 是 located 在 entity 測量 entity and 結速度單位是 entity 的 surface 風速比較多 entity and 35.0 持續時間何時 Physical and 測量 entity and 小時比較多 entity and 3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2905-2914	例 Physical and Storm 持有期間何時 Physical and entity entity 例 entity and GeographicArea 測量 entity and 結速度單位是 entity 的 surface 風速比較多 entity and 30.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