Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| minCylinderVolume |
| appearance as argument number 1 |
|
| (instance minCylinderVolume BinaryPredicate) | Cars.kif 1722-1722 | min cylinder volume is an instance of binary predicate |
| (domain minCylinderVolume 1 Engine) | Cars.kif 1723-1723 | The number 1 argument of min cylinder volume is an instance of engine |
| (domain minCylinderVolume 2 VolumeMeasure) | Cars.kif 1724-1724 | The number 2 argument of min cylinder volume is an instance of volume measure |
| (documentation minCylinderVolume EnglishLanguage "The volume of the CombustionChamber of the EngineCylinder at the maximum point of compression of the cylinder.") | Cars.kif 1728-1730 | The number 2 argument of min cylinder volume is an instance of volume measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage minCylinderVolume "the minimum volume of the cylinders in the engine %1 is %n %2") | Cars.kif 1725-1726 | |
| (termFormat EnglishLanguage minCylinderVolume "min cylinder volume") | domainEnglishFormat.kif 65895-65895 |
| antecedent |
|
|
| (=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (eventLocated ?EC ?E) (instance ?U UnitOfVolume) (holdsDuring (WhenFn ?EC) (minCylinderVolume ?E (MeasureFn ?V1 ?U)))) (not (exists (?V2 ?T) (and (during ?T (WhenFn ?EC)) (holdsDuring ?T (measure ?CC (MeasureFn ?V2 ?U))) (greaterThan ?V1 ?V2))))) |
Cars.kif 1732-1751 | 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 minimum 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 V is greater than U |
| 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 |
|