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。") 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 BeliefGroupGroupOfPeoplesubclass

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


(instance Agnosticism BeliefGroup) People.kif 689-689 AgnosticismBeliefGroupinstance
(instance Anglicanism BeliefGroup) People.kif 1218-1218 AnglicanismBeliefGroupinstance
(instance Antisemitism BeliefGroup) People.kif 1436-1436 AntisemitismBeliefGroupinstance
(instance Atheism BeliefGroup) People.kif 708-708 AtheismBeliefGroupinstance
(instance Bahaism BeliefGroup) People.kif 751-751 BahaismBeliefGroupinstance
(instance Buddhism BeliefGroup) People.kif 764-764 BuddhismBeliefGroupinstance
(instance Christianity BeliefGroup) People.kif 776-776 ChristianityBeliefGroupinstance
(instance Confucianism BeliefGroup) People.kif 1301-1301 ConfucianismBeliefGroupinstance
(instance EasternOrthodoxChristianity BeliefGroup) People.kif 1240-1240 EasternOrthodoxChristianityBeliefGroupinstance
(instance Hinduism BeliefGroup) People.kif 1313-1313 HinduismBeliefGroupinstance
(instance Islam BeliefGroup) People.kif 1325-1325 IslamBeliefGroupinstance
(instance Jainism BeliefGroup) People.kif 1400-1400 JainismBeliefGroupinstance
(instance Judaism BeliefGroup) People.kif 1415-1415 JudaismBeliefGroupinstance
(instance Neopaganism BeliefGroup) People.kif 1446-1446 NeopaganismBeliefGroupinstance
(instance Protestantism BeliefGroup) People.kif 1254-1254 ProtestantismBeliefGroupinstance
(instance RomanCathoicism BeliefGroup) People.kif 1268-1268 RomanCathoicismBeliefGroupinstance
(instance Shinto BeliefGroup) People.kif 1461-1461 ShintoBeliefGroupinstance
(instance Sikhism BeliefGroup) People.kif 1476-1476 SikhismBeliefGroupinstance
(instance Taoism BeliefGroup) People.kif 1491-1491 TaoismBeliefGroupinstance
(instance Zoroastrianism BeliefGroup) People.kif 1506-1506 ZoroastrianismBeliefGroupinstance
(subclass ReligiousOrganization BeliefGroup) Merge.kif 17012-17012 宗教机构BeliefGroupsubclass
(termFormat EnglishLanguage BeliefGroup "belief group") domainEnglishFormat.kif 2203-2203 termFormat EnglishLanguage, BeliefGroup and "belief group"

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


(domain BeliefGroupMemberFn 1 BeliefGroup) People.kif 675-675 BeliefGroupMemberFn 的 1 数量 是 BeliefGroupinstance
(domain beliefGroupPercentInRegion 1 BeliefGroup) People.kif 1523-1523 beliefGroupPercentInRegion 的 1 数量 是 BeliefGroupinstance
(domain religiousAffiliationOfOrganization 2 BeliefGroup) Mid-level-ontology.kif 21917-21917 religiousAffiliationOfOrganization 的 2 数量 是 BeliefGroupinstance

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


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


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