Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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 1368-1368
(externalImage WebDocumentAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 37/ Kwrite_edit_html.png") pictureList.kif 10336-10336
(externalImage WebDocumentAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3d/ Html-source-code3.png") pictureList.kif 12158-12158
(externalImage WebDocumentAttribute "http://upload.wikimedia.org/wikipedia/ commons/ d/ df/ Html_headers.png") pictureList.kif 12160-12160
(lexicon WebDocumentAttribute LexNoun "knowledge base document attribute") engineering.kif 1370-1370
(subclass WebDocumentAttribute InternalAttribute) engineering.kif 1369-1369 Web document attribute is a subclass of internal attribute

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


(subclass DocumentCategory WebDocumentAttribute) engineering.kif 1379-1379 Document category is a subclass of web document attribute
(termFormat ChineseLanguage WebDocumentAttribute "Web文档属性") domainEnglishFormat.kif 62685-62685 Document category is a subclass of web document attribute
(termFormat ChineseTraditionalLanguage WebDocumentAttribute "Web文檔屬性") domainEnglishFormat.kif 62684-62684 Document category is a subclass of web document attribute
(termFormat EnglishLanguage WebDocumentAttribute "web document attribute") domainEnglishFormat.kif 62683-62683 Document category is a subclass of web document attribute

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


(=>
    (and
        (instance ?ATTR WebDocumentAttribute)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ WebDocument))
engineering.kif 1372-1376


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 is open source software produced by Articulate Software and its partners