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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tachometer

Sigma KEE - Tachometer
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

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


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