Writing![]() ![]() ![]() ![]() | ![]() |
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 11791-11794 | |
(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 11790-11790 |
appearance as argument number 2 |
![]() |
(subclass Decoding Writing) | Merge.kif 11802-11802 | |
(subclass Encoding Writing) | Merge.kif 11796-11796 | |
(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 | |
(=> (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 ?W Writing) (exists (?S ?L) (and (instance ?S Text) (instance ?L WrittenHumanLanguage) (language ?S ?L)))) |
Merge.kif 1399-1405 |
consequent |
![]() |
(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 12729-12733 | |
(=> (attribute ?PERSON Writer) (hasSkill Writing ?PERSON)) |
Biography.kif 477-479 | |
(=> (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 | |
(=> (instance ?D WritingDevice) (hasPurpose ?D (exists (?W) (and (instance ?W Writing) (instrument ?W ?D))))) |
Mid-level-ontology.kif 2462-2468 | |
(=> (instance ?OBJ Whiteboard) (hasPurpose ?OBJ (exists (?WRITE) (and (instance ?WRITE Writing) (destination ?WRITE ?OBJ))))) |
Mid-level-ontology.kif 23598-23604 | |
(=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT)))) |
Merge.kif 14240-14245 | |
(=> (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 ?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 | |
(=> (stored ?O ?D) (exists (?P) (and (instance ?P Writing) (destination ?P ?D) (patient ?P ?O)))) |
Mid-level-ontology.kif 12012-12018 |
![]() |
![]() |