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, 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, artistic, artistic_creation, artistic_movement...

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 15911-15913
(subclass ArtWork Artifact) Merge.kif 15910-15910 Art work is a subclass of artifact

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


(subclass Collage ArtWork) Mid-level-ontology.kif 3227-3227 Collage is a subclass of art work
(subclass PaintedPicture ArtWork) Mid-level-ontology.kif 3162-3162 Painted picture is a subclass of art work
(subclass RepresentationalArtWork ArtWork) Merge.kif 15938-15938 Representational art work is a subclass of art work
(subclass Sculpture ArtWork) Mid-level-ontology.kif 3209-3209 Sculpture is a subclass of art work
(subclass Sketch ArtWork) Mid-level-ontology.kif 3223-3223 Sketch is a subclass of art work
(subclass Wallpaper ArtWork) Mid-level-ontology.kif 3187-3187 Wallpaper is a subclass of art work
(termFormat ChineseLanguage ArtWork "艺术品") chinese_format.kif 1053-1053 Wallpaper is a subclass of art work
(termFormat EnglishLanguage ArtWork "art work") english_format.kif 1317-1317 Wallpaper is a subclass of art work
(termFormat FrenchLanguage ArtWork "objet d'art") french_format.kif 731-731 Wallpaper is a subclass of art work
(termFormat Hindi ArtWork "kalaakriti") terms-hindi.txt 262-262 Wallpaper is a subclass of art work
(termFormat ItalianLanguage ArtWork "OperaD'Arte") terms-it.txt 265-265 Wallpaper is a subclass of art work
(termFormat JapaneseLanguage ArtWork "芸術作品") japanese_format.kif 2415-2415 Wallpaper is a subclass of art work
(termFormat PortugueseLanguage ArtWork "Objeto de Arte") portuguese_format.kif 683-683 Wallpaper is a subclass of art work
(termFormat cz ArtWork "art work") terms-cz.txt 301-301 Wallpaper is a subclass of art work
(termFormat de ArtWork "Kunststueck") terms-de.txt 560-560 Wallpaper is a subclass of art work
(termFormat ro ArtWork "operã de artã") relations-ro.kif 752-752 Wallpaper is a subclass of art work
(termFormat tg ArtWork "sining") terms-tg.txt 266-266 Wallpaper is a subclass of art work

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


(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))
Mid-level-ontology.kif 19926-19932
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))
Merge.kif 15915-15923
(=>
    (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 15925-15936

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 17694-17704
(=>
    (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 22178-22190
(=>
    (instance ?M ArtMuseum)
    (exists (?B ?A)
        (and
            (possesses ?M ?B)
            (instance ?B Building)
            (instance ?A ArtWork)
            (located ?A ?B))))
Mid-level-ontology.kif 9272-9279
(=>
    (instance ?STUDIO ArtStudio)
    (hasPurpose ?STUDIO
        (exists (?MAKE ?WORK)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?WORK)
                (instance ?WORK ArtWork)))))
Mid-level-ontology.kif 7282-7289


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