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。") chinese_format.kif 3605-3606
(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 15840-15842
(subclass ArtWork Artifact) Merge.kif 15839-15839 芸術作品アーチファクトsubclass では %n

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


(subclass Collage ArtWork) Mid-level-ontology.kif 3161-3161 Collage芸術作品subclass では %n
(subclass PaintedPicture ArtWork) Mid-level-ontology.kif 3096-3096 PaintedPicture芸術作品subclass では %n
(subclass RepresentationalArtWork ArtWork) Merge.kif 15867-15867 RepresentationalArtWork芸術作品subclass では %n
(subclass Sculpture ArtWork) Mid-level-ontology.kif 3143-3143 Sculpture芸術作品subclass では %n
(subclass Sketch ArtWork) Mid-level-ontology.kif 3157-3157 Sketch芸術作品subclass では %n
(subclass Wallpaper ArtWork) Mid-level-ontology.kif 3121-3121 Wallpaper芸術作品subclass では %n
(termFormat ChineseLanguage ArtWork "艺术品") chinese_format.kif 1053-1053
(termFormat EnglishLanguage ArtWork "art work") english_format.kif 1317-1317
(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 265-265
(termFormat JapaneseLanguage ArtWork "芸術作品") japanese_format.kif 2415-2415
(termFormat PortugueseLanguage ArtWork "Objeto de Arte") portuguese_format.kif 683-683
(termFormat cz ArtWork "art work") terms-cz.txt 301-301
(termFormat ro ArtWork "operã de artã") relations-ro.kif 752-752
(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 18837-18843
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))
Merge.kif 15844-15852
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H)
            (and
                (instance ?H Human)
                (desires ?H
                    (exists (?P)
                        (and
                            (instance ?P Perception)
                            (experiencer ?P ?H)
                            (patient ?P ?AW))))))))
Merge.kif 15854-15865

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 16766-16776
(=>
    (attribute ?H ArtCritic)
    (hasPurpose ?H
        (exists (?AW ?T ?CLASS)
            (and
                (instance ?AW ArtWork)
                (overlapsTemporally
                    (WhenFn ?AW)
                    (WhenFn ?H))
                (instance ?T ?CLASS)
                (subclass ?CLASS Article)
                (authors ?H ?CLASS)
                (refers ?T ?AW)))))
Mid-level-ontology.kif 21089-21101
(=>
    (instance ?M ArtMuseum)
    (exists (?B ?A)
        (and
            (possesses ?M ?B)
            (instance ?B Building)
            (instance ?A ArtWork)
            (located ?A ?B))))
Mid-level-ontology.kif 8499-8506
(=>
    (instance ?STUDIO ArtStudio)
    (hasPurpose ?STUDIO
        (exists (?MAKE ?WORK)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?WORK)
                (instance ?WORK ArtWork)))))
Mid-level-ontology.kif 6733-6740


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 3.0 is open source software produced by Articulate Software and its partners