|
|
   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 | |
| (typicallyContainsPart Thermometer LiquidEngineCoolingSystem) | Cars.kif 2147-2147 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Thermometer "温度计") | domainEnglishFormat.kif 57862-57862 | |
| (termFormat ChineseTraditionalLanguage Thermometer "溫度計") | domainEnglishFormat.kif 57861-57861 | |
| (termFormat EnglishLanguage Thermometer "thermometer") | domainEnglishFormat.kif 57860-57860 |
| antecedent |
|
|
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 2915-2921 | |
| (=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure)) |
Mid-level-ontology.kif 2903-2909 |
|
|
|
