Assertion list
infrared thermometer (subgroup of thermometer ) → CapableOf
Results from Ascent++: 2
infrared thermometer → CapableOf → measure temperature 0.68
infrared thermometer → CapableOf → detect the contact 0.50