Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlaceOfWorship
PlaceOfWorship(礼拜的场所)

appearance as argument number 1
-------------------------


(documentation PlaceOfWorship EnglishLanguage "Any place designed for ReligiousProcesses.") Mid-level-ontology.kif 21967-21967
(externalImage PlaceOfWorship "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Petersdom_von_Engelsburg_gesehen.jpg") pictureList.kif 2296-2296
(externalImage PlaceOfWorship "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Esztergom.bazilika.lights.jpg") pictureList.kif 2297-2297
(externalImage PlaceOfWorship "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Mahabodhitemple.jpg") pictureList.kif 2298-2298
(subclass PlaceOfWorship Building) Mid-level-ontology.kif 21966-21966 礼拜的场所建筑物subclass

appearance as argument number 2
-------------------------


(subclass ReligiousBuilding PlaceOfWorship) Mid-level-ontology.kif 7578-7578 宗教建筑礼拜的场所subclass
(termFormat ChineseLanguage PlaceOfWorship "礼拜的场所") domainEnglishFormat.kif 45967-45967
(termFormat ChineseTraditionalLanguage PlaceOfWorship "禮拜的場所") domainEnglishFormat.kif 45966-45966
(termFormat EnglishLanguage PlaceOfWorship "place of worship") domainEnglishFormat.kif 45965-45965

antecedent
-------------------------


(=>
    (instance ?X PlaceOfWorship)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV ReligiousProcess)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 21968-21974


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



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