Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Speedometer(speedometer) |
| appearance as argument number 1 |
|
| (subclass Speedometer MeasuringDevice) | Cars.kif 2867-2867 | Speedometer is a subclass of measuring device |
| (documentation Speedometer EnglishLanguage "A Speedometer is a gauge that measures and displays the instantaneous speed of a vehicle.[Wikipedia]") | Cars.kif 2868-2869 | Speedometer is a subclass of measuring device |
| (typicalPart Speedometer Vehicle) | Cars.kif 2870-2870 | A speedometer is typically a part of a vehicle |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Speedometer "speedometer") | domainEnglishFormat.kif 65973-65973 |
| antecedent |
|
|
| (=> (instance ?S Speedometer) (hasPurpose ?S (exists (?V ?T ?SPEED ?DIST ?TIME ?M) (and (instance ?V Vehicle) (part ?S ?V) (instance ?T Translocation) (instrument ?T ?V) (measure ?T ?SPEED) (equal ?SPEED (SpeedFn ?DIST ?TIME)) (instance ?M Measuring) (instrument ?M ?S) (measurementReading ?M ?SPEED))))) |
Cars.kif 2872-2886 | If X is an instance of speedometer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that 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) the measure of Z is W (7) equal W (8) V per U (9) T is an instance of measuring (10) X is an instrument for T (11) W is a measurement reading of T |
|