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


KB Term:  Term intersection
English Word: 

  Document

 Sigma KEE - Document
Document(document)

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


(subclass Document ContentBearingObject) Mid-level-ontology.kif 28943-28943 Document is a subclass of content bearing object
(subclass Document Artifact) Mid-level-ontology.kif 28944-28944 Document is a subclass of artifact
(documentation Document EnglishLanguage "Instances of Document are ContentBearingObjects that are intended to convey propositional content via Text (LinguisticExpressions, seen or heard), Images, or some combination of these (e.g., an audio clip included in an electronic document consisting mostly of VisualText and some Images). Formally, a Document constitutes any ContentBearingObject that is an Artifact conventionally typically intended to be transmitted and assimilated as a meaningful whole. An Article or a Book would be a Document, but a Word or Paragraph typically would not.") Mid-level-ontology.kif 28945-28954 Document is a subclass of artifact

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


(subclass Correspondence Document) Mid-level-ontology.kif 817-817 Correspondence is a subclass of document
(subclass HardcopyDocument Document) Mid-level-ontology.kif 28974-28974 Hardcopy document is a subclass of document
(subclass Book Document) Mid-level-ontology.kif 29005-29005 Book is a subclass of document
(subclass ProfileWall Document) Facebook.kif 177-177 Profile wall is a subclass of document
(subclass TextDocument Document) Media.kif 921-921 Text document is a subclass of document
(subclass BusinessRequirementDocument Document) UXExperimentalTerms.kif 2590-2590 Business requirement document is a subclass of document
(subclass TestProtocolSpecification Document) UXExperimentalTerms.kif 2748-2748 Test protocol specification is a subclass of document
(termFormat EnglishLanguage Document "document") domainEnglishFormat.kif 64780-64780 Test protocol specification is a subclass of document

antecedent
-------------------------


(=>
    (instance ?DOC Document)
    (hasPurpose ?DOC
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (instrument ?COMM ?DOC)))))		 Mid-level-ontology.kif 28956-28962 If X is an instance of document, then X has the purpose there exists Y such that Y is an instance of communication and X is an instrument for Y
(=>
    (and
        (attribute ?X Writer)
        (instance ?TEXT ?CLASS)
        (or
            (subclass ?CLASS Text)
            (subclass ?CLASS Document))
        (instance ?WRITE Writing)
        (agent ?WRITE ?X)
        (result ?WRITE ?TEXT))
    (authors ?X ?CLASS))		 Biography.kif 733-743 If All of the following hold: (1) writer is an attribute of X (2) Y is an instance of Z (3) Z is a subclass of text or Z is a subclass of document (4) W is an instance of writing (5) X is an agent of W (6) Y is a result of W, then X is the author of Z
(=>
    (and
        (instance ?PERSON Human)
        (instance ?WRITE Writing)
        (or
            (instance ?TEXT Text)
            (instance ?TEXT Document))
        (result ?WRITE ?TEXT)
        (agent ?WRITE ?PERSON))
    (attribute ?PERSON Writer))		 Biography.kif 745-754 If X is an instance of human, Y is an instance of writing, Z is an instance of text or Z is an instance of document, Z is a result of Y, and X is an agent of Y, then writer is an attribute of X
(=>
    (and
        (instance ?TXT Text)
        (instance ?OBJ Document)
        (part ?TXT ?OBJ))
    (instance ?OBJ TextDocument))		 Media.kif 929-934 If X is an instance of text, Y is an instance of document, and X is a part of Y, then Y is an instance of text document

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


(=>
    (attribute ?X Writer)
    (exists (?OBJ ?PROC)
        (and
            (instance ?PROC Writing)
            (or
                (instance ?OBJ Text)
                (instance ?OBJ Document))
            (agent ?PROC ?X)
            (result ?PROC ?OBJ))))		 Biography.kif 720-729 If writer is an attribute of X, then there exist Y, Z such that Z is an instance of writing, Y is an instance of text or Y is an instance of document, X is an agent of Z, and Y is a result of Z


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