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 16593-16594
(subclass BeliefGroup GroupOfPeople) Merge.kif 16592-16592 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 1338-1338 AhmadiyyaSect est une instance de BeliefGroup
(instance Anglicanism BeliefGroup) People.kif 1216-1216 Anglicanism est une instance de BeliefGroup
(instance Antisemitism BeliefGroup) People.kif 1438-1438 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 1299-1299 Confucianism est une instance de BeliefGroup
(instance DruzeSect BeliefGroup) People.kif 1352-1352 DruzeSect est une instance de BeliefGroup
(instance EasternOrthodoxChristianity BeliefGroup) People.kif 1238-1238 EasternOrthodoxChristianity est une instance de BeliefGroup
(instance Hinduism BeliefGroup) People.kif 1311-1311 Hinduism est une instance de BeliefGroup
(instance Islam BeliefGroup) People.kif 1323-1323 Islam est une instance de BeliefGroup
(instance Jainism BeliefGroup) People.kif 1402-1402 Jainism est une instance de BeliefGroup
(instance Judaism BeliefGroup) People.kif 1417-1417 Judaism est une instance de BeliefGroup
(instance Neopaganism BeliefGroup) People.kif 1448-1448 Neopaganism est une instance de BeliefGroup
(instance Protestantism BeliefGroup) People.kif 1252-1252 Protestantism est une instance de BeliefGroup
(instance RomanCatholicism BeliefGroup) People.kif 1266-1266 RomanCatholicism est une instance de BeliefGroup
(instance ShiiteSect BeliefGroup) People.kif 1367-1367 ShiiteSect est une instance de BeliefGroup
(instance Shinto BeliefGroup) People.kif 1463-1463 Shinto est une instance de BeliefGroup
(instance Sikhism BeliefGroup) People.kif 1478-1478 Sikhism est une instance de BeliefGroup
(instance SunniSect BeliefGroup) People.kif 1386-1386 SunniSect est une instance de BeliefGroup
(instance Taoism BeliefGroup) People.kif 1493-1493 Taoism est une instance de BeliefGroup
(instance Zoroastrianism BeliefGroup) People.kif 1508-1508 Zoroastrianism est une instance de BeliefGroup
(subclass AntiVaxxer BeliefGroup) Medicine.kif 3056-3056 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 1525-1525 Le nombre 1 argument de beliefGroupPercentInRegion est une instance de BeliefGroup
(domain religiousAffiliationOfOrganization 2 BeliefGroup) Mid-level-ontology.kif 24154-24154 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 16596-16602


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