The Index Overlap facility allows the user to search the OpenCyc KB for assertions that share two or more terms. (To find assertions that involve only one specified term, simply look at the entry for that constant in the KB Browser.)
To find assertions indexed by a set of terms, simply enter into the input window all of the terms, separated by a space. Terms may be typed in with or without the "#$" prefix. Then press the [Search] button. For example, to find all assertions that contain both #$Person and #$Country, just enter:
Person CountryAn Index Overlap search can involve any number of terms, though searches involving 2 or 3 terms are most common.
To complete a constant name while typing it, press the [Complete] button.
To clear the input window and start over, press the [Clear] button.
The Index Overlap Results page has two sections: "Search Terms" and "Index Overlap".
Note: Index Overlap only acts at the HL level, looking at the HL formulas for assertions indexed off of the terms you give it. So if the assertion can't be seen from each of the terms given, it won't be seen in the overlap.