Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| pistonStroke |
| appearance as argument number 1 |
|
| (instance pistonStroke BinaryPredicate) | Cars.kif 1799-1799 | piston stroke is an instance of binary predicate |
| (domain pistonStroke 1 Engine) | Cars.kif 1800-1800 | The number 1 argument of piston stroke is an instance of engine |
| (domain pistonStroke 2 LengthMeasure) | Cars.kif 1801-1801 | The number 2 argument of piston stroke is an instance of length measure |
| (documentation pistonStroke EnglishLanguage "The maximum distance that a piston travels during normal operation of the Engine.") | Cars.kif 1804-1805 | The number 2 argument of piston stroke is an instance of length measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage pistonStroke "the maximum distance that the pistons of engine %1 travel is %n %2") | Cars.kif 1802-1803 | |
| (termFormat EnglishLanguage pistonStroke "piston stroke") | domainEnglishFormat.kif 65925-65925 |
| antecedent |
|
|
| (=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?P Piston) (instance ?U UnitOfLength) (part ?P ?E) (patient ?EC ?P) (eventLocated ?EC ?E) (pistonStroke ?E (MeasureFn ?LM ?U))) (not (exists (?T1 ?T2 ?L1 ?L2 ?D) (and (during ?T1 (WhenFn ?EC)) (during ?T2 (WhenFn ?EC)) (holdsDuring ?T1 (located ?P ?L1)) (holdsDuring ?T2 (located ?P ?L2)) (distance ?L1 ?L2 (MeasureFn ?D ?U)) (greaterThan ?D ?LM))))) |
Cars.kif 1807-1829 | 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 piston (4) W is an instance of unit of length (5) Z is a part of Y (6) Z is a patient of X (7) X is located at Y (8) the maximum distance that the pistons of engine Y travel is V W(s), then there don't exist U, T,, , S,, , R and Q such that U takes place during the time of existence of X and T takes place during the time of existence of X and Z is located at S holds during U and Z is located at R holds during T and the distance between S and R is Q W(s) and Q is greater than V |
|