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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3605-3606
No TPTP formula. May not be expressible in strict first order. Merge.kif 15840-15842
No TPTP formula. May not be expressible in strict first order. Merge.kif 15839-15839 Art work is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3161-3161 Collage is a subclass of art work
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3096-3096 Painted picture is a subclass of art work
No TPTP formula. May not be expressible in strict first order. Merge.kif 15867-15867 Representational art work is a subclass of art work
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3143-3143 Sculpture is a subclass of art work
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3157-3157 Sketch is a subclass of art work
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3121-3121 Wallpaper is a subclass of art work
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1053-1053
No TPTP formula. May not be expressible in strict first order. english_format.kif 1317-1317
No TPTP formula. May not be expressible in strict first order. french_format.kif 731-731
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 262-262
No TPTP formula. May not be expressible in strict first order. terms-it.txt 265-265
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2415-2415
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 683-683
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 301-301
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 752-752
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 266-266

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18837-18843
No TPTP formula. May not be expressible in strict first order. Merge.kif 15844-15852
No TPTP formula. May not be expressible in strict first order. Merge.kif 15854-15865

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16766-16776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21089-21101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8499-8506
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6733-6740


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