TreeView Knowledge Base Browser - engineIdleSpeed

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

engineIdleSpeed

Sigma KEE - engineIdleSpeed

engineIdleSpeed

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2561-2565
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2558-2558	域 engineIdleSpeed, 1 and 內燃機
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2559-2559	域 engineIdleSpeed, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2557-2557	例 engineIdleSpeed and BinaryPredicate

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	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 2567-2583	持有期間 TimePosition and 測量 Object and FunctionQuantity engineIdleSpeed 內燃機 and FunctionQuantity 例 Object and 汽車部分內燃機 and Object 部分 Object and 內燃機模態屬性 entity entity 期間 entity and TimePosition 例 entity and Pushing 目的地 entity and entity 部分 entity and Object and 容易

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