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


KB Term:  Term intersection
English Word: 

Sigma KEE - ArtWork
ArtWork(art work)

appearance as argument number 1
-------------------------


(subclass ArtWork Artifact) Merge.kif 16011-16011 Art work is a subclass of artifact
(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 16012-16014 Art work is a subclass of artifact
(subclass ArtWork VisualContentBearingObject) Mid-level-ontology.kif 28889-28889 Art work is a subclass of visual content bearing object

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


(subclass RepresentationalArtWork ArtWork) Merge.kif 16039-16039 Representational art work is a subclass of art work
(subclass PaintedPicture ArtWork) Mid-level-ontology.kif 3556-3556 Painted picture is a subclass of art work
(subclass Wallpaper ArtWork) Mid-level-ontology.kif 3581-3581 Wallpaper is a subclass of art work
(subclass Sculpture ArtWork) Mid-level-ontology.kif 3603-3603 Sculpture is a subclass of art work
(subclass Sketch ArtWork) Mid-level-ontology.kif 3617-3617 Sketch is a subclass of art work
(subclass Collage ArtWork) Mid-level-ontology.kif 3621-3621 Collage is a subclass of art work
(subclass DecorativeAppliance ArtWork) HouseholdAppliances.kif 707-707 Decorative appliance is a subclass of art work
(termFormat EnglishLanguage ArtWork "art work") english_format.kif 1317-1317 Decorative appliance is a subclass of art work

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


(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))		 Merge.kif 16016-16024 If X is an instance of art work, then X has the purpose there exist Y, Z such that Y is an instance of human, Z is an instance of perception, Y experiences Z, and X is a patient of Z
(=>
    (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 16026-16037 If X is an instance of art work, then X has the purpose there exists Y such that Y is an instance of human, Y desires there exists Z such that Z is an instance of perception, Y experiences Z, and X is a patient of Z
(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))		 Mid-level-ontology.kif 20771-20777 If X is an agent of Y, Z is a result of Y, and Z is an instance of art work, then artist is an attribute of X holds during the time of existence of Y

consequent
-------------------------


(=>
    (instance ?STUDIO ArtStudio)
    (hasPurpose ?STUDIO
        (exists (?MAKE ?WORK)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?WORK)
                (instance ?WORK ArtWork)))))		 Mid-level-ontology.kif 7688-7695 If X is an instance of art studio, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is a result of Y, and Z is an instance of art work
(=>
    (instance ?M ArtMuseum)
    (exists (?B ?A)
        (and
            (possesses ?M ?B)
            (instance ?B Building)
            (instance ?A ArtWork)
            (located ?A ?B))))		 Mid-level-ontology.kif 9745-9752 If X is an instance of art museum, then there exist Y, Z such that X possesses Y, Y is an instance of building, Z is an instance of art work, and Z is located at Y
(=>
    (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 18329-18339 If X is an instance of art school, Y is an instance of educational process, and Y is located at X, then there exist Z, W such that Z is an instance of making, W is a patient of Z, W is an instance of art work, and Y includes a reference to Z
(=>
    (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 23397-23409 If art critic is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of art work (3) the time of existence of X overlaps the time of existence of Y (4) Z is an instance of W (5) W is a subclass of article (6) X is the author of W (7) Z includes a reference to Y
(=>
    (instance ?CLASS ArtMakingClass)
    (exists (?PROC ?ART)
        (and
            (instance ?PROC Making)
            (patient ?PROC ?ART)
            (instance ?ART ArtWork)
            (subProcess ?PROC ?CLASS))))		 Offers.kif 232-239 If X is an instance of ArtMakingClass, then there exist Y, Z such that Y is an instance of making, Z is a patient of Y, Z is an instance of art work, and Y is a subprocess of X


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