| 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 8716-8716 | |
| (subclass ArtMuseum Museum) | Mid-level-ontology.kif 8715-8715 | Art museum is a subclass of museum |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ArtMuseum "美术博物馆") | domainEnglishFormat.kif 8558-8558 | |
| (termFormat ChineseTraditionalLanguage ArtMuseum "美術博物館") | domainEnglishFormat.kif 8557-8557 | |
| (termFormat EnglishLanguage ArtMuseum "art museum") | domainEnglishFormat.kif 8556-8556 |
| antecedent |
|
|
| (=> (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 |
|
|
|
|