| appearance as argument number 1 |
|
| (subclass Document ContentBearingObject) | Mid-level-ontology.kif 29053-29053 | Document is a subclass of content bearing object |
| (subclass Document Artifact) | Mid-level-ontology.kif 29054-29054 | 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 29055-29064 | Document is a subclass of artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?DOC Document) (hasPurpose ?DOC (exists (?COMM) (and (instance ?COMM Communication) (instrument ?COMM ?DOC))))) |
Mid-level-ontology.kif 29066-29072 | 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 749-759 | 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 761-770 | 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 938-943 | 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 736-745 | 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 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