TreeView Knowledge Base Browser - EngineCylinder

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - EngineCylinder

EngineCylinder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 308-309
No TPTP formula. May not be expressible in strict first order.	Cars.kif 307-307	子類 EngineCylinder and Artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64823-64823
No TPTP formula. May not be expressible in strict first order.	Cars.kif 344-344	Piston typically 是 EngineCylinder 的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 345-345	EngineCylinder typically 有 part Piston

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	例 Object and EngineCylinder 例 HoleRegion and Crankcase 例 Physical and Piston 例 Process and TwoStrokeTransfer 持有期間 Process and 位於 Physical and Object 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object 有目的 Physical and 持有期間 Process and 部分填補 Physical and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 例 Physical and Piston 例 Process and TwoStrokeIntake 持有期間 Process and 位於 Physical and Object 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object 有目的 Physical and 持有期間 Process and 部分填補 Physical and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	例 Entity and EngineChoke 持有期間 Process and attribute Entity and 設備上持有期間 Process and attribute Entity and 設備關閉例 SelfConnectedObject and EngineCylinder ConstantQuantity 是 SelfConnectedObject 的 capacity 例 Process and FourStrokeCompression 例 Process and FourStrokeCompression Process 是 located 在 SelfConnectedObject Process 是 located 在 SelfConnectedObject 例 Object and 空氣例 Object and 汽油部分 Object and ConstantQuantityIX1 部分 Object and ConstantQuantityIX1 測量 ConstantQuantityIX1 and ConstantQuantity 例 Object and 空氣例 Object and 汽油部分 Object and ConstantQuantityIX2 部分 Object and ConstantQuantityIX2 測量 ConstantQuantityIX2 and ConstantQuantity 例 UnitOfMeasure and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 比較多部 ObjectM and ObjectM and 部 ObjectM and ObjectM
No TPTP formula. May not be expressible in strict first order.	Cars.kif 207-217	例 Process and FourStrokeCombustion 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object ObjectO 例 ObjectO and Combustion 子過程 ObjectO and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 191-200	例 Process and FourStrokeCompression 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object 持有期間結束何時 Process and attribute HoleRegion and Pressurized
No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	例 Process and FourStrokeExhaust 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object Entity Process 例 Process and 氣體運動例 Entity and Exhaust 子過程 Process and Process 起源 Process and HoleRegion 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 171-184	例 Process and FourStrokeIntake 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object ProcessV Process 例 Process and 氣體運動例 ProcessV and FuelVapor 子過程 Process and Process 目的地 Process and HoleRegion 患者 Process and ProcessV
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	例 Object and FuelPump 例 Object and 汽車部分 Object and Object 例 Motion and Transportation 例 Process and 汽油患者 Motion and Process 儀器 Process and Object 例 Object and GasTank 部分 Object and Object 例 Object and EngineCylinder 部分 Object and Object 起源 Motion and Object 目的地 Motion and Object 路徑 Motion and Object 有目的 Motion and ProcessF 例 ProcessF and FuelFilter Object 對於 Object between 在路徑 ProcessF
No TPTP formula. May not be expressible in strict first order.	Cars.kif 523-536	例 Process and TwoStrokeTransfer 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object Entity Process 例 Process and 氣體運動例 Entity and Exhaust 子過程 Process and Process 起源 Process and HoleRegion 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 317-322	例 Object and EngineCylinder HoleRegion 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	例 Object and FuelPump 例 Object and 汽車部分 Object and Object 例 Process and Transportation 例 Process and 汽油患者 Process and Process 儀器 Process and Object 有目的 Object and entity entity 例 entity and GasTank 部分 entity and Object 例 entity and EngineCylinder 部分 entity and Object 起源 Process and entity 目的地 Process and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4531-4538	engineCylinders 發動機 and NonnegativeInteger Collection 發動機C 例 Collection and Collection Collection 對於 NonnegativeInteger 的 member 類別計數 EngineCylinder 會員發動機C and Collection 部分發動機C and 發動機
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1354-1362	例 Process and Backfire Object Object 例 Object and EngineCylinder 例 Object and 發動機部分 Object and Object Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2629-2645	例 Physical and ExhaustManifold 有目的 Physical and entity entity, entity, entity and entity 例 entity and 汽車例 entity and Exhaust 例 entity and EngineCylinder 例 entity and AutomobileMuffler 例 entity and Transfer 部分 Physical and entity 部分 entity and entity 部分 entity and entity 起源 entity and entity 目的地 entity and entity 患者 entity and entity 儀器 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 107-112	例 Object and FourStrokeEngine Object 例 Object and EngineCylinder 部分 Object and Object

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