SBHL stands for “Subsumption-Based Heuristic Layer” (or “Level”).
SBHL modules are removal modules that support efficient searches for Cyc’s most frequently used transitive predicates (#$genls, #$genlMt, and #$genlPreds), and for predicates that operate in conjunction with them (#$isa, #$disjointWith, #$genlInverse, #$negationPreds, and #$negationInverse).
The body of SubL code that implements these modules is often called “The SBHL.”
[restrict level=”employee”]
[Content for Cycorp employees only]
[/restrict]