TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Library EducationalOrganization)	Mid-level-ontology.kif 9823-9823	Library is a subclass of educational organization
(documentation Library EnglishLanguage "An EducationalOrganization which is a repository of Texts which have been classified for efficient retrieval.")	Mid-level-ontology.kif 9824-9825	Library is a subclass of educational organization
(externalImage Library "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Library_book_shelves.jpg")	pictureList.kif 124-124	Library is a subclass of educational organization
(externalImage Library "http://articulatesoftware.com/SUMOpictures/education/ books/ books_1/ library.png")	pictureList.kif 557-557	Library is a subclass of educational organization

appearance as argument number 2

(subclass PublicLibrary Library)	Mid-level-ontology.kif 9848-9848	Public library is a subclass of library
(termFormat EnglishLanguage Library "library")	domainEnglishFormat.kif 34267-34267	Public library is a subclass of library
(termFormat ChineseTraditionalLanguage Library "圖書館")	domainEnglishFormat.kif 34268-34268	Public library is a subclass of library
(termFormat ChineseLanguage Library "图书馆")	domainEnglishFormat.kif 34269-34269	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))))

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