TreeView Knowledge Base Browser - SpeedFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SpeedFn

SpeedFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2483-2485
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6661-6664
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1178-1180
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6657-6657	域速度, 1 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6658-6658	域速度, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6656-6656	例速度 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6655-6655	例速度 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6659-6659	範圍速度 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6654-6654	子關係速度 and 每

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 659-659
No TPTP formula. May not be expressible in strict first order.	english_format.kif 662-662
No TPTP formula. May not be expressible in strict first order.	french_format.kif 396-396
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 267-267
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2126-2126
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 348-348
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 862-862
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 304-304
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 418-418
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 439-439
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 459-459
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54606-54606
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 660-660
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54605-54605
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54604-54604

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2884-2902	governorSpeed SpeedGovernor and FunctionQuantity 等於測量 RealNumber and MilesPerHour and 速度 LengthMeasure and TimeDuration 等於測量 RealNumber and MilesPerHour and 速度 LengthMeasure and TimeDuration 比較多 RealNumber and RealNumber 等於 RealNumberPROB and 可能性測量 SpeedGovernor and 測量 RealNumber and MilesPerHour 等於 RealNumberPROB and 可能性測量 SpeedGovernor and 測量 RealNumber and MilesPerHour 比較多 RealNumberPROB and RealNumberPROB
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11158-11166	例 Process and Walking 例 Process and 賽跑 agent Process and AutonomousAgent agent Process and AutonomousAgent 持有期間何時 Process and 測量 AutonomousAgent and 速度 RealNumber and entity 持有期間何時 Process and 測量 AutonomousAgent and 速度 RealNumber and entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 148-157	例 Object and WindFlow 例 Object and Object 部分位於 Object and Object 測量 RealNumber and 腳長是 Object 的 elevation 小於或等於 RealNumber and 500.0 測量 Object and 速度 LengthMeasure and TimeDuration 速度 LengthMeasure and TimeDuration 是 Object 的 surface 風速
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4903	測量 Substance 的 flow and 速度 LengthMeasure and TimeDuration 片 Substance and Substance 片 Substance and 速度 LengthMeasure and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 115-123	Region 是對於 DirectionalAttribute 的 surface 風速率速度 LengthMeasure and TimeDuration 例 Region and WindFlow Process 例 Process and 風 Process 是 partly located 在 Region 測量 Process and 速度 LengthMeasure, TimeDuration, Region and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1718-1736	車輛的 top speed 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 例 Entity and UnitOfLength 例 Entity and UnitOfDuration 等於 RealNumber and 可能性測量車輛 and 速度測量 LengthMeasure and Entity and 測量 TimeDuration and Entity 等於 RealNumber and 可能性測量車輛 and 速度測量 LengthMeasure and Entity and 測量 TimeDuration and Entity 比較多速度 LengthMeasure and TimeDuration and RealNumber 比較多 RealNumber and 速度 LengthMeasure and TimeDuration 比較多 RealNumber and RealNumber
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 結速度單位

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1702-1708	等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度測量 RealNumber and 英里 and 測量 1 and 小時
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17143-17164	例 Process and 加速 agent Process and AutonomousAgent RealNumber RealNumber, RealNumber, RealNumber, entity and entity 持有期間開始何時 Process and 測量 AutonomousAgent and 速度測量 RealNumber and entity and 測量 RealNumber and entity 持有期間結束何時 Process and 測量 AutonomousAgent and 速度測量 RealNumber and entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17171-17191	例 Process and 減速 agent Process and AutonomousAgent RealNumber RealNumber, RealNumber, RealNumber, entity and entity 持有期間開始何時 Process and 測量 AutonomousAgent and 速度測量 RealNumber and entity and 測量 RealNumber and entity 持有期間結束何時 Process and 測量 AutonomousAgent and 速度測量 RealNumber and entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 125-130	例 Region and Object 例 Physical and 風測量 Physical and 速度 LengthMeasure, TimeDuration, Region and DirectionalAttribute Region 是對於 DirectionalAttribute 的 surface 風速率速度 LengthMeasure and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 148-157	例 Object and WindFlow 例 Object and Object 部分位於 Object and Object 測量 RealNumber and 腳長是 Object 的 elevation 小於或等於 RealNumber and 500.0 測量 Object and 速度 LengthMeasure and TimeDuration 速度 LengthMeasure and TimeDuration 是 Object 的 surface 風速
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4903	測量 Substance 的 flow and 速度 LengthMeasure and TimeDuration 片 Substance and Substance 片 Substance and 速度 LengthMeasure and TimeDuration
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 小時
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6679-6681	測量 Physical and 速度 LengthMeasure, TimeDuration, Region and DirectionalAttribute 測量 Physical and 速度 LengthMeasure and TimeDuration

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