TreeView Knowledge Base Browser - InternalCombustionEngine

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

InternalCombustionEngine

Sigma KEE - InternalCombustionEngine

InternalCombustionEngine(内燃机)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1761-1763
No TPTP formula. May not be expressible in strict first order.	Cars.kif 27-45
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4976-4976
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4977-4977
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4975-4975
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1760-1760	内燃机是发动机的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 85-85	ContinuousCombustionEngine 是内燃机的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23611-23611	柴油发动机是内燃机的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23600-23600	汽油发动机是内燃机的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 91-91	IntermittentCombustionEngine 是内燃机的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 90-90	涡轮是内燃机的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30469-30469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30468-30468
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30467-30467
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3320-3320	OilPan typically 是内燃机的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3321-3321	内燃机 typically 有 part OilPan

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Cars.kif 2558-2558

engineIdleSpeed 的 1 数量是内燃机的 instance

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 1943-1965	如果过程是 EngineCycle 的 instance 和发动机是内燃机的 instance 和客体是 Piston 的 instance 和测量单位是 UnitOfLength 的 instance 和那个客体是那个发动机的 part 和那个客体是那个过程的 patient 和那个过程是 located 在那个发动机和 pistonStroke 那个发动机 and 实数那个测量单位，然后不存在时距，另一个时距,，，物理,，，另一个物理， and 和另一个实数这样那个时距在那个过程出现的 time 时段内发生和那个另外时距在那个过程出现的 time 时段内发生和那个客体是 located 在那个物理在那个时距 holdsDuring 和那个客体是 located 在那个另外物理在那个另外时距 holdsDuring 和那个物理和那个另外物理的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 57-65	如果物理是内燃机的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是燃烧的 instance 和那个另外实体是运动的 instance 和那个第三实体是那个物理的 part 和那个第三实体是那个另外实体的 patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 47-55	如果物理是内燃机的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是汽油的 instance 和那个另外实体是燃烧的 instance 和那个物理是导致那个另外实体的 instrument 和那个实体是那个另外实体的 resource
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1765-1773	如果过程是内燃机的 operating 的 instance，然后有存在自身连接物体，洞， and 和客体这样那个自身连接物体是内燃机的 instance 和那个自身连接物体是导致那个过程的 instrument 和那个洞是那个自身连接物体内的 hole 和那个客体是燃烧的 instance 和那个客体完全 fills 那个洞

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2215-2230	如果过程是 EngineCranking 的 instance，然后有存在客体，另一个客体,，，第三客体,，，另一个过程,，，第四客体， and 和第三过程这样那个客体是电动机的 instance 和那个另外客体是内燃机的 instance 和那个第三客体是轴的 instance 和那个第四客体是 Crankshaft 的 instance 和那个第三客体是那个客体的 part 和那个另外过程%n是那个过程的subProcess 和那个另外过程是旋转的 instance 和那个第三客体是那个另外过程的 patient 和那个第三过程是旋转的 instance 和那个第四客体是那个第三过程的 patient 和那个第四客体是那个另外客体的 part 和那个另外过程 causes 那个第三过程
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2752-2763	如果物理是 EngineFan 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个第三实体是汽车的 instance 和那个实体是冷却的 instance 和那个另外实体是内燃机的 instance 和那个另外实体是那个第三实体的 part 和那个物理是那个第三实体的 part 和那个物理是导致那个实体的 instrument 和那个另外实体是那个实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1765-1773	如果过程是内燃机的 operating 的 instance，然后有存在自身连接物体，洞， and 和客体这样那个自身连接物体是内燃机的 instance 和那个自身连接物体是导致那个过程的 instrument 和那个洞是那个自身连接物体内的 hole 和那个客体是燃烧的 instance 和那个客体完全 fills 那个洞
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3953-3961	如果物理是 StarterMotor 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个第三实体是内燃机的 instance 和那个物理是导致那个实体的 instrument 和那个第三实体是导致那个另外实体的 instrument 和那个实体 causes 那个另外实体

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