Writing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Writing

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

(documentation Writing ChineseLanguage "这属于 ContentDevelopment 的 subclass，当中内容由一类 (例如：口述、记在心上或已经身上表达)转成书面形式。注：这个类别同时包括 Text 的誊写和原作版本。")	chinese_format.kif 3203-3204
(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 12837-12840
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/0/ 0a/ Aliu_Amadu_Jallo_schmaus.jpg")	pictureList.kif 8300-8300
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Medieval_writing_desk.jpg")	pictureList.kif 6988-6988
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ A_Japanese_is_writing_no_WTO.jpg")	pictureList.kif 8302-8302
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ Teacher_writing_on_a_Blackboard.jpg")	pictureList.kif 8305-8305
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ AdamGreen.jpg")	pictureList.kif 8301-8301
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ An_Afghan_student_takes_copious_notes.jpg")	pictureList.kif 8303-8303
(subclass Writing ContentDevelopment)	Merge.kif 12836-12836	Writing is a subclass of content development

appearance as argument number 2

(subclass Decoding Writing)	Merge.kif 12848-12848	Decoding is a subclass of writing
(subclass Encoding Writing)	Merge.kif 12842-12842	Encoding is a subclass of writing
(termFormat ChineseLanguage Writing "写作")	chinese_format.kif 1179-1179	Encoding is a subclass of writing
(termFormat EnglishLanguage Writing "writing")	english_format.kif 1575-1575	Encoding is a subclass of writing
(termFormat FrenchLanguage Writing "�crire")	french_format.kif 857-857	Encoding is a subclass of writing
(termFormat Hindi Writing "likhaaii")	terms-hindi.txt 389-389	Encoding is a subclass of writing
(termFormat ItalianLanguage Writing "Scrivere")	terms-it.txt 392-392	Encoding is a subclass of writing
(termFormat JapaneseLanguage Writing "執筆")	japanese_format.kif 2541-2541	Encoding is a subclass of writing
(termFormat PortugueseLanguage Writing "Escrever")	portuguese_format.kif 809-809	Encoding is a subclass of writing
(termFormat cb Writing "pagsulat")	terms-cb.txt 394-394	Encoding is a subclass of writing
(termFormat cz Writing "writing")	terms-cz.txt 428-428	Encoding is a subclass of writing
(termFormat de Writing "Schreiben")	terms-de.txt 687-687	Encoding is a subclass of writing
(termFormat ro Writing "scriere")	relations-ro.kif 878-878	Encoding is a subclass of writing
(termFormat tg Writing "sumulat")	terms-tg.txt 393-393	Encoding is a subclass of writing

antecedent

(=> (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 738-748	If writer is an attribute of an agent and an entity is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of text or the kind of content bearing object is a subclass of document and a process is an instance of writing and the agent is an agent of the process and the entity is a result of the process, then the agent is the author of the kind of content bearing object
(=> (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 750-759	If an agent is an instance of human and a process is an instance of writing and an entity is an instance of text or the entity is an instance of document and the entity is a result of the process and the agent is an agent of the process, then writer is an attribute of the agent
(=> (instance ?W Writing) (exists (?S ?L) (and (instance ?S Text) (instance ?L WrittenHumanLanguage) (language ?S ?L))))	Merge.kif 1509-1515	If an entity is an instance of writing, then there exist a content bearing physical and a language such that the content bearing physical is an instance of text and the language is an instance of written human language and the language is a Language of the content bearing physical.

consequent

(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H)))	Mid-level-ontology.kif 16391-16395	Literacy attribute is an attribute of an agent if and only if the agent has the skill to do reading and the agent has the skill to do writing
(=> (attribute ?PERSON Writer) (hasSkill Writing ?PERSON))	Biography.kif 721-723	If writer is an attribute of an agent, then the agent 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 725-734	If writer is an attribute of an agent, then there exist an entity and a process such that the process is an instance of writing and the entity is an instance of text or the entity is an instance of document and the agent is an agent of the process and the entity is a result of the process
(=> (instance ?D WritingDevice) (hasPurpose ?D (exists (?W) (and (instance ?W Writing) (instrument ?W ?D)))))	Mid-level-ontology.kif 2463-2469	If a physical is an instance of writing device, then the physical has the purpose there exists an entity such that the entity is an instance of writing and the physical is an instrument for the entity
(=> (instance ?OBJ Whiteboard) (hasPurpose ?OBJ (exists (?WRITE) (and (instance ?WRITE Writing) (destination ?WRITE ?OBJ)))))	Mid-level-ontology.kif 27294-27300	If a physical is an instance of whiteboard, then the physical has the purpose there exists an entity such that the entity is an instance of writing and the entity ends up at the physical
(=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT))))	Merge.kif 15512-15517	If an entity is an instance of text, then there exists a process such that the process is an instance of writing and the entity is a result of the process
(=> (instance ?X RewritableDataStorage) (and (modalAttribute (exists (?WRITE1 ?DATA1) (and (instance ?WRITE1 Writing) (patient ?WRITE1 ?X) (patient ?WRITE1 ?DATA1) (holdsDuring (ImmediateFutureFn (WhenFn ?WRITE1)) (stored ?DATA1 ?X)))) Possibility) (modalAttribute (exists (?WRITE2 ?DATA2) (and (stored ?DATA2 ?X) (or (instance ?WRITE2 ContentDevelopment) (instance ?WRITE2 DeletingData)) (not (equal ?WRITE1 ?WRITE2)) (patient ?WRITE2 ?DATA2))) Possibility)))	Media.kif 741-763	If an entity is an instance of rewritable data storage, then the statement there exist another entity and a third entity such that the other entity is an instance of writing and the entity is a patient of the other entity and the third entity is a patient of the other entity and the third entity is stored on the entity holds during immediately after the time of existence of the other entity has the modal force of possibility and the statement there exist a fourth entity and a fifth entity such that the fifth entity is stored on the entity and the fourth entity is an instance of content development or the fourth entity is an instance of deleting data and the other entity is not equal to the fourth entity and the fifth entity is a patient of the fourth entity has the modal force of possibility
(=> (instance ?X WriteOnceDataStorage) (and (modalAttribute (exists (?WRITE1 ?DATA1) (and (instance ?WRITE1 Writing) (patient ?WRITE1 ?X) (patient ?WRITE1 ?DATA1) (holdsDuring (ImmediateFutureFn (WhenFn ?WRITE1)) (stored ?DATA1 ?X)))) Possibility) (not (modalAttribute (exists (?WRITE2 ?DATA2) (and (stored ?DATA2 ?X) (or (instance ?WRITE2 ContentDevelopment) (instance ?WRITE2 DeletingData)) (not (equal ?WRITE1 ?WRITE2)) (patient ?WRITE2 ?DATA2))) Possibility))))	Media.kif 713-736	If an entity is an instance of write once data storage, then the statement there exist another entity and a third entity such that the other entity is an instance of writing and the entity is a patient of the other entity and the third entity is a patient of the other entity and the third entity is stored on the entity holds during immediately after the time of existence of the other entity has the modal force of possibility and the statement there exist a fourth entity and a fifth entity such that the fifth entity is stored on the entity and the fourth entity is an instance of content development or the fourth entity is an instance of deleting data and the other entity is not equal to the fourth entity and the fifth entity is a patient of the fourth entity doesn't have the modal force of possibility
(=> (stored ?O ?D) (exists (?P) (and (instance ?P Writing) (destination ?P ?D) (patient ?P ?O))))	Mid-level-ontology.kif 15751-15757	If a content bearing object is stored on a data storage device, then there exists a process such that the process is an instance of writing and the process ends up at the data storage device and the content bearing object is a patient of the process

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