BeliefGroup - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BeliefGroup ChineseLanguage "这是一群拥有共同信念 member 的 GroupOfPeople。")	chinese_format.kif 3719-3719
(documentation BeliefGroup EnglishLanguage "A GroupOfPeople whose members share a belief or set of beliefs.")	Merge.kif 16753-16754
(subclass BeliefGroup GroupOfPeople)	Merge.kif 16752-16752

appearance as argument number 2

(instance Agnosticism BeliefGroup)	People.kif 687-687
(instance AhmadiyyaSect BeliefGroup)	People.kif 1339-1339
(instance Anglicanism BeliefGroup)	People.kif 1217-1217
(instance Antisemitism BeliefGroup)	People.kif 1439-1439
(instance Atheism BeliefGroup)	People.kif 706-706
(instance Bahaism BeliefGroup)	People.kif 749-749
(instance Buddhism BeliefGroup)	People.kif 762-762
(instance Christianity BeliefGroup)	People.kif 774-774
(instance Confucianism BeliefGroup)	People.kif 1300-1300
(instance DruzeSect BeliefGroup)	People.kif 1353-1353
(instance EasternOrthodoxChristianity BeliefGroup)	People.kif 1239-1239
(instance Hinduism BeliefGroup)	People.kif 1312-1312
(instance Islam BeliefGroup)	People.kif 1324-1324
(instance Jainism BeliefGroup)	People.kif 1403-1403
(instance Judaism BeliefGroup)	People.kif 1418-1418
(instance Neopaganism BeliefGroup)	People.kif 1449-1449
(instance Protestantism BeliefGroup)	People.kif 1253-1253
(instance RomanCatholicism BeliefGroup)	People.kif 1267-1267
(instance ShiiteSect BeliefGroup)	People.kif 1368-1368
(instance Shinto BeliefGroup)	People.kif 1464-1464
(instance Sikhism BeliefGroup)	People.kif 1479-1479
(instance SunniSect BeliefGroup)	People.kif 1387-1387
(instance Taoism BeliefGroup)	People.kif 1494-1494
(instance Zoroastrianism BeliefGroup)	People.kif 1509-1509
(subclass AntiVaxxer BeliefGroup)	Medicine.kif 3057-3057

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
(domain beliefGroupPercentInRegion 1 BeliefGroup)	People.kif 1526-1526
(domain religiousAffiliationOfOrganization 2 BeliefGroup)	Mid-level-ontology.kif 25819-25819

antecedent

(=>
    (instance ?GROUP BeliefGroup)
    (exists (?BELIEF)
        (forall (?MEMB)
            (=>
                (member ?MEMB ?GROUP)
                (believes ?MEMB ?BELIEF)))))

Merge.kif 16756-16762

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

KB Term:			Term intersection

English Word: