TreeView Knowledge Base Browser - CombustionChamber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

CombustionChamber

Sigma KEE - CombustionChamber

CombustionChamber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1697-1698
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1695-1695	CombustionChamber 是设备的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1707-1707	CatalyticConverter 是 CombustionChamber 的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1696-1696

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2811-2830	如果客体是内燃机的 instance 和另一个客体是 CombustionChamber 的 instance 和那个另外客体是那个客体的 part 和实体是汽油的 instance 和另一个实体是 UnitOfVolume 的 instance 和那个另外客体 contains 那个实体和那个实体的 measure 是第三实体那个另外实体和 EngineFlooded 是那个客体的 attribute 在时间位置 holdsDuring，然后那个另外客体的目的是不存在那个实体2 和第五实体这样那个实体2 是汽油的 instance 和那个另外客体 contains 那个实体2 和那个实体2 的 measure 是那个第五实体那个另外实体和那个第五实体是 greaterThanOrEqualTo 那个第三实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1898-1917	如果过程是 EngineCycle 的 instance 和客体是内燃机的 instance 和另一个客体是 CombustionChamber 的 instance 和那个另外客体是那个客体的 part 和那个过程是 located 在那个客体和实体是 UnitOfVolume 的 instance 和 maxCylinderVolume 那个客体 and 实数那个实体在那个过程出现的 time holdsDuring，然后不存在另一个实数和时距这样那个时距在那个过程出现的 time 时段内发生和那个另外客体的 measure 是那个另外实数那个实体在那个时距 holdsDuring 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1868-1887	如果过程是 EngineCycle 的 instance 和客体是内燃机的 instance 和另一个客体是 CombustionChamber 的 instance 和那个另外客体是那个客体的 part 和那个过程是 located 在那个客体和实体是 UnitOfVolume 的 instance 和 minCylinderVolume 那个客体 and 实数那个实体在那个过程出现的 time holdsDuring，然后不存在另一个实数和时距这样那个时距在那个过程出现的 time 时段内发生和那个另外客体的 measure 是那个另外实数那个实体在那个时距 holdsDuring 和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1700-1705	如果客体是 CombustionChamber 的 instance，然后有存在洞这样那个洞是洞的 instance 和那个客体 equal 洞那个洞的主体

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2690-2703	如果物理是 IntakeValve 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是汽车的 instance 和那个另外实体是 FuelVapor 的 instance 和那个第三实体是 CombustionChamber 的 instance 和那个第四实体是转移的 instance 和那个物理是那个实体的 part 和那个第三实体是那个实体的 part 和那个另外实体是那个第四实体的 patient 和那个物理%n是那个第四实体发生的path 和那个第四实体在那个第三实体结束
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3818-3834	如果物理是 PositiveCrankcaseVentilationValve 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是 Crankcase 的 instance 和那个另外实体是汽油的 instance 和那个第三实体是 CombustionChamber 的 instance 和那个第四实体是转移的 instance 和那个第五实体是汽车的 instance 和那个实体是那个第五实体的 part 和那个第三实体是那个第五实体的 part 和那个物理是那个第五实体的 part 和那个实体是那个第四实体的源头和那个第四实体在那个第三实体结束和 objectTransferred 那个第四实体 and 那个另外实体和那个物理%n是那个第四实体发生的path

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