CPL @1094 (99.6%) on 31-dec-2017 [ "triangle ABC is _" "side length of _" "hypotenuse on _" "circle is inscribed in _" "_ is called the hypotenuse" "_ has a right angle" "hypotenuse of _" "acute angle in _" "internal angles of _" "hypotenuse in _" "side lengths of _" "hypoteneuse of _" "hypothenuse of _" "ABC be _" "circle inscribed in _" ] using right_angled_triangle
CMC @1108 (95.4%) on 06-jun-2018 [ SHORT_WORDSHAPE=a 3.42217 POS=JJ 1.98368 SUFFIX=ngle 1.23061 SUFFIX=gle 1.19999 SUFFIX=angle 1.10911 SUFFIX=le 1.05063 LASTPREFIX=tr 0.88847 POS=NN -1.14472 CHARS -4.51756 WORDS -8.19587 ] using right_angled_triangle
SEAL @323 (75.0%) on 29-jun-2011 [ 12 ] using right_angled_triangle
relations
NELL has only weak evidence for items listed in grey
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 of any side of arg2" "arg1 of the longest side of arg2" "arg1 of the hypotenuse of arg2" ] using (length, right_angled_triangle)