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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeliefGroup
BeliefGroup(信仰团体)

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


(documentation BeliefGroup ChineseLanguage "这是一群拥有共同信念 memberGroupOfPeople。") chinese_format.kif 3719-3719
(documentation BeliefGroup EnglishLanguage "A GroupOfPeople whose members share a belief or set of beliefs.") Merge.kif 15466-15467
(subclass BeliefGroup GroupOfPeople) Merge.kif 15465-15465 信仰团体一群人subclass

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


(instance Agnosticism BeliefGroup) People.kif 689-689 不可知论信仰团体instance
(instance AhmadiyyaSect BeliefGroup) People.kif 1340-1340 Ahmadiyya教派信仰团体instance
(instance Anglicanism BeliefGroup) People.kif 1218-1218 英国国教信仰团体instance
(instance Antisemitism BeliefGroup) People.kif 1440-1440 反犹太主义信仰团体instance
(instance Atheism BeliefGroup) People.kif 708-708 无神论信仰团体instance
(instance Bahaism BeliefGroup) People.kif 751-751 巴哈主义信仰团体instance
(instance Buddhism BeliefGroup) People.kif 764-764 佛教信仰团体instance
(instance Christianity BeliefGroup) People.kif 776-776 基督教信仰团体instance
(instance Confucianism BeliefGroup) People.kif 1301-1301 信仰团体instance
(instance DruzeSect BeliefGroup) People.kif 1354-1354 德鲁兹教派信仰团体instance
(instance EasternOrthodoxChristianity BeliefGroup) People.kif 1240-1240 东正教基督教信仰团体instance
(instance Hinduism BeliefGroup) People.kif 1313-1313 印度教信仰团体instance
(instance Islam BeliefGroup) People.kif 1325-1325 伊斯兰教信仰团体instance
(instance Jainism BeliefGroup) People.kif 1404-1404 耆那教信仰团体instance
(instance Judaism BeliefGroup) People.kif 1419-1419 犹太教信仰团体instance
(instance Neopaganism BeliefGroup) People.kif 1450-1450 Neopaganism信仰团体instance
(instance Protestantism BeliefGroup) People.kif 1254-1254 新教信仰团体instance
(instance RomanCatholicism BeliefGroup) People.kif 1268-1268 罗马天主教信仰团体instance
(instance ShiiteSect BeliefGroup) People.kif 1369-1369 什叶派信仰团体instance
(instance Shinto BeliefGroup) People.kif 1465-1465 神道信仰团体instance
(instance Sikhism BeliefGroup) People.kif 1480-1480 锡克教信仰团体instance
(instance SunniSect BeliefGroup) People.kif 1388-1388 逊尼派信仰团体instance
(instance Taoism BeliefGroup) People.kif 1495-1495 道教信仰团体instance
(instance Zoroastrianism BeliefGroup) People.kif 1510-1510 拜火教信仰团体instance
(subclass ReligiousOrganization BeliefGroup) Merge.kif 15604-15604 宗教机构信仰团体subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain BeliefGroupMemberFn 1 BeliefGroup) People.kif 675-675 BeliefGroupMemberFn 的 1 数量 是 信仰团体instance
(domain beliefGroupPercentInRegion 1 BeliefGroup) People.kif 1527-1527 beliefGroupPercentInRegion 的 1 数量 是 信仰团体instance
(domain religiousAffiliationOfOrganization 2 BeliefGroup) Mid-level-ontology.kif 21961-21961 组织的宗教信仰 的 2 数量 是 信仰团体instance

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


(=>
    (instance ?GROUP BeliefGroup)
    (exists (?BELIEF)
        (forall (?MEMB)
            (=>
                (member ?MEMB ?GROUP)
                (believes ?MEMB ?BELIEF)))))
Merge.kif 15469-15475


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