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 782-783
(subclass ChristianService ReligiousService) People.kif 781-781

appearance as argument number 2

(termFormat ChineseLanguage ChristianService "基督徒服务") domainEnglishFormat.kif 14680-14680
(termFormat ChineseTraditionalLanguage ChristianService "基督徒服務") domainEnglishFormat.kif 14679-14679
(termFormat EnglishLanguage ChristianService "christian service") domainEnglishFormat.kif 14678-14678


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


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

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