TreeView Knowledge Base Browser

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

antecedent

(=>
    (instance ?L LibraryBuilding)
    (hasPurpose ?L
        (exists (?B)
            (and
                (instance ?B Book)
                (located ?L ?B)))))

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))))

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