(subclass PermanentResidence Residence) | Merge.kif 15812-15812 | PermanentResidence e' uma sub-classe de Residence |
(subclass SingleFamilyResidence PermanentResidence) | Merge.kif 15842-15842 | SingleFamilyResidence e' uma sub-classe de PermanentResidence |
(subclass ExecutiveResidence PermanentResidence) | Government.kif 1538-1538 | ExecutiveResidence e' uma sub-classe de PermanentResidence |