|
|
   Tachometer
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Tachometer EnglishLanguage "A Device for Measuring the number of RevolutionsPerMinute of an object, typically an Engine Crankshaft.") | Cars.kif 4024-4025 | |
| (subclass Tachometer MeasuringDevice) | Cars.kif 4022-4022 | Tachometer ist eine teilkategorie von MeasuringDevice |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Tachometer "tachometer") | Cars.kif 4023-4023 |
| 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 4027-4036 |
|
|
|
|