RotationFn - Sigma Knowledge base Browser

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 2107-2108
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2109-2109	域 RotationFn, 1 and 旋轉
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2110-2110	域 RotationFn, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2105-2105	例 RotationFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2111-2111	範圍 RotationFn and FunctionQuantity

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2591-2609	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 2120-2139	例 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 2120-2139	例 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 2352-2386	例 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 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