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 16768-16769
(subclass BeliefGroup GroupOfPeople) Merge.kif 16767-16767 BeliefGroup est une sous-classe de GroupOfPeople

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


(instance Agnosticism BeliefGroup) People.kif 687-687 Agnosticism est une instance de BeliefGroup
(instance AhmadiyyaSect BeliefGroup) People.kif 1339-1339 AhmadiyyaSect est une instance de BeliefGroup
(instance Anglicanism BeliefGroup) People.kif 1217-1217 Anglicanism est une instance de BeliefGroup
(instance Antisemitism BeliefGroup) People.kif 1439-1439 Antisemitism est une instance de BeliefGroup
(instance Atheism BeliefGroup) People.kif 706-706 Atheism est une instance de BeliefGroup
(instance Bahaism BeliefGroup) People.kif 749-749 Bahaism est une instance de BeliefGroup
(instance Buddhism BeliefGroup) People.kif 762-762 Buddhism est une instance de BeliefGroup
(instance Christianity BeliefGroup) People.kif 774-774 Christianity est une instance de BeliefGroup
(instance Confucianism BeliefGroup) People.kif 1300-1300 Confucianism est une instance de BeliefGroup
(instance DruzeSect BeliefGroup) People.kif 1353-1353 DruzeSect est une instance de BeliefGroup
(instance EasternOrthodoxChristianity BeliefGroup) People.kif 1239-1239 EasternOrthodoxChristianity est une instance de BeliefGroup
(instance Hinduism BeliefGroup) People.kif 1312-1312 Hinduism est une instance de BeliefGroup
(instance Islam BeliefGroup) People.kif 1324-1324 Islam est une instance de BeliefGroup
(instance Jainism BeliefGroup) People.kif 1403-1403 Jainism est une instance de BeliefGroup
(instance Judaism BeliefGroup) People.kif 1418-1418 Judaism est une instance de BeliefGroup
(instance Neopaganism BeliefGroup) People.kif 1449-1449 Neopaganism est une instance de BeliefGroup
(instance Protestantism BeliefGroup) People.kif 1253-1253 Protestantism est une instance de BeliefGroup
(instance RomanCatholicism BeliefGroup) People.kif 1267-1267 RomanCatholicism est une instance de BeliefGroup
(instance ShiiteSect BeliefGroup) People.kif 1368-1368 ShiiteSect est une instance de BeliefGroup
(instance Shinto BeliefGroup) People.kif 1464-1464 Shinto est une instance de BeliefGroup
(instance Sikhism BeliefGroup) People.kif 1479-1479 Sikhism est une instance de BeliefGroup
(instance SunniSect BeliefGroup) People.kif 1387-1387 SunniSect est une instance de BeliefGroup
(instance Taoism BeliefGroup) People.kif 1494-1494 Taoism est une instance de BeliefGroup
(instance Zoroastrianism BeliefGroup) People.kif 1509-1509 Zoroastrianism est une instance de BeliefGroup
(subclass AntiVaxxer BeliefGroup) Medicine.kif 3057-3057 AntiVaxxer est une sous-classe de 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 Le nombre 1 argument de BeliefGroupMemberFn est une instance de BeliefGroup
(domain beliefGroupPercentInRegion 1 BeliefGroup) People.kif 1526-1526 Le nombre 1 argument de beliefGroupPercentInRegion est une instance de BeliefGroup
(domain religiousAffiliationOfOrganization 2 BeliefGroup) Mid-level-ontology.kif 25800-25800 Le nombre 2 argument de religiousAffiliationOfOrganization est une instance de 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