Removal modules are a type of HL module used during Cyc inference to solve a query or sub-query by proving a fully-bound literal or by finding bindings for open variables. They are called “removal” modules because their successful application results in simplifying the query to be solved by removing one or more literals from it.
[restrict level=”employee”]
[Content for Cycorp employees only]
[/restrict]