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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WebDocument
WebDocumentweb_document

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


s__documentation(s__WebDocument,s__EnglishLanguage,'knowledge base document - a document in natural language representing one piece of knowledge in the knowledge base')

engineering.kif 1356-1357
s__lexicon(s__WebDocument,s__LexNoun,'document')

engineering.kif 1360-1360
s__lexicon(s__WebDocument,s__LexNoun,'knowledge base document')

engineering.kif 1359-1359
s__lexicon(s__WebDocument,s__LexNoun,'web document')

engineering.kif 1361-1361
s__subclass(s__WebDocument,s__ContentBearingObject)

engineering.kif 1358-1358

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


s__termFormat(s__EnglishLanguage,s__WebDocument,'web document')

domainEnglishFormat.kif 10863-10863

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


( ! [V__ATTR,V__OBJ] :
   ((s__instance(V__ATTR,s__WebDocumentAttribute) &
       s__attribute(V__OBJ,V__ATTR))
   =>
   s__instance(V__OBJ,s__WebDocument))
)

engineering.kif 1367-1371


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