Did you know? you can deploy to dotcloudSearch Documentation:
SWI-Prolog owl logoPredicate subsumes_term/2