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 1367-1367
(externalImage WebDocumentAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 37/ Kwrite_edit_html.png") pictureList.kif 10346-10346
(externalImage WebDocumentAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3d/ Html-source-code3.png") pictureList.kif 12174-12174
(externalImage WebDocumentAttribute "http://upload.wikimedia.org/wikipedia/ commons/ d/ df/ Html_headers.png") pictureList.kif 12176-12176
(lexicon WebDocumentAttribute LexNoun "knowledge base document attribute") engineering.kif 1369-1369
(subclass WebDocumentAttribute InternalAttribute) engineering.kif 1368-1368 Web document attribute is a subclass of internal attribute

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


(subclass DocumentCategory WebDocumentAttribute) engineering.kif 1378-1378 Document category is a subclass of web document attribute
(termFormat ChineseLanguage WebDocumentAttribute "Web文档属性") domainEnglishFormat.kif 62604-62604
(termFormat ChineseTraditionalLanguage WebDocumentAttribute "Web文檔屬性") domainEnglishFormat.kif 62603-62603
(termFormat EnglishLanguage WebDocumentAttribute "web document attribute") domainEnglishFormat.kif 62602-62602

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


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


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