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 11765-11766
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1d/ Danah_boyd%2C_Web_2.0_Conference.jpg") pictureList.kif 10757-10757
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 42/ Meeting1.jpg") pictureList.kif 10754-10754
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6a/ Watching_and_Blogging.jpg") pictureList.kif 10753-10753
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8b/ Key1.png") pictureList.kif 10752-10752
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 97/ TYPO3_backend.png") pictureList.kif 10755-10755
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9d/ Vivasite-blog.jpg") pictureList.kif 10756-10756
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ a/ a9/ Kim_Polese_and_Joe_Kraus.jpg") pictureList.kif 9975-9975
(externalImage ContentDevelopment "http://upload.wikimedia.org/wikipedia/ commons/ d/ d2/ 2008TaipeiGameShow_Day1_SCET_MOEA_TDCTP.jpg") pictureList.kif 10751-10751
(subclass ContentDevelopment IntentionalProcess) Merge.kif 11764-11764

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


(relatedInternalConcept Communication ContentDevelopment) Merge.kif 12107-12107
(subclass AccountCreationRejected ContentDevelopment) ComputingBrands.kif 4455-4455
(subclass ArtPainting ContentDevelopment) Mid-level-ontology.kif 3782-3782
(subclass ComposingMusic ContentDevelopment) Mid-level-ontology.kif 3859-3859
(subclass ComputerProgramming ContentDevelopment) Merge.kif 15642-15642
(subclass DataEntry ContentDevelopment) ComputingBrands.kif 4237-4237
(subclass Designing ContentDevelopment) Merge.kif 10157-10157
(subclass Drawing ContentDevelopment) Mid-level-ontology.kif 3871-3871
(subclass EnteringAPin ContentDevelopment) FinancialOntology.kif 3455-3455
(subclass FilmMaking ContentDevelopment) Mid-level-ontology.kif 18352-18352
(subclass Photographing ContentDevelopment) Mid-level-ontology.kif 10935-10935
(subclass Publication ContentDevelopment) Merge.kif 11924-11924
(subclass Reading ContentDevelopment) Merge.kif 11775-11775
(subclass Sculpting ContentDevelopment) Mid-level-ontology.kif 3816-3816
(subclass Tracing ContentDevelopment) Mid-level-ontology.kif 3848-3848
(subclass Translating ContentDevelopment) Merge.kif 11822-11822
(subclass Update ContentDevelopment) FinancialOntology.kif 3996-3996
(subclass Writing ContentDevelopment) Merge.kif 11790-11790
(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 11768-11773

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


(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))
Mid-level-ontology.kif 16679-16685
(=>
    (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 16713-16717
(=>
    (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 18905-18914
(=>
    (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 12296-12306
(=>
    (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