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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14568-14570
(subclass ArtWork Artifact) Merge.kif 14567-14567 subclass ArtWork and Artifact

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


(subclass Collage ArtWork) Mid-level-ontology.kif 3698-3698 subclass Collage and ArtWork
(subclass PaintedPicture ArtWork) Mid-level-ontology.kif 3633-3633 subclass PaintedPicture and ArtWork
(subclass RepresentationalArtWork ArtWork) Merge.kif 14595-14595 subclass RepresentationalArtWork and ArtWork
(subclass Sculpture ArtWork) Mid-level-ontology.kif 3680-3680 subclass Sculpture and ArtWork
(subclass Sketch ArtWork) Mid-level-ontology.kif 3694-3694 subclass Sketch and ArtWork
(subclass Wallpaper ArtWork) Mid-level-ontology.kif 3658-3658 subclass Wallpaper and ArtWork
(termFormat ChineseLanguage ArtWork "艺术品") chinese_format.kif 1053-1053 termFormat ChineseLanguage, ArtWork and "艺术品"
(termFormat EnglishLanguage ArtWork "art work") english_format.kif 1322-1322 termFormat EnglishLanguage, ArtWork and "art work"

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


(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))
Mid-level-ontology.kif 16509-16515
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))
Merge.kif 14572-14580
(=>
    (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 14582-14593

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 14364-14374
(=>
    (attribute ?H ArtCritic)
    (exists (?T ?AW)
        (and
            (instance ?AW ArtWork)
            (authors ?H ?T)
            (refers ?T ?AW))))
Mid-level-ontology.kif 18757-18763
(=>
    (instance ?M ArtMuseum)
    (exists (?B ?A)
        (and
            (possesses ?M ?B)
            (instance ?B Building)
            (instance ?A ArtWork)
            (located ?A ?B))))
Mid-level-ontology.kif 8224-8231
(=>
    (instance ?STUDIO ArtStudio)
    (hasPurpose ?STUDIO
        (exists (?MAKE ?WORK)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?WORK)
                (instance ?WORK ArtWork)))))
Mid-level-ontology.kif 6393-6400


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