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。") Merge.kif 16794-16794
(documentation BeliefGroup EnglishLanguage "A GroupOfPeople whose members share a belief or set of beliefs.") Merge.kif 16792-16793
(subclass BeliefGroup GroupOfPeople) Merge.kif 16791-16791

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


(instance Agnosticism BeliefGroup) People.kif 689-689
(instance Anglicanism BeliefGroup) People.kif 1218-1218
(instance Antisemitism BeliefGroup) People.kif 1436-1436
(instance Atheism BeliefGroup) People.kif 708-708
(instance Bahaism BeliefGroup) People.kif 751-751
(instance Buddhism BeliefGroup) People.kif 764-764
(instance Christianity BeliefGroup) People.kif 776-776
(instance Confucianism BeliefGroup) People.kif 1301-1301
(instance EasternOrthodoxChristianity BeliefGroup) People.kif 1240-1240
(instance Hinduism BeliefGroup) People.kif 1313-1313
(instance Islam BeliefGroup) People.kif 1325-1325
(instance Jainism BeliefGroup) People.kif 1400-1400
(instance Judaism BeliefGroup) People.kif 1415-1415
(instance Neopaganism BeliefGroup) People.kif 1446-1446
(instance Protestantism BeliefGroup) People.kif 1254-1254
(instance RomanCathoicism BeliefGroup) People.kif 1268-1268
(instance Shinto BeliefGroup) People.kif 1461-1461
(instance Sikhism BeliefGroup) People.kif 1476-1476
(instance Taoism BeliefGroup) People.kif 1491-1491
(instance Zoroastrianism BeliefGroup) People.kif 1506-1506
(subclass ReligiousOrganization BeliefGroup) Merge.kif 16960-16960
(termFormat EnglishLanguage BeliefGroup "belief group") domainEnglishFormat.kif 2203-2203

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


(domain BeliefGroupMemberFn 1 BeliefGroup) People.kif 675-675
(domain beliefGroupPercentInRegion 1 BeliefGroup) People.kif 1523-1523
(domain religiousAffiliationOfOrganization 2 BeliefGroup) Mid-level-ontology.kif 21886-21886

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners