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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ChristianService

appearance as argument number 1

(documentation ChristianService EnglishLanguage "Any ReligiousService that is conducted by members of Christianity.") People.kif 783-784
(subclass ChristianService ReligiousService) People.kif 782-782 基督徒服务宗教服务subclass

appearance as argument number 2

(termFormat ChineseLanguage ChristianService "基督徒服务") domainEnglishFormat.kif 14739-14739
(termFormat ChineseTraditionalLanguage ChristianService "基督徒服務") domainEnglishFormat.kif 14738-14738
(termFormat EnglishLanguage ChristianService "christian service") domainEnglishFormat.kif 14737-14737


        (instance ?SERVICE ChristianService)
        (agent ?SERVICE ?PERSON)
        (instance ?PERSON Human))
    (member ?PERSON Christianity))
People.kif 786-791


    (instance ?C Church)
    (exists (?P ?CS)
            (instance ?CS ChristianService)
            (agent ?CS ?P)
            (member ?P ?C))))
People.kif 808-814

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