Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - DocumentCategory
DocumentCategory(document category)

appearance as argument number 1
-------------------------


(documentation DocumentCategory EnglishLanguage "document category") engineering.kif 1803-1803
(subclass DocumentCategory WebDocumentAttribute) engineering.kif 1804-1804 Document category is a subclass of web document attribute
(lexicon DocumentCategory LexNoun "document category") engineering.kif 1805-1805 Document category is a subclass of web document attribute

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage DocumentCategory "document category") domainEnglishFormat.kif 20064-20064
(termFormat ChineseTraditionalLanguage DocumentCategory "文件類別") domainEnglishFormat.kif 20065-20065
(termFormat ChineseLanguage DocumentCategory "文件类别") domainEnglishFormat.kif 20066-20066
(instance SolvedExampleCategory DocumentCategory) engineering.kif 1808-1808 Solved example category is an instance of document category
(instance ArticleCategory DocumentCategory) engineering.kif 1812-1812 Article category is an instance of document category
(instance TutorialCategory DocumentCategory) engineering.kif 1816-1816 Tutorial category is an instance of document category
(instance LibraryModelCategory DocumentCategory) engineering.kif 1820-1820 Library model category is an instance of document category


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners