Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ResetMeasuringDevice
|
|
|
| appearance as argument number 1 |
|
|
| (instance ResetMeasuringDevice RelationalAttribute) | Cars.kif 2853-2853 | Reset measuring device is an instance of relational attribute |
| (documentation ResetMeasuringDevice EnglishLanguage "ResetMeasuringDevice is an attribute which signified that the measurementReading of a MeasuringDevice has been set to zero.") | Cars.kif 2854-2856 | Reset measuring device is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ResetMeasuringDevice "reset measuring device") | domainEnglishFormat.kif 65957-65957 |
| antecedent |
|
|
| (=> (and (instance ?X MeasuringDevice) (attribute ?X ResetMeasuringDevice)) (and (measurementReading ?X (MeasureFn 0 ?U)) (instance ?U UnitOfMeasure))) |
Cars.kif 2858-2865 | If X is an instance of measuring device and reset measuring device is an attribute of X, then 0 Y(s) is a measurement reading of X and Y is an instance of unit of measure |
| consequent |
|
|
| (=> (and (instance ?O Odometer) (instance ?V Vehicle) (part ?O ?V) (instance ?T Translocation) (instrument ?T ?V) (path ?T ?P) (distanceOnPath (MeasureFn ?D ?U) ?P) (instance ?U LengthMeasure)) (hasPurpose ?O (exists (?M ?L ?DIST) (and (instance ?M Measuring) (instrument ?M ?O) (measurementReading ?O ?DIST) (inList ?D ?L) (holdsDuring (WhenFn (EndFn ?M)) (and (equal ?DIST (MeasureFn (ListSumFn ?L) ?U)) (not (attribute ?O ResetMeasuringDevice)))))))) |
Cars.kif 2824-2850 | If All of the following hold: (1) X is an instance of odometer (2) Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) W is path along which Z occurs (7) the distance of W is V U(s) (8) U is an instance of length measure, then X has the purpose there exist T, S and R such that T is an instance of measuring and X is an instrument for T and R is a measurement reading of X and V is a member of S and equal R and the sum of S U(s) and reset measuring device is not an attribute of X holds during the time of existence of the end of T |
|