## Finding Common Subsets with Ask

E-Mail Comments to: doc@cyc.com
Copyright© 1996, 1997, 1998 Cycorp. All rights reserved.

| Sets and Individuals in CYC®
| More Exercises About Sets and Elements
| Exercise Vocabulary

Prerequisites: Querying CYC® with the Web Interface

In the CYC® Web Interface, go to the "Ask" page (by clicking `Ask` under the Tools menu of the browsing window)

We'll try answering the same question -- "What are the subsets of #$DomesticCleaningTool that are also subsets of #$ElectricalHouseholdAppliance?" -- by querying the KB in CycL. In the Formula: input field, type the following expression:

         (#$and
              (#$genls ?X #$ElectricalHouseholdAppliance)
    	  (#$genls ?X #$DomesticCleaningTool))

(remember the "#$" prefix for all the constant names!)

Under Resource Constraints:, specify 5 bindings and 15 seconds. Leave the other parameters with the default values. Now click "Ask". The bindings found for ?X should be the same as the ones which you found by browsing.

## Questions:

Try composing some more CycL queries to answer the following:

Find 3 collections which are common instances of #$UniquePartType and #$AnimalBodyPartType.

Find a subset of #$TemporalStuffType that #$DomesticCleaningTool is not an instance of.

Last Update: 10/26/1998 11:41:12