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 2973-2974
(externalImage Thermometer "http://articulatesoftware.com/SUMOpictures/medical/ supplies/ thermometer.png")	pictureList.kif 778-778
(subclass Thermometer MeasuringDevice)	Mid-level-ontology.kif 2972-2972	Thermometer is a subclass of measuring device
(typicallyContainsPart Thermometer LiquidEngineCoolingSystem)	Cars.kif 2148-2148	A water cooling system typically has a part thermometer

appearance as argument number 2

(termFormat ChineseLanguage Thermometer "温度计")	domainEnglishFormat.kif 57897-57897
(termFormat ChineseTraditionalLanguage Thermometer "溫度計")	domainEnglishFormat.kif 57896-57896
(termFormat EnglishLanguage Thermometer "thermometer")	domainEnglishFormat.kif 57895-57895

antecedent

(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure))	Mid-level-ontology.kif 2988-2994	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 2976-2982	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