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 4001-4002 | |
(subclass Tachometer MeasuringDevice) | Cars.kif 3999-3999 | Tachometer est une sous-classe de MeasuringDevice |
appearance as argument number 2 |
(termFormat EnglishLanguage Tachometer "tachometer") | Cars.kif 4000-4000 |
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 4004-4013 |