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

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


(subclass DocumentCategory WebDocumentAttribute) engineering.kif 1377-1377 Document category is a subclass of web document attribute
(termFormat ChineseLanguage WebDocumentAttribute "Web文档属性") domainEnglishFormat.kif 62524-62524
(termFormat ChineseTraditionalLanguage WebDocumentAttribute "Web文檔屬性") domainEnglishFormat.kif 62523-62523
(termFormat EnglishLanguage WebDocumentAttribute "web document attribute") domainEnglishFormat.kif 62522-62522

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners