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 12434-12435
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1d/ Danah_boyd%2C_Web_2.0_Conference.jpg") pictureList.kif 10746-10746
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 42/ Meeting1.jpg") pictureList.kif 10743-10743
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6a/ Watching_and_Blogging.jpg") pictureList.kif 10742-10742
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8b/ Key1.png") pictureList.kif 10741-10741
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 97/ TYPO3_backend.png") pictureList.kif 10744-10744
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9d/ Vivasite-blog.jpg") pictureList.kif 10745-10745
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ a/ a9/ Kim_Polese_and_Joe_Kraus.jpg") pictureList.kif 9965-9965
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ d/ d2/ 2008TaipeiGameShow_Day1_SCET_MOEA_TDCTP.jpg") pictureList.kif 10740-10740
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12433-12433

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


(relatedInternalConcept Communication ContentDevelopment) Merge.kif 12791-12791
(subclass AccountCreationRejected ContentDevelopment) ComputingBrands.kif 4498-4498
(subclass ArtPainting ContentDevelopment) Mid-level-ontology.kif 3191-3191
(subclass ComposingMusic ContentDevelopment) Mid-level-ontology.kif 3272-3272
(subclass ComputerProgramming ContentDevelopment) Merge.kif 16512-16512
(subclass DataEntry ContentDevelopment) ComputingBrands.kif 4280-4280
(subclass Designing ContentDevelopment) Merge.kif 10737-10737
(subclass Drawing ContentDevelopment) Mid-level-ontology.kif 3284-3284
(subclass EnteringAPin ContentDevelopment) FinancialOntology.kif 3561-3561
(subclass FilmMaking ContentDevelopment) Mid-level-ontology.kif 20000-20000
(subclass Photographing ContentDevelopment) Mid-level-ontology.kif 12761-12761
(subclass Posting ContentDevelopment) ComputerInput.kif 2842-2842
(subclass Publication ContentDevelopment) Merge.kif 12608-12608
(subclass Reading ContentDevelopment) Merge.kif 12444-12444
(subclass Sculpting ContentDevelopment) Mid-level-ontology.kif 3227-3227
(subclass Tracing ContentDevelopment) Mid-level-ontology.kif 3261-3261
(subclass Translating ContentDevelopment) Merge.kif 12492-12492
(subclass Update ContentDevelopment) FinancialOntology.kif 4105-4105
(subclass Writing ContentDevelopment) Merge.kif 12459-12459
(termFormat ChineseLanguage ContentDevelopment "内容制作") chinese_format.kif 1177-1177
(termFormat EnglishLanguage ContentDevelopment "content development") english_format.kif 1571-1571

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


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

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


(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))
Mid-level-ontology.kif 18292-18298
(=>
    (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 18326-18330
(=>
    (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 20502-20511
(=>
    (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 13989-13999
(=>
    (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