TreeView Knowledge Base Browser

appearance as argument number 1

(instance maxCylinderVolume BinaryPredicate)	Cars.kif 1753-1753	max cylinder volume is an instance of binary predicate
(domain maxCylinderVolume 1 Engine)	Cars.kif 1754-1754	The number 1 argument of max cylinder volume is an instance of engine
(domain maxCylinderVolume 2 VolumeMeasure)	Cars.kif 1755-1755	The number 2 argument of max cylinder volume is an instance of volume measure
(documentation maxCylinderVolume EnglishLanguage "The volume of the CombustionChamber of the EngineCylinder at the maximum point of extension of the piston.")	Cars.kif 1758-1760	The number 2 argument of max cylinder volume is an instance of volume measure

appearance as argument number 2

(format EnglishLanguage maxCylinderVolume "the maximum volume of the cylinders in the engine %1 is %n %2")	Cars.kif 1756-1757
(termFormat EnglishLanguage maxCylinderVolume "max cylinder volume")	domainEnglishFormat.kif 65889-65889

antecedent

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

Cars.kif 1762-1781

If All of the following hold: (1) X is an instance of engine cycle (2) Y is an instance of internal combustion engine (3) Z is an instance of combustion chamber (4) Z is a part of Y (5) X is located at Y (6) W is an instance of unit of volume (7) the maximum volume of the cylinders in the engine Y is V W(s) holds during the time of existence of X, then there don't exist U and T such that T takes place during the time of existence of X and the measure of Z is U W(s) holds during T and U is greater than V

consequent

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

Cars.kif 1792-1797

The compression ratio of X is Y if and only if the minimum volume of the cylinders in the engine X is Z W(s) and the maximum volume of the cylinders in the engine X is V W(s) and equal Y and Z and V

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: