|
|
   FeelerGauge
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FeelerGauge EnglishLanguage "A Device used to measure small gaps. It is typically a Collection of several such gauges of varying thicknesses that a user places into the gap until one is found that fits with slight resistence, which indicates a good assessment of the size of the gap. A typical use is measure the gap between electrodes of a SparkPlug.") | Cars.kif 2773-2777 | |
| (subclass FeelerGauge MeasuringDevice) | Cars.kif 2771-2771 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FeelerGauge "feeler gauge") | Cars.kif 2772-2772 |
| antecedent |
|
|
| (=> (instance ?FG FeelerGauge) (hasPurpose ?FG (exists (?TP ?M) (and (instance ?M Measuring) (instance ?TP TactilePerception) (subProcess ?TP ?M) (instrument ?M ?FG))))) |
Cars.kif 2779-2787 |
|
|
|