Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Writing

Sigma KEE - Writing
Writing(写作)
more pictures...

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


(documentation Writing ChineseLanguage "这属于 ContentDevelopmentsubclass,当中内容 由一类 (例如:口述、记在心上或已经身上表达)转成书面形式。注:这个类别同时包括 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 12744-12747
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/0/ 0a/ Aliu_Amadu_Jallo-schmaus.jpg") pictureList.kif 8301-8301
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Medieval_writing_desk.jpg") pictureList.kif 6989-6989
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ A_Japanese_is_writing_no_WTO.jpg") pictureList.kif 8303-8303
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ Teacher_writing_on_a_Blackboard.jpg") pictureList.kif 8306-8306
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ AdamGreen.jpg") pictureList.kif 8302-8302
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ An_Afghan_student_takes_copious_notes.jpg") pictureList.kif 8304-8304
(subclass Writing ContentDevelopment) Merge.kif 12743-12743 写作内容制作subclass

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


(subclass Decoding Writing) Merge.kif 12755-12755 解码写作subclass
(subclass Encoding Writing) Merge.kif 12749-12749 编码写作subclass
(termFormat ChineseLanguage Writing "写作") chinese_format.kif 1179-1179 编码写作subclass
(termFormat EnglishLanguage Writing "writing") english_format.kif 1575-1575 编码写作subclass
(termFormat FrenchLanguage Writing "�crire") french_format.kif 857-857 编码写作subclass
(termFormat Hindi Writing "likhaaii") terms-hindi.txt 389-389 编码写作subclass
(termFormat ItalianLanguage Writing "Scrivere") terms-it.txt 392-392 编码写作subclass
(termFormat JapaneseLanguage Writing "執筆") japanese_format.kif 2541-2541 编码写作subclass
(termFormat PortugueseLanguage Writing "Escrever") portuguese_format.kif 809-809 编码写作subclass
(termFormat cb Writing "pagsulat") terms-cb.txt 394-394 编码写作subclass
(termFormat cz Writing "writing") terms-cz.txt 428-428 编码写作subclass
(termFormat ro Writing "scriere") relations-ro.kif 878-878 编码写作subclass
(termFormat tg Writing "sumulat") terms-tg.txt 393-393 编码写作subclass

antecedent
-------------------------


(=>
    (and
        (attribute ?X Writer)
        (instance ?TEXT ?CLASS)
        (or
            (subclass ?CLASS Text)
            (subclass ?CLASS Document))
        (instance ?WRITE Writing)
        (agent ?WRITE ?X)
        (result ?WRITE ?TEXT))
    (authors ?X ?CLASS))
Biography.kif 730-740
(=>
    (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 742-751
(=>
    (instance ?W Writing)
    (exists (?S ?L)
        (and
            (instance ?S Text)
            (instance ?L WrittenHumanLanguage)
            (language ?S ?L))))
Merge.kif 1514-1520

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


(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))
Mid-level-ontology.kif 15218-15222 识字属性 施事体attribute 若且唯若 那个 施事体 hasSkill 去做 朗读那个 施事体 hasSkill 去做 写作
(=>
    (attribute ?PERSON Writer)
    (hasSkill Writing ?PERSON))
Biography.kif 713-715
(=>
    (attribute ?X Writer)
    (exists (?OBJ ?PROC)
        (and
            (instance ?PROC Writing)
            (or
                (instance ?OBJ Text)
                (instance ?OBJ Document))
            (agent ?PROC ?X)
            (result ?PROC ?OBJ))))
Biography.kif 717-726
(=>
    (instance ?D WritingDevice)
    (hasPurpose ?D
        (exists (?W)
            (and
                (instance ?W Writing)
                (instrument ?W ?D)))))
Mid-level-ontology.kif 1994-2000
(=>
    (instance ?OBJ Whiteboard)
    (hasPurpose ?OBJ
        (exists (?WRITE)
            (and
                (instance ?WRITE Writing)
                (destination ?WRITE ?OBJ)))))
Mid-level-ontology.kif 25901-25907
(=>
    (instance ?TEXT Text)
    (exists (?WRITE)
        (and
            (instance ?WRITE Writing)
            (result ?WRITE ?TEXT))))
Merge.kif 15420-15425
(=>
    (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 14580-14586


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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