Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Writing(writing)
more pictures... |  | Latinise, Latinize, Romanise, Romanize, abbreviate, accession, adoxography, alter, authorship, autograph, autographic, backhand, block, blue-pencil, boldface, book, boustrophedonic, braille, brand, cable, calligraph, capitalise, capitalize, character, chronicle, clock_up, commentator, committal_to_writing, complete, compose, composition, concentrate, condense, contract, copy, copy_out, copyedit, copyread, correspond, countersign, cross, cursive, cut, dash_down, dash_off, delete, dot, draft, drafting, dramatisation... |
| appearance as argument number 1 |
|
|
| (subclass Writing ContentDevelopment) | Merge.kif 12987-12987 | Writing is a subclass of content development |
| (documentation Writing EnglishLanguage "A subclass of ContentDevelopment in which content is converted from one form (e.g. uttered, written or represented mentally) into a written form. Note that this class covers both transcription and original creation of written Texts.") | Merge.kif 12988-12991 | Writing is a subclass of content development |
| (externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Medieval_writing_desk.jpg") | pictureList.kif 6988-6988 | Writing is a subclass of content development |
| (externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/0/ 0a/ Aliu_Amadu_Jallo_schmaus.jpg") | pictureList.kif 8300-8300 | Writing is a subclass of content development |
| (externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ AdamGreen.jpg") | pictureList.kif 8301-8301 | Writing is a subclass of content development |
| (externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ A_Japanese_is_writing_no_WTO.jpg") | pictureList.kif 8302-8302 | Writing is a subclass of content development |
| (externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ An_Afghan_student_takes_copious_notes.jpg") | pictureList.kif 8303-8303 | Writing is a subclass of content development |
| (externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ Teacher_writing_on_a_Blackboard.jpg") | pictureList.kif 8305-8305 | Writing is a subclass of content development |
| appearance as argument number 2 |
|
|
| (subclass Encoding Writing) | Merge.kif 12993-12993 | Encoding is a subclass of writing |
| (subclass Decoding Writing) | Merge.kif 12999-12999 | Decoding is a subclass of writing |
| (termFormat EnglishLanguage Writing "writing") | english_format.kif 1579-1579 | Decoding is a subclass of writing |
| antecedent |
|
|
| (=> (instance ?W Writing) (exists (?S ?L) (and (instance ?S Text) (instance ?L WrittenHumanLanguage) (language ?S ?L)))) |
Merge.kif 1603-1609 | If X is an instance of writing, then there exist Y, Z such that Y is an instance of text, Z is an instance of written human language, and Z is a Language of 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 |
| consequent |
|
|
| (=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT)))) |
Merge.kif 15666-15671 | If X is an instance of text, then there exists Y such that Y is an instance of writing and X is a result of Y |
| (=> (instance ?D WritingDevice) (hasPurpose ?D (exists (?W) (and (instance ?W Writing) (instrument ?W ?D))))) |
Mid-level-ontology.kif 2600-2606 | If X is an instance of writing device, then X has the purpose there exists Y such that Y is an instance of writing and X is an instrument for Y |
| (=> (dataStored ?O ?D) (exists (?P) (and (instance ?P Writing) (destination ?P ?D) (patient ?P ?O)))) |
Mid-level-ontology.kif 15964-15970 | If X is stored on Y, then there exists Z such that Z is an instance of writing, Z ends up at X, and Y is a patient of Z |
| (=> (holdsDuring ?T (dataStored ?O ?D)) (exists (?P) (and (instance ?P Writing) (destination ?P ?D) (patient ?P ?O) (earlier (WhenFn ?P) ?T)))) |
Mid-level-ontology.kif 15972-15980 | If X is stored on Y holds during Z, then there exists W such that W is an instance of writing, W ends up at X, Y is a patient of W, and the time of existence of W happens earlier than Z |
| (<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 16575-16579 | Literacy attribute is an attribute of X if, only if X has the skill to do reading, and X has the skill to do writing |
| (=> (instance ?OBJ Whiteboard) (hasPurpose ?OBJ (exists (?WRITE) (and (instance ?WRITE Writing) (destination ?WRITE ?OBJ))))) |
Mid-level-ontology.kif 28205-28211 | If X is an instance of whiteboard, then X has the purpose there exists Y such that Y is an instance of writing and Y ends up at X |
| (=> (attribute ?PERSON Writer) (hasSkill Writing ?PERSON)) |
Biography.kif 716-718 | If writer is an attribute of X, then X has the skill to do writing |
| (=> (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 |
| (=> (instance ?X WriteOnceDataStorage) (exists (?WRITE1 ?DATA1) (and (modalAttribute (and (instance ?WRITE1 Writing) (patient ?WRITE1 ?X) (patient ?WRITE1 ?DATA1) (holdsDuring (ImmediateFutureFn (WhenFn ?WRITE1)) (dataStored ?DATA1 ?X))) Possibility) (not (modalAttribute (exists (?WRITE2 ?DATA2) (and (dataStored ?DATA2 ?X) (or (instance ?WRITE2 ContentDevelopment) (instance ?WRITE2 DeletingData)) (not (equal ?WRITE1 ?WRITE2)) (patient ?WRITE2 ?DATA2))) Possibility))))) |
Media.kif 707-730 | If X is an instance of write once data storage, then All of the following hold: (1) there exist Y (2) Z such that the statement Y is an instance of writing (3) X is a patient of Y (4) Z is a patient of Y (5) X is stored on Z holds during immediately after the time of existence of Y has the modal force of possibility (6) the statement there don't exist W (7) V such that X is stored on V (8) W is an instance of content development or W is an instance of deleting data (9) equal Y (10) W (11) V is a patient of W doesn't have the modal force of possibility |
| (=> (instance ?X RewritableDataStorage) (exists (?WRITE1 ?DATA1) (and (modalAttribute (and (instance ?WRITE1 Writing) (patient ?WRITE1 ?X) (patient ?WRITE1 ?DATA1) (holdsDuring (ImmediateFutureFn (WhenFn ?WRITE1)) (dataStored ?DATA1 ?X))) Possibility) (modalAttribute (exists (?WRITE2 ?DATA2) (and (dataStored ?DATA2 ?X) (or (instance ?WRITE2 ContentDevelopment) (instance ?WRITE2 DeletingData)) (not (equal ?WRITE1 ?WRITE2)) (patient ?WRITE2 ?DATA2))) Possibility)))) |
Media.kif 737-759 | If X is an instance of rewritable data storage, then All of the following hold: (1) there exist Y (2) Z such that the statement Y is an instance of writing (3) X is a patient of Y (4) Z is a patient of Y (5) X is stored on Z holds during immediately after the time of existence of Y has the modal force of possibility (6) the statement there exist W (7) V such that X is stored on V (8) W is an instance of content development or W is an instance of deleting data (9) equal Y (10) W (11) V is a patient of W has the modal force of possibility |
|