| (instance ArticleCategory DocumentCategory) |
engineering.kif 1700-1700 |
Article category is an instance of document category |
| (instance LibraryModelCategory DocumentCategory) |
engineering.kif 1708-1708 |
Library model category is an instance of document category |
| (instance SolvedExampleCategory DocumentCategory) |
engineering.kif 1696-1696 |
Solved example category is an instance of document category |
| (instance TutorialCategory DocumentCategory) |
engineering.kif 1704-1704 |
Tutorial category is an instance of document category |
| (termFormat ChineseLanguage DocumentCategory "文件类别") |
domainEnglishFormat.kif 20079-20079 |
Tutorial category is an instance of document category |
| (termFormat ChineseTraditionalLanguage DocumentCategory "文件類別") |
domainEnglishFormat.kif 20078-20078 |
Tutorial category is an instance of document category |
| (termFormat EnglishLanguage DocumentCategory "document category") |
domainEnglishFormat.kif 20077-20077 |
Tutorial category is an instance of document category |