(subclass PermanentResidence Residence) | Merge.kif 15790-15790 | PermanentResidence は Residence の subclass では %n |
(subclass SingleFamilyResidence PermanentResidence) | Merge.kif 15820-15820 | SingleFamilyResidence は PermanentResidence の subclass では %n |
(subclass ExecutiveResidence PermanentResidence) | Government.kif 1538-1538 | ExecutiveResidence は PermanentResidence の subclass では %n |