TreeView Knowledge Base Browser - minCylinderVolume

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

minCylinderVolume

Sigma KEE - minCylinderVolume

minCylinderVolume

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1864-1866
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1859-1859	minCylinderVolume 的 1 数量是发动机的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1860-1860	minCylinderVolume 的 2 数量是体积测量的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1858-1858	minCylinderVolume 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1861-1862
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65876-65876

antecedent

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 那个另外实数

consequent

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

Cars.kif 1928-1933

compressionRatio 发动机 and 实数若且唯若 minCylinderVolume 那个发动机 and 另一个实数测量单位和 maxCylinderVolume 那个发动机 and 那个测量单位AX 那个测量单位和那个实数 equal 那个另外实数和那个测量单位AX

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