Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tachometer

Sigma KEE - Tachometer
Tachometer(tachometer)tach, tachograph, 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 4016-4017
(subclass Tachometer MeasuringDevice) Cars.kif 4014-4014 Tachometer is a subclass of measuring device

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Tachometer "tachometer") Cars.kif 4015-4015

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 4019-4028


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners