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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WebDocumentAttribute

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

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


(subclass DocumentCategory WebDocumentAttribute) engineering.kif 1379-1379
(termFormat ChineseLanguage WebDocumentAttribute "Web文档属性") domainEnglishFormat.kif 62637-62637
(termFormat ChineseTraditionalLanguage WebDocumentAttribute "Web文檔屬性") domainEnglishFormat.kif 62636-62636
(termFormat EnglishLanguage WebDocumentAttribute "web document attribute") domainEnglishFormat.kif 62635-62635

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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