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...
Escrever, Latinise, Latinize, Romanise, Romanize, Scrivere, 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...

appearance as argument number 1
-------------------------


(documentation Writing ChineseLanguage "这属于 ContentDevelopmentsubclass,当中内容 由一类 (例如:口述、记在心上或已经身上表达)转成书面形式。注:这个类别同时包括 Text 的誊写和原作版本。") Merge.kif 12563-12564
(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 12559-12562
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/0/ 0a/ Aliu_Amadu_Jallo-schmaus.jpg") pictureList.kif 8303-8303 "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Aliu_Amadu_Jallo-schmaus.jpg" is a URL depicting writing
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Medieval_writing_desk.jpg") pictureList.kif 6990-6990 "http://upload.wikimedia.org/wikipedia/commons/4/49/ Medieval_writing_desk.jpg" is a URL depicting writing
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ A_Japanese_is_writing_no_WTO.jpg") pictureList.kif 8305-8305 "http://upload.wikimedia.org/wikipedia/commons/c/cc/ A_Japanese_is_writing_no_WTO.jpg" is a URL depicting writing
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ Teacher_writing_on_a_Blackboard.jpg") pictureList.kif 8308-8308 "http://upload.wikimedia.org/wikipedia/commons/e/ed/ Teacher_writing_on_a_Blackboard.jpg" is a URL depicting writing
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ AdamGreen.jpg") pictureList.kif 8304-8304 "http://upload.wikimedia.org/wikipedia/commons/f/f1/ AdamGreen.jpg" is a URL depicting writing
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ An_Afghan_student_takes_copious_notes.jpg") pictureList.kif 8306-8306 "http://upload.wikimedia.org/wikipedia/commons/f/ff/ An_Afghan_student_takes_copious_notes.jpg" is a URL depicting writing
(subclass Writing ContentDevelopment) Merge.kif 12558-12558 Writing is a subclass of content development

appearance as argument number 2
-------------------------


(subclass Decoding Writing) Merge.kif 12574-12574 Decoding is a subclass of writing
(subclass Encoding Writing) Merge.kif 12566-12566 Encoding is a subclass of writing
(termFormat ChineseLanguage Writing "写作") chinese_format.kif 1179-1179 "写作" is the printable form of writing in ChineseLanguage
(termFormat EnglishLanguage Writing "writing") english_format.kif 866-866 "writing" is the printable form of writing in english language
(termFormat FrenchLanguage Writing "�crire") french_format.kif 857-857 "�crire" is the printable form of writing in french language
(termFormat Hindi Writing "likhaaii") terms-hindi.txt 389-389 "likhaaii" is the printable form of writing in Hindi
(termFormat ItalianLanguage Writing "Scrivere") terms-it.txt 390-390 "Scrivere" is the printable form of writing in italian language
(termFormat PortugueseLanguage Writing "Escrever") portuguese_format.kif 809-809 "Escrever" is the printable form of writing in portuguese language
(termFormat cb Writing "pagsulat") terms-cb.txt 394-394 "pagsulat" is the printable form of writing in cb
(termFormat cz Writing "writing") terms-cz.txt 428-428 "writing" is the printable form of writing in cz
(termFormat tg Writing "sumulat") terms-tg.txt 393-393 "sumulat" is the printable form of writing in tg

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

consequent
-------------------------


(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))
Mid-level-ontology.kif 12702-12706 Literacy attribute is an attribute of an agent if and only if the agent has skill to do reading and the agent has skill to do writing
(=>
    (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 2461-2467
(=>
    (instance ?OBJ Whiteboard)
    (hasPurpose ?OBJ
        (exists (?WRITE)
            (and
                (instance ?WRITE Writing)
                (destination ?WRITE ?OBJ)))))
Mid-level-ontology.kif 23474-23480
(=>
    (instance ?TEXT Text)
    (exists (?WRITE)
        (and
            (instance ?WRITE Writing)
            (result ?WRITE ?TEXT))))
Merge.kif 15417-15422
(=>
    (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 11979-11985


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