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

more pictures...

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

(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 11650-11653
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/0/ 0a/ Aliu_Amadu_Jallo-schmaus.jpg")	pictureList.kif 8303-8303	externalImage Writing and "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Aliu_Amadu_Jallo-schmaus.jpg"
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Medieval_writing_desk.jpg")	pictureList.kif 6990-6990	externalImage Writing and "http://upload.wikimedia.org/wikipedia/commons/4/49/ Medieval_writing_desk.jpg"
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ A_Japanese_is_writing_no_WTO.jpg")	pictureList.kif 8305-8305	externalImage Writing and "http://upload.wikimedia.org/wikipedia/commons/c/cc/ A_Japanese_is_writing_no_WTO.jpg"
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ Teacher_writing_on_a_Blackboard.jpg")	pictureList.kif 8308-8308	externalImage Writing and "http://upload.wikimedia.org/wikipedia/commons/e/ed/ Teacher_writing_on_a_Blackboard.jpg"
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ AdamGreen.jpg")	pictureList.kif 8304-8304	externalImage Writing and "http://upload.wikimedia.org/wikipedia/commons/f/f1/ AdamGreen.jpg"
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ An_Afghan_student_takes_copious_notes.jpg")	pictureList.kif 8306-8306	externalImage Writing and "http://upload.wikimedia.org/wikipedia/commons/f/ff/ An_Afghan_student_takes_copious_notes.jpg"
(subclass Writing ContentDevelopment)	Merge.kif 11649-11649	subclass Writing and ContentDevelopment

appearance as argument number 2

(subclass Decoding Writing)	Merge.kif 11661-11661	subclass Decoding and Writing
(subclass Encoding Writing)	Merge.kif 11655-11655	subclass Encoding and Writing
(termFormat ChineseLanguage Writing "写作")	chinese_format.kif 1179-1179	termFormat ChineseLanguage, Writing and "写作"
(termFormat EnglishLanguage Writing "writing")	english_format.kif 1580-1580	termFormat EnglishLanguage, Writing and "writing"

antecedent

(=> (and (attribute ?X Writer) (or (instance ?TEXT Text) (instance ?TEXT Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?TEXT))	Biography.kif 492-501	attribute Agent and Writer instance ContentBearingObject and Text instance ContentBearingObject and Document instance Process and Writing agent Process and Agent result Process and ContentBearingObject authors Agent and ContentBearingObject
(=> (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 503-512	instance Agent and Human instance Process and Writing instance Entity and Text instance Entity and Document result Process and Entity agent Process and Agent attribute Agent and Writer
(=> (instance ?W Writing) (exists (?S ?L) (and (instance ?S Text) (instance ?L WrittenHumanLanguage) (language ?S ?L))))	Merge.kif 1397-1403	instance Entity and Writing ContentBearingPhysical Language instance ContentBearingPhysical and Text instance Language and WrittenHumanLanguage language ContentBearingPhysical and Language

consequent

(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H)))	Mid-level-ontology.kif 12701-12705	attribute Agent and LiteracyAttribute hasSkill Reading and Agent hasSkill Writing and Agent
(=> (attribute ?PERSON Writer) (hasSkill Writing ?PERSON))	Biography.kif 477-479	attribute Agent and Writer hasSkill Writing and Agent
(=> (attribute ?X Writer) (exists (?OBJ) (and (instance ?PROC Writing) (or (instance ?OBJ Text) (instance ?OBJ Document)) (agent ?PROC ?X) (result ?PROC ?OBJ))))	Biography.kif 481-490	attribute Agent and Writer Entity instance Process and Writing instance Entity and Text instance Entity and Document agent Process and Agent result Process and Entity
(=> (instance ?D WritingDevice) (hasPurpose ?D (exists (?W) (and (instance ?W Writing) (instrument ?W ?D)))))	Mid-level-ontology.kif 2456-2462	instance Physical and WritingDevice hasPurpose Physical and entity instance entity and Writing instrument entity and Physical
(=> (instance ?OBJ Whiteboard) (hasPurpose ?OBJ (exists (?WRITE) (and (instance ?WRITE Writing) (destination ?WRITE ?OBJ)))))	Mid-level-ontology.kif 23555-23561	instance Physical and Whiteboard hasPurpose Physical and entity instance entity and Writing destination entity and Physical
(=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT))))	Merge.kif 14102-14107	instance Entity and Text Process instance Process and Writing result Process and Entity
(=> (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	instance Entity and RewritableDataStorage modalAttribute entity entity instance entity and Writing patient entity and Entity patient entity and entity holdsDuring ImmediateFutureFn WhenFn entity and stored entity and Entity and Possibility modalAttribute entity entity stored entity and Entity instance entity and ContentDevelopment instance entity and DeletingData equal entity and entity patient entity and entity and 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	instance Entity and WriteOnceDataStorage modalAttribute entity entity instance entity and Writing patient entity and Entity patient entity and entity holdsDuring ImmediateFutureFn WhenFn entity and stored entity and Entity and Possibility modalAttribute entity entity stored entity and Entity instance entity and ContentDevelopment instance entity and DeletingData equal entity and entity patient entity and entity and Possibility
(=> (stored ?O ?D) (exists (?P) (and (instance ?P Writing) (destination ?P ?D) (patient ?P ?O))))	Mid-level-ontology.kif 11984-11990	stored ContentBearingObject and DataStorageDevice Process instance Process and Writing destination Process and DataStorageDevice patient Process and ContentBearingObject

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