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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlaceOfWorship

Sigma KEE - PlaceOfWorship
PlaceOfWorship

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


(documentation PlaceOfWorship EnglishLanguage "Any place designed for ReligiousProcesses.") Mid-level-ontology.kif 22052-22052
(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 22051-22051

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


(subclass ReligiousBuilding PlaceOfWorship) Mid-level-ontology.kif 7620-7620
(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 22053-22059


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