| Library(library)
| | circulating_library, lending_library, library |
| appearance as argument number 1 |
|
|
| (documentation Library EnglishLanguage "An EducationalOrganization which is a repository of Texts which have been classified for efficient retrieval.") | Mid-level-ontology.kif 8682-8683 | |
| (externalImage Library "http://articulatesoftware.com/SUMOpictures/education/ books/ books_1/ library.png") | pictureList.kif 557-557 | |
| (externalImage Library "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Library_book_shelves.jpg") | pictureList.kif 124-124 | |
| (subclass Library EducationalOrganization) | Mid-level-ontology.kif 8681-8681 | Library is a subclass of educational organization |
| appearance as argument number 2 |
|
|
| (subclass PublicLibrary Library) | Mid-level-ontology.kif 8706-8706 | Public library is a subclass of library |
| (termFormat ChineseLanguage Library "图书馆") | domainEnglishFormat.kif 34299-34299 | Public library is a subclass of library |
| (termFormat ChineseTraditionalLanguage Library "圖書館") | domainEnglishFormat.kif 34298-34298 | Public library is a subclass of library |
| (termFormat EnglishLanguage Library "library") | domainEnglishFormat.kif 34297-34297 | Public library is a subclass of library |
| antecedent |
|
|
| (=> (instance ?L Library) (exists (?B ?T) (and (possesses ?L ?B) (instance ?B LibraryBuilding) (instance ?T Text) (located ?T ?B)))) |
Mid-level-ontology.kif 8685-8692 |
|
|
|
|