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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeliefGroup

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 16593-16594
(subclass BeliefGroup GroupOfPeople) Merge.kif 16592-16592 信仰团体一群人subclass

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


(instance Agnosticism BeliefGroup) People.kif 687-687 不可知论信仰团体instance
(instance AhmadiyyaSect BeliefGroup) People.kif 1338-1338 Ahmadiyya教派信仰团体instance
(instance Anglicanism BeliefGroup) People.kif 1216-1216 英国国教信仰团体instance
(instance Antisemitism BeliefGroup) People.kif 1438-1438 反犹太主义信仰团体instance
(instance Atheism BeliefGroup) People.kif 706-706 无神论信仰团体instance
(instance Bahaism BeliefGroup) People.kif 749-749 巴哈主义信仰团体instance
(instance Buddhism BeliefGroup) People.kif 762-762 佛教信仰团体instance
(instance Christianity BeliefGroup) People.kif 774-774 基督教信仰团体instance
(instance Confucianism BeliefGroup) People.kif 1299-1299 信仰团体instance
(instance DruzeSect BeliefGroup) People.kif 1352-1352 德鲁兹教派信仰团体instance
(instance EasternOrthodoxChristianity BeliefGroup) People.kif 1238-1238 东正教基督教信仰团体instance
(instance Hinduism BeliefGroup) People.kif 1311-1311 印度教信仰团体instance
(instance Islam BeliefGroup) People.kif 1323-1323 伊斯兰教信仰团体instance
(instance Jainism BeliefGroup) People.kif 1402-1402 耆那教信仰团体instance
(instance Judaism BeliefGroup) People.kif 1417-1417 犹太教信仰团体instance
(instance Neopaganism BeliefGroup) People.kif 1448-1448 Neopaganism信仰团体instance
(instance Protestantism BeliefGroup) People.kif 1252-1252 新教信仰团体instance
(instance RomanCatholicism BeliefGroup) People.kif 1266-1266 罗马天主教信仰团体instance
(instance ShiiteSect BeliefGroup) People.kif 1367-1367 什叶派信仰团体instance
(instance Shinto BeliefGroup) People.kif 1463-1463 神道信仰团体instance
(instance Sikhism BeliefGroup) People.kif 1478-1478 锡克教信仰团体instance
(instance SunniSect BeliefGroup) People.kif 1386-1386 逊尼派信仰团体instance
(instance Taoism BeliefGroup) People.kif 1493-1493 道教信仰团体instance
(instance Zoroastrianism BeliefGroup) People.kif 1508-1508 拜火教信仰团体instance
(subclass AntiVaxxer BeliefGroup) Medicine.kif 3056-3056 AntiVaxxer信仰团体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 673-673 BeliefGroupMemberFn 的 1 数量 是 信仰团体instance
(domain beliefGroupPercentInRegion 1 BeliefGroup) People.kif 1525-1525 beliefGroupPercentInRegion 的 1 数量 是 信仰团体instance
(domain religiousAffiliationOfOrganization 2 BeliefGroup) Mid-level-ontology.kif 24154-24154 组织的宗教信仰 的 2 数量 是 信仰团体instance

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


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


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