(subclass WebDocumentAttribute InternalAttribute) | engineering.kif 1369-1369 | WebDocumentAttribute は 内部属性 の subclass では %n |
(subclass DocumentCategory WebDocumentAttribute) | engineering.kif 1379-1379 | DocumentCategory は WebDocumentAttribute の subclass では %n |