| WebDocumentAttribute(web document attribute)
|
| appearance as argument number 1 |
|
| (documentation WebDocumentAttribute EnglishLanguage "knowledge base document attribute") | engineering.kif 1681-1681 | |
| (externalImage WebDocumentAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 37/ Kwrite_edit_html.png") | pictureList.kif 10334-10334 | |
| (externalImage WebDocumentAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3d/ Html_source_code3.png") | pictureList.kif 12147-12147 | |
| (externalImage WebDocumentAttribute "http://upload.wikimedia.org/wikipedia/ commons/ d/ df/ Html_headers.png") | pictureList.kif 12149-12149 | |
| (lexicon WebDocumentAttribute LexNoun "knowledge base document attribute") | engineering.kif 1683-1683 | |
| (subclass WebDocumentAttribute InternalAttribute) | engineering.kif 1682-1682 | Web document attribute is a subclass of internal attribute |
| appearance as argument number 2 |
|
|
| (subclass DocumentCategory WebDocumentAttribute) | engineering.kif 1692-1692 | Document category is a subclass of web document attribute |
| (termFormat ChineseLanguage WebDocumentAttribute "Web文档属性") | domainEnglishFormat.kif 62660-62660 | Document category is a subclass of web document attribute |
| (termFormat ChineseTraditionalLanguage WebDocumentAttribute "Web文檔屬性") | domainEnglishFormat.kif 62659-62659 | Document category is a subclass of web document attribute |
| (termFormat EnglishLanguage WebDocumentAttribute "web document attribute") | domainEnglishFormat.kif 62658-62658 | Document category is a subclass of web document attribute |
| antecedent |
|
|
| (=> (and (instance ?ATTR WebDocumentAttribute) (attribute ?OBJ ?ATTR)) (instance ?OBJ WebDocument)) |
engineering.kif 1685-1689 |
|
|
|
|