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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - PlaceOfWorship

appearance as argument number 1

(documentation PlaceOfWorship EnglishLanguage "Any place designed for ReligiousProcesses.") Mid-level-ontology.kif 22521-22521
(externalImage PlaceOfWorship " 1/ 15/ Petersdom_von_Engelsburg_gesehen.jpg") pictureList.kif 2295-2295
(externalImage PlaceOfWorship " 4/ 40/ Esztergom.bazilika.lights.jpg") pictureList.kif 2296-2296
(externalImage PlaceOfWorship " 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


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

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

Show without tree

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