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 21967-21967
(externalImage PlaceOfWorship " 1/ 15/ Petersdom_von_Engelsburg_gesehen.jpg") pictureList.kif 2296-2296
(externalImage PlaceOfWorship " 4/ 40/ Esztergom.bazilika.lights.jpg") pictureList.kif 2297-2297
(externalImage PlaceOfWorship " 4/ 4e/ Mahabodhitemple.jpg") pictureList.kif 2298-2298
(subclass PlaceOfWorship Building) Mid-level-ontology.kif 21966-21966

appearance as argument number 2

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


    (instance ?X PlaceOfWorship)
    (hasPurpose ?X
        (exists (?EV)
                (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