|
|
   Thermometer
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Thermometer EnglishLanguage "Any Device that measures and represents TemperatureMeasure.") | Mid-level-ontology.kif 3391-3392 | |
| (externalImage Thermometer "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ medical/ supplies/ thermometer.png") | pictureList.kif 778-778 | externalImage Thermometer and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ medical/ supplies/ thermometer.png" |
| (subclass Thermometer MeasuringDevice) | Mid-level-ontology.kif 3390-3390 | Thermometer 是 MeasuringDevice 的 subclass |
| (typicallyContainsPart Thermometer LiquidEngineCoolingSystem) | Cars.kif 2150-2150 | typicallyContainsPart Thermometer and LiquidEngineCoolingSystem |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Thermometer "thermometer") | domainEnglishFormat.kif 10067-10067 | termFormat EnglishLanguage, Thermometer and "thermometer" |
| antecedent |
|
|
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 3406-3412 | |
| (=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure)) |
Mid-level-ontology.kif 3394-3400 |
|
|
|
