| Thermometer
| |
| appearance as argument number 1 |
|
|
| (documentation Thermometer EnglishLanguage "Any Device that measures and represents TemperatureMeasure.") | Mid-level-ontology.kif 3370-3371 | |
| (externalImage Thermometer "http://articulatesoftware.com/SUMOpictures/medical/ supplies/ thermometer.png") | pictureList.kif 778-778 | |
| (subclass Thermometer MeasuringDevice) | Mid-level-ontology.kif 3369-3369 | |
| (typicallyContainsPart Thermometer LiquidEngineCoolingSystem) | Cars.kif 2148-2148 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Thermometer "温度计") | domainEnglishFormat.kif 57868-57868 | |
| (termFormat ChineseTraditionalLanguage Thermometer "溫度計") | domainEnglishFormat.kif 57867-57867 | |
| (termFormat EnglishLanguage Thermometer "thermometer") | domainEnglishFormat.kif 57866-57866 |
| antecedent |
|
|
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 3385-3391 | |
| (=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure)) |
Mid-level-ontology.kif 3373-3379 |
|
|
|