subsumes_term(? Subsumer, ? Subsumed) More...

Detailed Description

subsumes_term(? Subsumer, ? Subsumed)

Succeed if Submuser subsumes Subsuned but does not bind any variable in Subsumer

The documentation for this class was generated from the following file: