Tachometer - Sigma Knowledge base Browser

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 4024-4025
(subclass Tachometer MeasuringDevice)	Cars.kif 4022-4022	Tachometer is a subclass of measuring device

appearance as argument number 2

(termFormat EnglishLanguage Tachometer "tachometer")

Cars.kif 4023-4023

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 4027-4036

If a physical is an instance of tachometer,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of rotating and the third entity is a patient of the entity and the other entity is an instance of measuring and the physical is an instrument for the other entity and the third entity is a patient of the other entity

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

KB Term:			Term intersection

English Word: