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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WebDocument

Sigma KEE - WebDocument
WebDocument

appearance as argument number 1
-------------------------


(documentation WebDocument EnglishLanguage "knowledge base document - a document in natural language representing one piece of knowledge in the knowledge base") engineering.kif 1360-1361
(lexicon WebDocument LexNoun "document") engineering.kif 1364-1364
(lexicon WebDocument LexNoun "knowledge base document") engineering.kif 1363-1363
(lexicon WebDocument LexNoun "web document") engineering.kif 1365-1365
(subclass WebDocument ContentBearingObject) engineering.kif 1362-1362

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


(termFormat ChineseLanguage WebDocument "网络文件") domainEnglishFormat.kif 62598-62598
(termFormat ChineseTraditionalLanguage WebDocument "網絡文件") domainEnglishFormat.kif 62597-62597
(termFormat EnglishLanguage WebDocument "web document") domainEnglishFormat.kif 62596-62596

consequent
-------------------------


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


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