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 8170-8171 | |
(externalImage Library "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Library_book_shelves.jpg") | pictureList.kif 124-124 | |
(externalImage Library "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ education/ books/ books_1/ library.png") | pictureList.kif 557-557 | |
(subclass Library EducationalOrganization) | Mid-level-ontology.kif 8169-8169 |
appearance as argument number 2 |
![]() |
(subclass PublicLibrary Library) | Mid-level-ontology.kif 8194-8194 | |
(termFormat ChineseLanguage Library "图书馆") | domainEnglishFormat.kif 34189-34189 | |
(termFormat ChineseTraditionalLanguage Library "圖書館") | domainEnglishFormat.kif 34188-34188 | |
(termFormat EnglishLanguage Library "library") | domainEnglishFormat.kif 34187-34187 |
antecedent |
![]() |
(=> (instance ?L Library) (exists (?B ?T) (and (possesses ?L ?B) (instance ?B LibraryBuilding) (instance ?T Text) (located ?T ?B)))) |
Mid-level-ontology.kif 8173-8180 |
![]() |
![]() |