(subclass ReligiousAttribute RelationalAttribute) | People.kif 664-664 | ReligiousAttribute ist eine teilkategorie von RelationalAttribute |
(subclass Christian ReligiousAttribute) | People.kif 791-791 | Christian ist eine teilkategorie von ReligiousAttribute |