![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ArtMuseum(art museum) | art_gallery, gallery, picture_gallery, salon |
| 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 |
|
|
| antecedent |
|
|
| (=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B)))) |
Mid-level-ontology.kif 9859-9866 | 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 |