TreeView Knowledge Base Browser - LibraryBuilding

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

LibraryBuilding

Sigma KEE - LibraryBuilding

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

(documentation LibraryBuilding EnglishLanguage "The location of a Library Organization. It is intended to house books that are shared.")	Mid-level-ontology.kif 9678-9679
(subclass LibraryBuilding Building)	Mid-level-ontology.kif 9677-9677	Library building is a subclass of building

appearance as argument number 2

(termFormat EnglishLanguage LibraryBuilding "library building")

domainEnglishFormat.kif 65106-65106

antecedent

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

Mid-level-ontology.kif 9681-9687

If a physical is an instance of library building,
then the physical has the purpose there exists an entity such that the entity is an instance of book and the physical is located at the entity

consequent

(=>
    (instance ?L Library)
    (exists (?B ?T)
        (and
            (possesses ?L ?B)
            (instance ?B LibraryBuilding)
            (instance ?T Text)
            (located ?T ?B))))

Mid-level-ontology.kif 9668-9675

If an agent is an instance of library,
then there exist an object and a physical such that the agent possesses the object and the object is an instance of library building and the physical is an instance of text and the physical is located at the object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners