ArtWork - Sigma Knowledge base Browser

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 15886-15888
(subclass ArtWork Artifact)	Merge.kif 15885-15885	Art work is a subclass of artifact

appearance as argument number 2

(subclass Collage ArtWork)	Mid-level-ontology.kif 3154-3154	Collage is a subclass of art work
(subclass PaintedPicture ArtWork)	Mid-level-ontology.kif 3089-3089	Painted picture is a subclass of art work
(subclass RepresentationalArtWork ArtWork)	Merge.kif 15913-15913	Representational art work is a subclass of art work
(subclass Sculpture ArtWork)	Mid-level-ontology.kif 3136-3136	Sculpture is a subclass of art work
(subclass Sketch ArtWork)	Mid-level-ontology.kif 3150-3150	Sketch is a subclass of art work
(subclass Wallpaper ArtWork)	Mid-level-ontology.kif 3114-3114	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 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 19095-19101	If an agent is an agent of a process and an entity is a result of the process and the entity is an instance of art work, then artist is an attribute of the agent holds during the time of existence of the process
(=> (instance ?AW ArtWork) (hasPurpose ?AW (exists (?H ?P) (and (instance ?H Human) (instance ?P Perception) (experiencer ?P ?H) (patient ?P ?AW)))))	Merge.kif 15890-15898	If a physical is an instance of art work, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the other entity is an instance of perception and the entity experiences the other entity and the physical is a patient of the other entity
(=> (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 15900-15911	If a physical is an instance of art work, then the physical has the purpose there exists an entity such that the entity is an instance of human and the entity desires there exists another entity such that the other entity is an instance of perception and the entity experiences the other entity and the physical is a patient of the other entity

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 16984-16994	If an object is an instance of art school and a process is an instance of educational process and the process is located at the object, then there exist another process and an entity such that the other process is an instance of making and the entity is a patient of the other process and the entity is an instance of art work and the process includes a reference to the other process
(=> (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 21347-21359	If art critic is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of art work and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of article and the object is the author of the third entity and the other entity includes a reference to the entity
(=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B))))	Mid-level-ontology.kif 8717-8724	If an agent is an instance of art museum, then there exist an object and a physical such that the agent possesses the object and the object is an instance of building and the physical is an instance of art work and the physical is located at the object
(=> (instance ?STUDIO ArtStudio) (hasPurpose ?STUDIO (exists (?MAKE ?WORK) (and (instance ?MAKE Making) (result ?MAKE ?WORK) (instance ?WORK ArtWork)))))	Mid-level-ontology.kif 6727-6734	If a physical is an instance of art studio, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of making and the other entity is a result of the entity and the other entity is an instance of art work

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