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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1359-1360
(lexicon WebDocument LexNoun "document") engineering.kif 1363-1363
(lexicon WebDocument LexNoun "knowledge base document") engineering.kif 1362-1362
(lexicon WebDocument LexNoun "web document") engineering.kif 1364-1364
(subclass WebDocument ContentBearingObject) engineering.kif 1361-1361

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


(termFormat ChineseLanguage WebDocument "网络文件") domainEnglishFormat.kif 62518-62518
(termFormat ChineseTraditionalLanguage WebDocument "網絡文件") domainEnglishFormat.kif 62517-62517
(termFormat EnglishLanguage WebDocument "web document") domainEnglishFormat.kif 62516-62516

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


(=>
    (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