(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 |