ArtMuseum(art museum) | art_gallery, gallery, picture_gallery, salon |
appearance as argument number 1 |
(documentation ArtMuseum EnglishLanguage "An art museum is a building or space for the exhibition of art, usually visual art.") | Mid-level-ontology.kif 8525-8525 | |
(subclass ArtMuseum Museum) | Mid-level-ontology.kif 8524-8524 | Art museum is a subclass of museum |
appearance as argument number 2 |
(termFormat ChineseLanguage ArtMuseum "美术博物馆") | domainEnglishFormat.kif 8550-8550 | |
(termFormat ChineseTraditionalLanguage ArtMuseum "美術博物館") | domainEnglishFormat.kif 8549-8549 | |
(termFormat EnglishLanguage ArtMuseum "art museum") | domainEnglishFormat.kif 8548-8548 |
antecedent |
(=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B)))) |
Mid-level-ontology.kif 8526-8533 |
|