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

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


(instance Agnosticism BeliefGroup) People.kif 689-689
(instance AhmadiyyaSect BeliefGroup) People.kif 1340-1340
(instance Anglicanism BeliefGroup) People.kif 1218-1218
(instance Antisemitism BeliefGroup) People.kif 1440-1440
(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 DruzeSect BeliefGroup) People.kif 1354-1354
(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 1404-1404
(instance Judaism BeliefGroup) People.kif 1419-1419
(instance Neopaganism BeliefGroup) People.kif 1450-1450
(instance Protestantism BeliefGroup) People.kif 1254-1254
(instance RomanCatholicism BeliefGroup) People.kif 1268-1268
(instance ShiiteSect BeliefGroup) People.kif 1369-1369
(instance Shinto BeliefGroup) People.kif 1465-1465
(instance Sikhism BeliefGroup) People.kif 1480-1480
(instance SunniSect BeliefGroup) People.kif 1388-1388
(instance Taoism BeliefGroup) People.kif 1495-1495
(instance Zoroastrianism BeliefGroup) People.kif 1510-1510
(subclass ReligiousOrganization BeliefGroup) Merge.kif 15592-15592

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 675-675
(domain beliefGroupPercentInRegion 1 BeliefGroup) People.kif 1527-1527
(domain religiousAffiliationOfOrganization 2 BeliefGroup) Mid-level-ontology.kif 21961-21961

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


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


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 3.0 is open source software produced by Articulate Software and its partners