Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - WebDocument
WebDocument(web document)

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 1786-1787
(subclass WebDocument ContentBearingObject) engineering.kif 1788-1788 Web document is a subclass of content bearing object
(lexicon WebDocument LexNoun "knowledge base document") engineering.kif 1789-1789 Web document is a subclass of content bearing object
(lexicon WebDocument LexNoun "document") engineering.kif 1790-1790 Web document is a subclass of content bearing object
(lexicon WebDocument LexNoun "web document") engineering.kif 1791-1791 Web document is a subclass of content bearing object

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


(termFormat EnglishLanguage WebDocument "web document") domainEnglishFormat.kif 62632-62632
(termFormat ChineseTraditionalLanguage WebDocument "網絡文件") domainEnglishFormat.kif 62633-62633
(termFormat ChineseLanguage WebDocument "网络文件") domainEnglishFormat.kif 62634-62634

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


(=>
    (and
        (instance ?ATTR WebDocumentAttribute)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ WebDocument))		 engineering.kif 1797-1801 If X is an instance of web document attribute and X is an attribute of Y, then Y is an instance of web document


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners