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

(documentation Thermometer EnglishLanguage "Any Device that measures and represents TemperatureMeasure.")	Mid-level-ontology.kif 2900-2901
(externalImage Thermometer "http://articulatesoftware.com/SUMOpictures/medical/ supplies/ thermometer.png")	pictureList.kif 778-778
(subclass Thermometer MeasuringDevice)	Mid-level-ontology.kif 2899-2899	Thermometer is a subclass of measuring device
(typicallyContainsPart Thermometer LiquidEngineCoolingSystem)	Cars.kif 2147-2147	A water cooling system typically has a part thermometer

appearance as argument number 2

(termFormat ChineseLanguage Thermometer "温度计")	domainEnglishFormat.kif 57904-57904
(termFormat ChineseTraditionalLanguage Thermometer "溫度計")	domainEnglishFormat.kif 57903-57903
(termFormat EnglishLanguage Thermometer "thermometer")	domainEnglishFormat.kif 57902-57902

antecedent

(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure))	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
(=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure))	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