minCylinderVolume - Sigma Knowledge base Browser

appearance as argument number 1

(documentation minCylinderVolume EnglishLanguage "The volume of the CombustionChamber of the EngineCylinder at the maximum point of compression of the cylinder.")	Cars.kif 1859-1861
(domain minCylinderVolume 1 Engine)	Cars.kif 1854-1854	minCylinderVolume の数値 1 引数は Engine の instance では %n
(domain minCylinderVolume 2 VolumeMeasure)	Cars.kif 1855-1855	minCylinderVolume の数値 2 引数は容積測定の instance では %n
(instance minCylinderVolume BinaryPredicate)	Cars.kif 1853-1853	minCylinderVolume は 2進述語の instance では %n

appearance as argument number 2

(format EnglishLanguage minCylinderVolume "the minimum volume of the cylinders in the engine %1 is %n %2")

Cars.kif 1856-1857

antecedent

(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (eventLocated ?EC ?E)
        (holdsDuring
            (WhenFn ?EC)
            (minCylinderVolume ?E ?V1)))
    (not
        (exists (?V2 ?T)
            (and
                (during ?T
                    (WhenFn ?EC))
                (holdsDuring ?T
                    (measure ?CC ?V2))
                (greaterThan ?V1 ?V2)))))

Cars.kif 1863-1879

consequent

(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))

Cars.kif 1917-1922