| ArtMuseum(美术博物馆) | |
| 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 8105-8105 | |
| (subclass ArtMuseum Museum) | Mid-level-ontology.kif 8104-8104 | 美术博物馆 是 博物馆 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ArtMuseum "美术博物馆") | domainEnglishFormat.kif 8559-8559 | |
| (termFormat ChineseTraditionalLanguage ArtMuseum "美術博物館") | domainEnglishFormat.kif 8558-8558 | |
| (termFormat EnglishLanguage ArtMuseum "art museum") | domainEnglishFormat.kif 8557-8557 |
| antecedent |
|
|
| (=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B)))) |
Mid-level-ontology.kif 8106-8113 |
|
|
|