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 11741-11744
(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 11740-11740	subclass Writing and ContentDevelopment

appearance as argument number 2

(subclass Decoding Writing)	Merge.kif 11752-11752	subclass Decoding and Writing
(subclass Encoding Writing)	Merge.kif 11746-11746	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 12702-12706	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 23567-23573	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 14193-14198	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 11985-11991	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