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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Writing
Writing(執筆)
more pictures...

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 12852-12855
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/0/ 0a/ Aliu_Amadu_Jallo_schmaus.jpg") pictureList.kif 8300-8300
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Medieval_writing_desk.jpg") pictureList.kif 6988-6988
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ A_Japanese_is_writing_no_WTO.jpg") pictureList.kif 8302-8302
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ Teacher_writing_on_a_Blackboard.jpg") pictureList.kif 8305-8305
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ AdamGreen.jpg") pictureList.kif 8301-8301
(externalImage Writing "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ An_Afghan_student_takes_copious_notes.jpg") pictureList.kif 8303-8303
(subclass Writing ContentDevelopment) Merge.kif 12851-12851 執筆 は コンテンツ開発 の subclass では

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


(subclass Decoding Writing) Merge.kif 12863-12863 復号化 は 執筆 の subclass では
(subclass Encoding Writing) Merge.kif 12857-12857 符号化 は 執筆 の 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 de Writing "Schreiben") terms-de.txt 687-687 符号化 は 執筆 の 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 738-748
(=>
    (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 750-759
(=>
    (instance ?W Writing)
    (exists (?S ?L)
        (and
            (instance ?S Text)
            (instance ?L WrittenHumanLanguage)
            (language ?S ?L))))		 Merge.kif 1524-1530

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


(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))		 Mid-level-ontology.kif 16373-16377 LiteracyAttribute は AutonomousAgent の attribute では AutonomousAgent は 読み をする skill が AutonomousAgent は 執筆 をする skill が
(=>
    (attribute ?PERSON Writer)
    (hasSkill Writing ?PERSON))		 Biography.kif 721-723
(=>
    (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 725-734
(=>
    (instance ?D WritingDevice)
    (hasPurpose ?D
        (exists (?W)
            (and
                (instance ?W Writing)
                (instrument ?W ?D)))))		 Mid-level-ontology.kif 2464-2470
(=>
    (instance ?OBJ Whiteboard)
    (hasPurpose ?OBJ
        (exists (?WRITE)
            (and
                (instance ?WRITE Writing)
                (destination ?WRITE ?OBJ)))))		 Mid-level-ontology.kif 27535-27541
(=>
    (instance ?TEXT Text)
    (exists (?WRITE)
        (and
            (instance ?WRITE Writing)
            (result ?WRITE ?TEXT))))		 Merge.kif 15527-15532
(=>
    (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 15733-15739


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