Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WebDocumentAttribute
WebDocumentAttribute

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 WebDocumentAttribute ist eine teilkategorie von InternalAttribute

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


(subclass DocumentCategory WebDocumentAttribute) engineering.kif 1379-1379 DocumentCategory ist eine teilkategorie von WebDocumentAttribute
(termFormat ChineseLanguage WebDocumentAttribute "Web文档属性") domainEnglishFormat.kif 62639-62639
(termFormat ChineseTraditionalLanguage WebDocumentAttribute "Web文檔屬性") domainEnglishFormat.kif 62638-62638
(termFormat EnglishLanguage WebDocumentAttribute "web document attribute") domainEnglishFormat.kif 62637-62637

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