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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContentDevelopment
ContentDevelopment
more pictures...

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


(documentation ContentDevelopment ChineseLanguage "这是改变内容的 IntentionalProcess subclass,它可以是形式受到改变或创造新的内容。") chinese_format.kif 3199-3200
(documentation ContentDevelopment EnglishLanguage "A subclass of IntentionalProcess in which content is modified, its form is altered or it is created anew.") Merge.kif 12072-12073
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1d/ Danah_boyd%2C_Web_2.0_Conference.jpg") pictureList.kif 10756-10756
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 42/ Meeting1.jpg") pictureList.kif 10753-10753
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6a/ Watching_and_Blogging.jpg") pictureList.kif 10752-10752
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8b/ Key1.png") pictureList.kif 10751-10751
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 97/ TYPO3_backend.png") pictureList.kif 10754-10754
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9d/ Vivasite-blog.jpg") pictureList.kif 10755-10755
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ a/ a9/ Kim_Polese_and_Joe_Kraus.jpg") pictureList.kif 9974-9974
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ d/ d2/ 2008TaipeiGameShow_Day1_SCET_MOEA_TDCTP.jpg") pictureList.kif 10750-10750
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12071-12071

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


(relatedInternalConcept Communication ContentDevelopment) Merge.kif 12414-12414
(subclass AccountCreationRejected ContentDevelopment) ComputingBrands.kif 4506-4506
(subclass ArtPainting ContentDevelopment) Mid-level-ontology.kif 3174-3174
(subclass ComposingMusic ContentDevelopment) Mid-level-ontology.kif 3255-3255
(subclass ComputerProgramming ContentDevelopment) Merge.kif 16107-16107
(subclass DataEntry ContentDevelopment) ComputingBrands.kif 4288-4288
(subclass Designing ContentDevelopment) Merge.kif 10423-10423
(subclass Drawing ContentDevelopment) Mid-level-ontology.kif 3267-3267
(subclass EnteringAPin ContentDevelopment) FinancialOntology.kif 3518-3518
(subclass FilmMaking ContentDevelopment) Mid-level-ontology.kif 19661-19661
(subclass Photographing ContentDevelopment) Mid-level-ontology.kif 12497-12497
(subclass Publication ContentDevelopment) Merge.kif 12231-12231
(subclass Reading ContentDevelopment) Merge.kif 12082-12082
(subclass Sculpting ContentDevelopment) Mid-level-ontology.kif 3210-3210
(subclass Tracing ContentDevelopment) Mid-level-ontology.kif 3244-3244
(subclass Translating ContentDevelopment) Merge.kif 12129-12129
(subclass Update ContentDevelopment) FinancialOntology.kif 4065-4065
(subclass Writing ContentDevelopment) Merge.kif 12097-12097
(termFormat ChineseLanguage ContentDevelopment "内容制作") chinese_format.kif 1177-1177
(termFormat EnglishLanguage ContentDevelopment "content development") english_format.kif 1576-1576

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


(=>
    (instance ?DEVELOP ContentDevelopment)
    (exists (?OBJ)
        (and
            (instance ?OBJ ContentBearingObject)
            (result ?DEVELOP ?OBJ))))
Merge.kif 12075-12080

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


(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))
Mid-level-ontology.kif 17953-17959
(=>
    (and
        (instance ?X ReadOnlyMemoryDataStorage)
        (instance ?FABRICATION Manufacture)
        (result ?FABRICATION ?X))
    (not
        (modalAttribute
            (exists (?WRITE1 ?DATA1)
                (and
                    (or
                        (instance ?WRITE2 ContentDevelopment)
                        (instance ?WRITE2 DeletingData))
                    (earlier
                        (WhenFn ?FABRICATION)
                        (WhenFn ?WRITE1))
                    (patient ?WRITE1 ?X)
                    (patient ?WRITE1 ?DATA1)
                    (holdsDuring
                        (ImmediateFutureFn
                            (WhenFn ?WRITE1))
                        (stored ?DATA1 ?X)))) Possibility)))
Media.kif 768-788
(=>
    (attribute ?P Journalist)
    (and
        (occupation ?P
            (OccupationFn ContentDevelopment))
        (occupation ?P
            (OccupationFn Disseminating))))
Mid-level-ontology.kif 17987-17991
(=>
    (hasExpertise ?H Architecture)
    (exists (?D ?P ?B)
        (and
            (instance ?D ContentDevelopment)
            (agent ?D ?H)
            (result ?D ?P)
            (instance ?P Blueprint)
            (represents ?P ?B)
            (instance ?B Building))))
Mid-level-ontology.kif 20163-20172
(=>
    (instance ?A Announcement)
    (exists (?CD ?I)
        (and
            (instance ?CD ContentDevelopment)
            (result ?CD ?A)
            (refers ?A ?I)
            (instance ?I SocialInteraction)
            (earlier
                (WhenFn ?CD)
                (WhenFn ?I)))))
Mid-level-ontology.kif 13714-13724
(=>
    (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


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