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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeliefGroup
BeliefGroup(belief group)Adventism, Amish, Aristotelean, Aristotelian, Catholicism, Catholicity, Chartist, Confederate, Conservative, Dunkard, Dunker, Fabian, Huguenot, Islamist, Jansenist, Jehovah's_Witness, Jew-baiter, Luddite, Malthusian, Maoist, Mugwump, New_Waver, Newtonian, Nonconformist, Peripatetic, Platonist, Pre-Raphaelite, Rastafarian, Rastafarianism, Roundhead, Sabbatarian, Satanist, Second_Adventism, Seventh-Day_Adventism, Shavian, Stoic, Tantrist, Tory, Tractarian, Tunker, Utopian, Wesleyan, Zionist, abhorrer, abiogenist, abolitionist, absolutist, abstainer, activist, adherent...

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


(documentation BeliefGroup ChineseLanguage "这是一群拥有共同信念 memberGroupOfPeople。") Merge.kif 16846-16846
(documentation BeliefGroup EnglishLanguage "A GroupOfPeople whose members share a belief or set of beliefs.") Merge.kif 16844-16845
(subclass BeliefGroup GroupOfPeople) Merge.kif 16843-16843 Belief group is a subclass of group of people

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


(instance Agnosticism BeliefGroup) People.kif 689-689 Agnosticism is an instance of belief group
(instance Anglicanism BeliefGroup) People.kif 1218-1218 Anglicanism is an instance of belief group
(instance Antisemitism BeliefGroup) People.kif 1436-1436 Antisemitism is an instance of belief group
(instance Atheism BeliefGroup) People.kif 708-708 Atheism is an instance of belief group
(instance Bahaism BeliefGroup) People.kif 751-751 Bahaism is an instance of belief group
(instance Buddhism BeliefGroup) People.kif 764-764 Buddhism is an instance of belief group
(instance Christianity BeliefGroup) People.kif 776-776 Christianity is an instance of belief group
(instance Confucianism BeliefGroup) People.kif 1301-1301 Confucianism is an instance of belief group
(instance EasternOrthodoxChristianity BeliefGroup) People.kif 1240-1240 Eastern orthodox christianity is an instance of belief group
(instance Hinduism BeliefGroup) People.kif 1313-1313 Hinduism is an instance of belief group
(instance Islam BeliefGroup) People.kif 1325-1325 Islam is an instance of belief group
(instance Jainism BeliefGroup) People.kif 1400-1400 Jainism is an instance of belief group
(instance Judaism BeliefGroup) People.kif 1415-1415 Judaism is an instance of belief group
(instance Neopaganism BeliefGroup) People.kif 1446-1446 Neopaganism is an instance of belief group
(instance Protestantism BeliefGroup) People.kif 1254-1254 Protestantism is an instance of belief group
(instance RomanCathoicism BeliefGroup) People.kif 1268-1268 RomanCathoicism is an instance of belief group
(instance Shinto BeliefGroup) People.kif 1461-1461 Shinto is an instance of belief group
(instance Sikhism BeliefGroup) People.kif 1476-1476 Sikhism is an instance of belief group
(instance Taoism BeliefGroup) People.kif 1491-1491 Taoism is an instance of belief group
(instance Zoroastrianism BeliefGroup) People.kif 1506-1506 Zoroastrianism is an instance of belief group
(subclass ReligiousOrganization BeliefGroup) Merge.kif 17012-17012 Religious organization is a subclass of belief group
(termFormat EnglishLanguage BeliefGroup "belief group") domainEnglishFormat.kif 2203-2203 "belief group" is the printable form of belief group in english language

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


(domain BeliefGroupMemberFn 1 BeliefGroup) People.kif 675-675 The number 1 argument of BeliefGroupMemberFn is an instance of belief group
(domain beliefGroupPercentInRegion 1 BeliefGroup) People.kif 1523-1523 The number 1 argument of beliefGroupPercentInRegion is an instance of belief group
(domain religiousAffiliationOfOrganization 2 BeliefGroup) Mid-level-ontology.kif 21917-21917 The number 2 argument of religious affiliation of organization is an instance of belief group

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


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


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