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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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测量工具subclass

appearance as argument number 2

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


    (instance ?T Tachometer)
    (hasPurpose ?T
        (exists (?R ?M ?O)
                (instance ?R Rotating)
                (patient ?R ?O)
                (instance ?M Measuring)
                (instrument ?M ?T)
                (patient ?M ?O)))))
Cars.kif 4019-4028

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

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