isshorterthan

(relation: inverse of istallerthan)

See learned instances of isshorterthan

Metadata