Thermometer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Thermometer

Thermometer(thermometer)

Centigrade_thermometer, Fahrenheit_thermometer, Reaumur_thermometer, air_thermometer, alcohol-in-glass_thermometer, alcohol_thermometer, candy_thermometer, cryometer, dry-bulb_thermometer, electric_thermometer, gas_thermometer, maximum_and_minimum_thermometer, meat_thermometer, mercury-in-glass_thermometer, mercury_thermometer, oven_thermometer, platinum_thermometer, pyrometer, resistance_thermometer, reversing_thermometer, self-registering_thermometer, telethermometer, thermel, thermocouple, thermocouple_junction, thermoelectric_thermometer, thermograph, thermometer, thermometrograph, thermopile, wet-bulb_thermometer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2900-2901
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 778-778
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2899-2899	Thermometer is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2147-2147	A water cooling system typically has a part thermometer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57862-57862
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57861-57861
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57860-57860

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2915-2921	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of thermometer, then the entity is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2903-2909	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of thermometer, then the entity is an instance of temperature measure

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