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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtWork

Sigma KEE - ArtWork
ArtWorkإِنْتاج فنِّي, اِبْداع فنِّي, فنّ, خَلْق فَنِّي, زَخْرَفَة, فنّ, فُنُون جمِيلة, خَرَز, منْحُوت, ...

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


(documentation ArtWork ChineseLanguage "这是缔造来主要为了让人审美欣赏 Artifact。 注这 Class 个类别并不包括建筑物的例子,建筑物属于 StationaryArtifact。") Merge.kif 15865-15866
(documentation ArtWork EnglishLanguage "Artifacts that are created primarily for aesthetic appreciation. Note that this Class does not include most examples of architecture, which belong under StationaryArtifact.") Merge.kif 15862-15864
(subclass ArtWork Artifact) Merge.kif 15861-15861

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


(subclass Collage ArtWork) Mid-level-ontology.kif 3698-3698
(subclass PaintedPicture ArtWork) Mid-level-ontology.kif 3633-3633
(subclass RepresentationalArtWork ArtWork) Merge.kif 15891-15891
(subclass Sculpture ArtWork) Mid-level-ontology.kif 3680-3680
(subclass Sketch ArtWork) Mid-level-ontology.kif 3694-3694
(subclass Wallpaper ArtWork) Mid-level-ontology.kif 3658-3658
(termFormat ChineseLanguage ArtWork "艺术品") chinese_format.kif 1053-1053
(termFormat EnglishLanguage ArtWork "art work") english_format.kif 740-740
(termFormat FrenchLanguage ArtWork "objet d'art") french_format.kif 731-731
(termFormat Hindi ArtWork "kalaakriti") terms-hindi.txt 262-262
(termFormat ItalianLanguage ArtWork "OperaD'Arte") terms-it.txt 263-263
(termFormat PortugueseLanguage ArtWork "Objeto de Arte") portuguese_format.kif 683-683
(termFormat cz ArtWork "art work") terms-cz.txt 301-301
(termFormat tg ArtWork "sining") terms-tg.txt 266-266

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


(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))
Mid-level-ontology.kif 16090-16096
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))
Merge.kif 15868-15876
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?P)
            (and
                (instance ?H Human)
                (desires ?H
                    (exists (?P)
                        (and
                            (instance ?P Perception)
                            (experiencer ?P ?H)
                            (patient ?P ?AW))))))))
Merge.kif 15878-15889

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


(=>
    (and
        (instance ?AS ArtSchool)
        (instance ?P EducationalProcess)
        (eventLocated ?P ?AS))
    (exists (?M ?ART)
        (and
            (instance ?M Making)
            (patient ?M ?ART)
            (instance ?ART ArtWork)
            (refers ?P ?M))))
Mid-level-ontology.kif 14104-14114
(=>
    (attribute ?H ArtCritic)
    (exists (?T ?AW)
        (and
            (instance ?AW ArtWork)
            (authors ?H ?T)
            (refers ?T ?AW))))
Mid-level-ontology.kif 18337-18343
(=>
    (instance ?CLASS ArtMakingClass)
    (exists (?PROC ?ART)
        (and
            (instance ?PROC Making)
            (patient ?PROC ?ART)
            (instance ?ART ArtWork)
            (subProcess ?PROC ?CLASS))))
Offers.kif 220-227
(=>
    (instance ?M ArtMuseum)
    (exists (?B ?A)
        (and
            (possesses ?M ?B)
            (instance ?B Building)
            (instance ?A ArtWork)
            (located ?A ?B))))
Mid-level-ontology.kif 8210-8217
(=>
    (instance ?STUDIO ArtStudio)
    (hasPurpose ?STUDIO
        (exists (?MAKE ?WORK)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?WORK)
                (instance ?WORK ArtWork)))))
Mid-level-ontology.kif 6388-6395


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners