Thermometer(温度计) |
appearance as argument number 1 |
(documentation Thermometer EnglishLanguage "Any Device that measures and represents TemperatureMeasure.") | Mid-level-ontology.kif 2907-2908 | |
(externalImage Thermometer "http://articulatesoftware.com/SUMOpictures/medical/ supplies/ thermometer.png") | pictureList.kif 778-778 | |
(subclass Thermometer MeasuringDevice) | Mid-level-ontology.kif 2906-2906 | 温度计 是 测量工具 的 subclass |
(typicallyContainsPart Thermometer LiquidEngineCoolingSystem) | Cars.kif 2170-2170 | LiquidEngineCoolingSystem typically 有 part 温度计 |
appearance as argument number 2 |
(termFormat ChineseLanguage Thermometer "温度计") | domainEnglishFormat.kif 57860-57860 | |
(termFormat ChineseTraditionalLanguage Thermometer "溫度計") | domainEnglishFormat.kif 57859-57859 | |
(termFormat EnglishLanguage Thermometer "thermometer") | domainEnglishFormat.kif 57858-57858 |
antecedent |
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 2922-2928 | |
(=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure)) |
Mid-level-ontology.kif 2910-2916 |