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 1361-1362
(lexicon WebDocument LexNoun "document") engineering.kif 1365-1365
(lexicon WebDocument LexNoun "knowledge base document") engineering.kif 1364-1364
(lexicon WebDocument LexNoun "web document") engineering.kif 1366-1366
(subclass WebDocument ContentBearingObject) engineering.kif 1363-1363 WebDocument est une sous-classe de objet exprimant un sens

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


(termFormat ChineseLanguage WebDocument "网络文件") domainEnglishFormat.kif 62631-62631
(termFormat ChineseTraditionalLanguage WebDocument "網絡文件") domainEnglishFormat.kif 62630-62630
(termFormat EnglishLanguage WebDocument "web document") domainEnglishFormat.kif 62629-62629

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


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