ArtMuseum - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ArtMuseum Museum)	Mid-level-ontology.kif 9857-9857	Art museum is a subclass of museum
(documentation ArtMuseum EnglishLanguage "An art museum is a building or space for the exhibition of art, usually visual art.")	Mid-level-ontology.kif 9858-9858	Art museum is a subclass of museum

appearance as argument number 2

(termFormat EnglishLanguage ArtMuseum "art museum")	domainEnglishFormat.kif 8548-8548
(termFormat ChineseTraditionalLanguage ArtMuseum "美術博物館")	domainEnglishFormat.kif 8549-8549
(termFormat ChineseLanguage ArtMuseum "美术博物馆")	domainEnglishFormat.kif 8550-8550

antecedent

(=>
    (instance ?M ArtMuseum)
    (exists (?B ?A)
        (and
            (possesses ?M ?B)
            (instance ?B Building)
            (instance ?A ArtWork)
            (located ?A ?B))))

If X is an instance of art museum, then there exist Y, Z such that X possesses Y, Y is an instance of building, Z is an instance of art work, and Z is located at Y