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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArtWork
ArtWork(art work)Abstract_Expressionism, Ash_Can, Ashcan_school, Baroque, Elgin_Marbles, Graeco-Roman, Greco-Roman, Greek_fret, Greek_key, Hellenic, Hudson_River_school, Impressionism, Kakemono, New_Wave, Nouvelle_Vague, Objeto_de_Arte, OperaD'Arte, Pop_Art, Pre-Raphaelite, Statue_of_Liberty, abstract, abstract_art, abstraction, abstractionism, abstractionist, action_painting, agateware, alto_relievo, alto_rilievo, anaglyph, analytical_cubism, ankle_bracelet, anklet, annulet, antefix, applique, aquatint, arabesque, architectural_ornament, architecturally, architrave, argyle, argyll, arras, art, art_deco, art_form, art_movement, art_object, art_work...

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 Art work is a subclass of artifact

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


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

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