LibraryBuilding - Sigma Knowledge base Browser

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	LibraryBuilding ist eine teilkategorie von Building

appearance as argument number 2

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

Wenn Physical ist ein fall von LibraryBuilding %n{nicht},
dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von Book %n{nicht} und ** Physical befindet sich an %n{nicht} %n{nicht}

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

Wenn AutonomousAgent ist ein fall von Library %n{nicht},
dann es gibt Object und Physical um ** AutonomousAgent besitzt ** Object %n{nicht} und ** Object ist ein fall von LibraryBuilding %n{nicht} und ** Physical ist ein fall von Text %n{nicht} und ** Physical befindet sich an %n{nicht}