TreeView Knowledge Base Browser - RotationFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RotationFn

RotationFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2084-2085
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2086-2086	域 RotationFn, 1 and 旋轉
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2087-2087	域 RotationFn, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2082-2082	例 RotationFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2088-2088	範圍 RotationFn and FunctionQuantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2083-2083
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65423-65423

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2568-2586	engineIdleSpeed 內燃機 and RotationFn 測量 RealNumber and MilesPerHour and TimeDuration 例 Object and 汽車例 Process and GasPedal 例 Process and Pushing 目的地 Process and Object 部分內燃機 and Object 部分 Object and Object 例 Object and Crankshaft 部分 Object and 內燃機持有期間何時 Process and 測量 Object and RotationFn 測量 entity and MilesPerHour and TimeDuration 模態屬性比較多 entity and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2097-2116	例 Entity and 軸例 Entity and 軸等於 Entity and Entity 例 EngineeringComponent and 旋轉患者 EngineeringComponent and Entity 例 EngineeringComponent and 旋轉患者 EngineeringComponent and Entity 原因 EngineeringComponent and EngineeringComponent 例 EngineeringComponent and CVJoint 連接的工程組件 EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent 持有期間何時 EngineeringComponent and 等於 Entity and RotationFn entity and entity 持有期間何時 EngineeringComponent and 等於 Entity and RotationFn entity and entity

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2097-2116	例 Entity and 軸例 Entity and 軸等於 Entity and Entity 例 EngineeringComponent and 旋轉患者 EngineeringComponent and Entity 例 EngineeringComponent and 旋轉患者 EngineeringComponent and Entity 原因 EngineeringComponent and EngineeringComponent 例 EngineeringComponent and CVJoint 連接的工程組件 EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent 持有期間何時 EngineeringComponent and 等於 Entity and RotationFn entity and entity 持有期間何時 EngineeringComponent and 等於 Entity and RotationFn entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2329-2363	例 Physical and AutomobileTransmission 有目的 Physical and entity entity, entity, entity, entity, entity, entity, entity, entity and entity 例 entity and Crankshaft 例 entity and Driveshaft 例 entity and 汽車部分 entity and entity 部分 Physical and entity 部分 entity and entity 連接的工程組件 entity and Physical 連接的工程組件 entity and Physical 例 entity and 旋轉例 entity and 旋轉例 entity and 旋轉例 entity and 旋轉患者 entity and entity 患者 entity and entity 患者 entity and entity 患者 entity and entity 原因 entity and entity 原因 entity and entity 等於 entity and entity 持有期間 entity and 測量 entity and RotationFn entity and 分鐘持有期間 entity and 測量 entity and RotationFn entity and 分鐘持有期間 entity and 測量 entity and RotationFn entity and 分鐘持有期間 entity and 測量 entity and RotationFn entity and 分鐘等於 entity and entity

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