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

appearance as argument number 2

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

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 1394-1400	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 12727-12731	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 2462-2468	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 23592-23598	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 14220-14225	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 12010-12016	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 3.0 is open source software produced by Articulate Software and its partners