Pretend Doug owns a mop, and we create the unit #$DougsMop to represent it.
What is the assertion which relates it to #$DomesticCleaningTool?
What is the assertion which relates #$DougsMop to #$Mop?
What assertion(s) relate #$DougsMop to the #$genls of #$Mop?
Do you need to look at the assertions involving #$genls and #$Mop to decide that?
Browse the KB to answer the following question:
What are the subsets of #$DomesticCleaningTool that are also subsets of #$ElectricalHouseholdAppliance?