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...

VerbNet: illustrate-25.3|autograph, illustrate-25.3|brand, instr_communication-37.4|wire, transcribe-25.4|chronicle, lecture-37.11|write, scribble-25.2|copy, correspond-36.1|correspond, create-26.4|draft, image_impression-25.1|inscribe, image_impression-25.1|inscribe, lecture-37.11|write, illustrate-25.3|initial, scribble-25.2|ink, image_impression-25.1|inscribe, fill-9.8|intersperse, fill-9.8|intersperse, sight-30.2|note, create-26.4|draft, lecture-37.11|write, scribble-25.2|print, scribble-25.2|scribble, image_impression-25.1|inscribe, scribble-25.2|scribble, scribble-25.2|scribble, sight-30.2|note, instr_communication-37.4|wire, transcribe-25.4|transcribe, instr_communication-37.4|wire,

appearance as argument number 1

s__documentation(s__Writing,s__ChineseLanguage,'"这属于 ContentDevelopment 的 subclass，当中内容由一类 (例如：口述、记在心上或已经身上表达)转成书面形式。注：这个类别同时包括 Text 的誊写和原作版本。"')	chinese_format.kif 3203-3204
s__documentation(s__Writing,s__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 11741-11744
s__externalImage(s__Writing,'"http://upload.wikimedia.org/wikipedia/commons/0/ 0a/ Aliu_Amadu_Jallo-schmaus.jpg"')	pictureList.kif 8303-8303
s__externalImage(s__Writing,'"http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Medieval_writing_desk.jpg"')	pictureList.kif 6990-6990
s__externalImage(s__Writing,'"http://upload.wikimedia.org/wikipedia/commons/c/ cc/ A_Japanese_is_writing_no_WTO.jpg"')	pictureList.kif 8305-8305
s__externalImage(s__Writing,'"http://upload.wikimedia.org/wikipedia/commons/e/ ed/ Teacher_writing_on_a_Blackboard.jpg"')	pictureList.kif 8308-8308
s__externalImage(s__Writing,'"http://upload.wikimedia.org/wikipedia/commons/f/ f1/ AdamGreen.jpg"')	pictureList.kif 8304-8304
s__externalImage(s__Writing,'"http://upload.wikimedia.org/wikipedia/commons/f/ ff/ An_Afghan_student_takes_copious_notes.jpg"')	pictureList.kif 8306-8306
s__instance(s__Writing,s__SetOrClass) s__subclass(s__Writing,s__ContentDevelopment) s__instance(s__ContentDevelopment,s__SetOrClass)	Merge.kif 11740-11740	Writing is a subclass of content development

appearance as argument number 2

s__subclass(s__Decoding,s__Writing) s__instance(s__Writing,s__SetOrClass) s__instance(s__Decoding,s__SetOrClass)	Merge.kif 11752-11752	Decoding is a subclass of writing
s__instance(s__Writing,s__SetOrClass) s__subclass(s__Encoding,s__Writing) s__instance(s__Encoding,s__SetOrClass)	Merge.kif 11746-11746	Encoding is a subclass of writing
s__termFormat(s__ChineseLanguage,s__Writing,'"写作"')	chinese_format.kif 1179-1179
s__termFormat(s__EnglishLanguage,s__Writing,'"writing"')	english_format.kif 1580-1580

antecedent

( ! [V__WRITE,V__TEXT,V__X] : ((s__subclass(V__TEXT,s__ContentBearingObject) & s__instance(V__X,s__Agent)) => (s__attribute(V__X,s__Writer) & (s__instance(V__TEXT,s__Text) \| s__instance(V__TEXT,s__Document)) & s__instance(V__WRITE,s__Writing) & s__agent(V__WRITE,V__X) & s__result(V__WRITE,V__TEXT)) => s__authors(V__X,V__TEXT) ) )	Biography.kif 492-501	If writer is an attribute of an agent and a kind of content bearing object is an instance of text or a kind of content bearing object is an instance of Document and a process is an instance of writing and the agent is an agent of the process and the kind of content bearing object is a result of the process, then the agent is the author of the kind of content bearing object
( ! [V__WRITE,V__TEXT,V__PERSON] : ((s__instance(V__PERSON,s__Human) & s__instance(V__WRITE,s__Writing) & (s__instance(V__TEXT,s__Text) \| s__instance(V__TEXT,s__Document)) & s__result(V__WRITE,V__TEXT) & s__agent(V__WRITE,V__PERSON)) => s__attribute(V__PERSON,s__Writer) ) )	Biography.kif 503-512	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
( ! [V__W] : (s__instance(V__W,s__Writing) => ( ? [V__S, V__L] : ((s__instance(V__S,s__Text) & s__instance(V__L,s__WrittenHumanLanguage) & s__language(V__S,V__L)))) ) )	Merge.kif 1394-1400	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 WrittenHumanLanguage and language the content bearing physical and the language

consequent

( ! [V__H] : (s__instance(V__H,s__Agent) => (s__attribute(V__H,s__LiteracyAttribute) => (s__hasSkill(s__Reading,V__H) & s__hasSkill(s__Writing,V__H))) & ((s__hasSkill(s__Reading,V__H) & s__hasSkill(s__Writing,V__H)) => s__attribute(V__H,s__LiteracyAttribute)) ) )	Mid-level-ontology.kif 12702-12706	Literacy attribute is an attribute of an agent if and only if the agent the skill to do reading and the agent the skill to do writing
( ! [V__PERSON] : (s__instance(V__PERSON,s__Agent) => s__attribute(V__PERSON,s__Writer) => s__hasSkill(s__Writing,V__PERSON) ) )	Biography.kif 477-479	If writer is an attribute of an agent, then the agent the skill to do writing
( ! [V__PROC,V__X] : ((s__instance(V__PROC,s__Process) & s__instance(V__X,s__Agent)) => s__attribute(V__X,s__Writer) => ( ? [V__OBJ] : ((s__instance(V__PROC,s__Writing) & (s__instance(V__OBJ,s__Text) \| s__instance(V__OBJ,s__Document)) & s__agent(V__PROC,V__X) & s__result(V__PROC,V__OBJ)))) ) )	Biography.kif 481-490	If writer is an attribute of an agent, then there exists an entity such that a 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2456-2462	If a physical is an instance of writing device, then the physical purpose there exists an entity such that the entity is an instance of writing and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23567-23573	If a physical is an instance of whiteboard, then the physical purpose there exists an entity such that the entity is an instance of writing and the entity ends up at the physical
( ! [V__TEXT] : (s__instance(V__TEXT,s__Text) => ( ? [V__WRITE] : ((s__instance(V__WRITE,s__Writing) & s__result(V__WRITE,V__TEXT)))) ) )	Merge.kif 14193-14198	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
No TPTP formula. May not be expressible in strict first order.	Media.kif 741-763	If an entity is an instance of RewritableDataStorage, 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 DeletingData 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
No TPTP formula. May not be expressible in strict first order.	Media.kif 713-736	If an entity is an instance of WriteOnceDataStorage, 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 DeletingData 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
( ! [V__O,V__D] : ((s__instance(V__O,s__ContentBearingObject) & s__instance(V__D,s__DataStorageDevice)) => s__stored(V__O,V__D) => ( ? [V__P] : ((s__instance(V__P,s__Writing) & s__destination(V__P,V__D) & s__patient(V__P,V__O)))) ) )	Mid-level-ontology.kif 11985-11991	If a content bearing object is stored on a DataStorageDevice, then there exists a process such that the process is an instance of writing and the process ends up at the DataStorageDevice 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners