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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ArtWork
ArtWork(objet d'art)

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 15990-15992
(subclass ArtWork Artifact) Merge.kif 15989-15989 Objet d'art est une sous-classe de artefact
(subclass ArtWork VisualContentBearingObject) Mid-level-ontology.kif 28121-28121 Objet d'art est une sous-classe de VisualContentBearingObject

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


(subclass Collage ArtWork) Mid-level-ontology.kif 3604-3604 Collage est une sous-classe de objet d'art
(subclass PaintedPicture ArtWork) Mid-level-ontology.kif 3539-3539 PaintedPicture est une sous-classe de objet d'art
(subclass RepresentationalArtWork ArtWork) Merge.kif 16017-16017 RepresentationalArtWork est une sous-classe de objet d'art
(subclass Sculpture ArtWork) Mid-level-ontology.kif 3586-3586 Sculpture est une sous-classe de objet d'art
(subclass Sketch ArtWork) Mid-level-ontology.kif 3600-3600 Sketch est une sous-classe de objet d'art
(subclass Wallpaper ArtWork) Mid-level-ontology.kif 3564-3564 Wallpaper est une sous-classe de objet d'art
(termFormat ChineseLanguage ArtWork "艺术品") chinese_format.kif 1053-1053 Wallpaper est une sous-classe de objet d'art
(termFormat EnglishLanguage ArtWork "art work") english_format.kif 1317-1317 Wallpaper est une sous-classe de objet d'art
(termFormat FrenchLanguage ArtWork "objet d'art") french_format.kif 731-731 Wallpaper est une sous-classe de objet d'art
(termFormat Hindi ArtWork "kalaakriti") terms-hindi.txt 262-262 Wallpaper est une sous-classe de objet d'art
(termFormat ItalianLanguage ArtWork "OperaD'Arte") terms-it.txt 265-265 Wallpaper est une sous-classe de objet d'art
(termFormat JapaneseLanguage ArtWork "芸術作品") japanese_format.kif 2415-2415 Wallpaper est une sous-classe de objet d'art
(termFormat PortugueseLanguage ArtWork "Objeto de Arte") portuguese_format.kif 683-683 Wallpaper est une sous-classe de objet d'art
(termFormat cz ArtWork "art work") terms-cz.txt 301-301 Wallpaper est une sous-classe de objet d'art
(termFormat de ArtWork "Kunststueck") terms-de.txt 560-560 Wallpaper est une sous-classe de objet d'art
(termFormat ro ArtWork "operã de artã") relations-ro.kif 752-752 Wallpaper est une sous-classe de objet d'art
(termFormat tg ArtWork "sining") terms-tg.txt 266-266 Wallpaper est une sous-classe de objet d'art

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


(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))
Mid-level-ontology.kif 20408-20414
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))
Merge.kif 15994-16002
(=>
    (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 16004-16015

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 18153-18163
(=>
    (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 22706-22718
(=>
    (instance ?M ArtMuseum)
    (exists (?B ?A)
        (and
            (possesses ?M ?B)
            (instance ?B Building)
            (instance ?A ArtWork)
            (located ?A ?B))))
Mid-level-ontology.kif 9705-9712
(=>
    (instance ?STUDIO ArtStudio)
    (hasPurpose ?STUDIO
        (exists (?MAKE ?WORK)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?WORK)
                (instance ?WORK ArtWork)))))
Mid-level-ontology.kif 7670-7677


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