Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Odometer(odometer) |
| appearance as argument number 1 |
|
| (subclass Odometer MeasuringDevice) | Cars.kif 2818-2818 | Odometer is a subclass of measuring device |
| (documentation Odometer EnglishLanguage "An Odometer is a Device used for measuring the distance travelled by a vehicle, such as a car.[Wikipedia]") | Cars.kif 2819-2820 | Odometer is a subclass of measuring device |
| (typicalPart Odometer Vehicle) | Cars.kif 2822-2822 | A odometer is typically a part of a vehicle |
| appearance as argument number 2 |
|
|
| (names "odograph" Odometer) | Cars.kif 2821-2821 | Odometer has name "odograph" |
| (termFormat EnglishLanguage Odometer "odometer") | domainEnglishFormat.kif 65909-65909 | Odometer has name "odograph" |
| antecedent |
|
|
| (=> (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 |
|