LibraryBuilding |
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 8504-8505 | |
(subclass LibraryBuilding Building) | Mid-level-ontology.kif 8503-8503 |
appearance as argument number 2 |
(termFormat EnglishLanguage LibraryBuilding "library building") | domainEnglishFormat.kif 65115-65115 |
antecedent |
(=> (instance ?L LibraryBuilding) (hasPurpose ?L (exists (?B) (and (instance ?B Book) (located ?L ?B))))) |
Mid-level-ontology.kif 8507-8513 |
consequent |
(=> (instance ?L Library) (exists (?B ?T) (and (possesses ?L ?B) (instance ?B LibraryBuilding) (instance ?T Text) (located ?T ?B)))) |
Mid-level-ontology.kif 8494-8501 |