Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Tachometer(tachometer) |  | tach, tachograph, tachometer |
| appearance as argument number 1 |
|
|
| (subclass Tachometer MeasuringDevice) | Cars.kif 3884-3884 | Tachometer is a subclass of measuring device |
| (documentation Tachometer EnglishLanguage "A Device for Measuring the number of RevolutionsPerMinute of an object, typically an Engine Crankshaft.") | Cars.kif 3886-3887 | Tachometer is a subclass of measuring device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Tachometer "tachometer") | Cars.kif 3885-3885 |
| antecedent |
|
|
| (=> (instance ?T Tachometer) (hasPurpose ?T (exists (?R ?M ?O) (and (instance ?R Rotating) (patient ?R ?O) (instance ?M Measuring) (instrument ?M ?T) (patient ?M ?O))))) |
Cars.kif 3889-3898 | If X is an instance of tachometer, then X has the purpose there exist Y, Z, W such that Y is an instance of rotating, W is a patient of Y, Z is an instance of measuring, X is an instrument for Z, and W is a patient of Z |
|