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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BeliefGroup
BeliefGroupAdventism, 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 "这是一群拥有共同信念 member 的 GroupOfPeople。") chinese_format.kif 3719-3719
(documentation BeliefGroup EnglishLanguage "A GroupOfPeople whose members share a belief or set of beliefs.") Merge.kif 16768-16769
(subclass BeliefGroup GroupOfPeople) Merge.kif 16767-16767 BeliefGroup is a subclass of GroupOfPeople

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


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

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 The number 1 argument of BeliefGroupMemberFn is an instance of BeliefGroup
(domain beliefGroupPercentInRegion 1 BeliefGroup) People.kif 1526-1526 The number 1 argument of beliefGroupPercentInRegion is an instance of BeliefGroup
(domain religiousAffiliationOfOrganization 2 BeliefGroup) Mid-level-ontology.kif 25788-25788 The number 2 argument of religiousAffiliationOfOrganization is an instance of BeliefGroup

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


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


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