Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LibraryBuilding(library building) |  | National_Library_of_Medicine, U.S._National_Library_of_Medicine, United_States_National_Library_of_Medicine, athenaeum, atheneum, depository_library, library |
| appearance as argument number 1 |
|
|
| (subclass LibraryBuilding Building) | Mid-level-ontology.kif 9836-9836 | Library building is a subclass of building |
| (documentation LibraryBuilding EnglishLanguage "The location of a Library Organization. It is intended to house books that are shared.") | Mid-level-ontology.kif 9837-9838 | Library building is a subclass of building |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LibraryBuilding "library building") | domainEnglishFormat.kif 65116-65116 |
| antecedent |
|
|
| (=> (instance ?L LibraryBuilding) (hasPurpose ?L (exists (?B) (and (instance ?B Book) (located ?L ?B))))) |
Mid-level-ontology.kif 9840-9846 | If X is an instance of library building, then X has the purpose there exists Y such that Y is an instance of book and X is located at Y |
| consequent |
|
|
| (=> (instance ?L Library) (exists (?B ?T) (and (possesses ?L ?B) (instance ?B LibraryBuilding) (instance ?T Text) (located ?T ?B)))) |
Mid-level-ontology.kif 9827-9834 | If X is an instance of library, then there exist Y, Z such that X possesses Y, Y is an instance of library building, Z is an instance of text, and Z is located at Y |
|