| 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 8525-8525 | |
| (subclass ArtMuseum Museum) | Mid-level-ontology.kif 8524-8524 |
| 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 |
|
|
|