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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChristianService
ChristianService(christian service)Mass, christian_service, church, church_service, kerugma, kerygma, 基督徒服务, 基督徒服務

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


(documentation ChristianService EnglishLanguage "Any ReligiousService that is conducted by members of Christianity.") People.kif 782-783
(subclass ChristianService ReligiousService) People.kif 781-781 Christian service is a subclass of religious service

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


(termFormat ChineseLanguage ChristianService "基督徒服务") domainEnglishFormat.kif 14677-14677 "基督徒服务" is the printable form of christian service in ChineseLanguage
(termFormat ChineseTraditionalLanguage ChristianService "基督徒服務") domainEnglishFormat.kif 14676-14676 "基督徒服務" is the printable form of christian service in ChineseTraditionalLanguage
(termFormat EnglishLanguage ChristianService "christian service") domainEnglishFormat.kif 14675-14675 "christian service" is the printable form of christian service in english language

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


(=>
    (and
        (instance ?SERVICE ChristianService)
        (agent ?SERVICE ?PERSON)
        (instance ?PERSON Human))
    (member ?PERSON Christianity))
People.kif 785-790

consequent
-------------------------


(=>
    (instance ?C Church)
    (exists (?P ?CS)
        (and
            (instance ?CS ChristianService)
            (agent ?CS ?P)
            (member ?P ?C))))
People.kif 807-813


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners