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 22521-22521
(externalImage PlaceOfWorship "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Petersdom_von_Engelsburg_gesehen.jpg") pictureList.kif 2295-2295
(externalImage PlaceOfWorship "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Esztergom.bazilika.lights.jpg") pictureList.kif 2296-2296
(externalImage PlaceOfWorship "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Mahabodhitemple.jpg") pictureList.kif 2297-2297
(subclass PlaceOfWorship Building) Mid-level-ontology.kif 22520-22520 礼拜的场所建筑物subclass

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


(subclass ReligiousBuilding PlaceOfWorship) Mid-level-ontology.kif 7905-7905 宗教建筑礼拜的场所subclass
(termFormat ChineseLanguage PlaceOfWorship "礼拜的场所") domainEnglishFormat.kif 45984-45984
(termFormat ChineseTraditionalLanguage PlaceOfWorship "禮拜的場所") domainEnglishFormat.kif 45983-45983
(termFormat EnglishLanguage PlaceOfWorship "place of worship") domainEnglishFormat.kif 45982-45982

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


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


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