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。") chinese_format.kif 3719-3719
(documentation BeliefGroup EnglishLanguage "A GroupOfPeople whose members share a belief or set of beliefs.") Merge.kif 16664-16665
(subclass BeliefGroup GroupOfPeople) Merge.kif 16663-16663

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


(instance Agnosticism BeliefGroup) People.kif 687-687
(instance AhmadiyyaSect BeliefGroup) People.kif 1338-1338
(instance Anglicanism BeliefGroup) People.kif 1216-1216
(instance Antisemitism BeliefGroup) People.kif 1438-1438
(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 1299-1299
(instance DruzeSect BeliefGroup) People.kif 1352-1352
(instance EasternOrthodoxChristianity BeliefGroup) People.kif 1238-1238
(instance Hinduism BeliefGroup) People.kif 1311-1311
(instance Islam BeliefGroup) People.kif 1323-1323
(instance Jainism BeliefGroup) People.kif 1402-1402
(instance Judaism BeliefGroup) People.kif 1417-1417
(instance Neopaganism BeliefGroup) People.kif 1448-1448
(instance Protestantism BeliefGroup) People.kif 1252-1252
(instance RomanCatholicism BeliefGroup) People.kif 1266-1266
(instance ShiiteSect BeliefGroup) People.kif 1367-1367
(instance Shinto BeliefGroup) People.kif 1463-1463
(instance Sikhism BeliefGroup) People.kif 1478-1478
(instance SunniSect BeliefGroup) People.kif 1386-1386
(instance Taoism BeliefGroup) People.kif 1493-1493
(instance Zoroastrianism BeliefGroup) People.kif 1508-1508
(subclass AntiVaxxer BeliefGroup) Medicine.kif 3056-3056

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 1525-1525
(domain religiousAffiliationOfOrganization 2 BeliefGroup) Mid-level-ontology.kif 24211-24211

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


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


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