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 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 网络文件有内用物体subclass

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