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 1870-1872
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1865-1865	minCylinderVolume 的 1 数量是发动机的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1866-1866	minCylinderVolume 的 2 数量是体积测量的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1864-1864	minCylinderVolume 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1867-1868
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 1874-1893

如果过程是 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 1934-1939

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