Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| maxCylinderVolume |
| 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 |
|