![]() | Sets and Individuals in CYC® |
![]() | More Exercises About Sets and Elements |
![]() | Exercise Vocabulary |
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.