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


KB Term:  Term intersection
English Word: 

Sigma KEE - WebDocumentAttribute
WebDocumentAttribute(web document attribute)

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


(documentation WebDocumentAttribute EnglishLanguage "knowledge base document attribute") engineering.kif 1793-1793
(subclass WebDocumentAttribute InternalAttribute) engineering.kif 1794-1794 Web document attribute is a subclass of internal attribute
(lexicon WebDocumentAttribute LexNoun "knowledge base document attribute") engineering.kif 1795-1795 Web document attribute is a subclass of internal attribute
(externalImage WebDocumentAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 37/ Kwrite_edit_html.png") pictureList.kif 10334-10334 Web document attribute is a subclass of internal attribute
(externalImage WebDocumentAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3d/ Html_source_code3.png") pictureList.kif 12147-12147 Web document attribute is a subclass of internal attribute
(externalImage WebDocumentAttribute "http://upload.wikimedia.org/wikipedia/ commons/ d/ df/ Html_headers.png") pictureList.kif 12149-12149 Web document attribute is a subclass of internal attribute

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


(termFormat EnglishLanguage WebDocumentAttribute "web document attribute") domainEnglishFormat.kif 62638-62638
(termFormat ChineseTraditionalLanguage WebDocumentAttribute "Web文檔屬性") domainEnglishFormat.kif 62639-62639
(termFormat ChineseLanguage WebDocumentAttribute "Web文档属性") domainEnglishFormat.kif 62640-62640
(subclass DocumentCategory WebDocumentAttribute) engineering.kif 1804-1804 Document category is a subclass of web document attribute

antecedent
-------------------------


(=>
    (and
        (instance ?ATTR WebDocumentAttribute)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ WebDocument))		 engineering.kif 1797-1801 If X is an instance of web document attribute and X is an attribute of Y, then Y is an instance of web document


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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners