PlaceOfWorship - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PlaceOfWorship Building)	Mid-level-ontology.kif 24797-24797	Place of worship is a subclass of building
(documentation PlaceOfWorship EnglishLanguage "Any place designed for ReligiousProcesses.")	Mid-level-ontology.kif 24798-24798	Place of worship is a subclass of building
(externalImage PlaceOfWorship "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Petersdom_von_Engelsburg_gesehen.jpg")	pictureList.kif 2294-2294	Place of worship is a subclass of building
(externalImage PlaceOfWorship "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Esztergom.bazilika.lights.jpg")	pictureList.kif 2295-2295	Place of worship is a subclass of building
(externalImage PlaceOfWorship "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Mahabodhitemple.jpg")	pictureList.kif 2296-2296	Place of worship is a subclass of building

appearance as argument number 2

(subclass ReligiousBuilding PlaceOfWorship)	Mid-level-ontology.kif 9226-9226	Religious building is a subclass of place of worship
(termFormat EnglishLanguage PlaceOfWorship "place of worship")	domainEnglishFormat.kif 45977-45977	Religious building is a subclass of place of worship
(termFormat ChineseTraditionalLanguage PlaceOfWorship "禮拜的場所")	domainEnglishFormat.kif 45978-45978	Religious building is a subclass of place of worship
(termFormat ChineseLanguage PlaceOfWorship "礼拜的场所")	domainEnglishFormat.kif 45979-45979	Religious building is a subclass of place of worship

antecedent

(=>
    (instance ?X PlaceOfWorship)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV ReligiousProcess)
                (eventLocated ?EV ?X)))))

If X is an instance of place of worship, then X has the purpose there exists Y such that Y is an instance of religious process and Y is located at X