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 BeliefGroupGroupOfPeoplesubclass では %n

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


(instance Agnosticism BeliefGroup) People.kif 687-687 AgnosticismBeliefGroupinstance では %n
(instance AhmadiyyaSect BeliefGroup) People.kif 1338-1338 AhmadiyyaSectBeliefGroupinstance では %n
(instance Anglicanism BeliefGroup) People.kif 1216-1216 AnglicanismBeliefGroupinstance では %n
(instance Antisemitism BeliefGroup) People.kif 1438-1438 AntisemitismBeliefGroupinstance では %n
(instance Atheism BeliefGroup) People.kif 706-706 AtheismBeliefGroupinstance では %n
(instance Bahaism BeliefGroup) People.kif 749-749 BahaismBeliefGroupinstance では %n
(instance Buddhism BeliefGroup) People.kif 762-762 BuddhismBeliefGroupinstance では %n
(instance Christianity BeliefGroup) People.kif 774-774 ChristianityBeliefGroupinstance では %n
(instance Confucianism BeliefGroup) People.kif 1299-1299 ConfucianismBeliefGroupinstance では %n
(instance DruzeSect BeliefGroup) People.kif 1352-1352 DruzeSectBeliefGroupinstance では %n
(instance EasternOrthodoxChristianity BeliefGroup) People.kif 1238-1238 EasternOrthodoxChristianityBeliefGroupinstance では %n
(instance Hinduism BeliefGroup) People.kif 1311-1311 HinduismBeliefGroupinstance では %n
(instance Islam BeliefGroup) People.kif 1323-1323 IslamBeliefGroupinstance では %n
(instance Jainism BeliefGroup) People.kif 1402-1402 JainismBeliefGroupinstance では %n
(instance Judaism BeliefGroup) People.kif 1417-1417 JudaismBeliefGroupinstance では %n
(instance Neopaganism BeliefGroup) People.kif 1448-1448 NeopaganismBeliefGroupinstance では %n
(instance Protestantism BeliefGroup) People.kif 1252-1252 ProtestantismBeliefGroupinstance では %n
(instance RomanCatholicism BeliefGroup) People.kif 1266-1266 RomanCatholicismBeliefGroupinstance では %n
(instance ShiiteSect BeliefGroup) People.kif 1367-1367 ShiiteSectBeliefGroupinstance では %n
(instance Shinto BeliefGroup) People.kif 1463-1463 ShintoBeliefGroupinstance では %n
(instance Sikhism BeliefGroup) People.kif 1478-1478 SikhismBeliefGroupinstance では %n
(instance SunniSect BeliefGroup) People.kif 1386-1386 SunniSectBeliefGroupinstance では %n
(instance Taoism BeliefGroup) People.kif 1493-1493 TaoismBeliefGroupinstance では %n
(instance Zoroastrianism BeliefGroup) People.kif 1508-1508 ZoroastrianismBeliefGroupinstance では %n
(subclass AntiVaxxer BeliefGroup) Medicine.kif 3056-3056 AntiVaxxerBeliefGroupsubclass では %n

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 BeliefGroupMemberFn の数値 1 引数は BeliefGroupinstance では %n
(domain beliefGroupPercentInRegion 1 BeliefGroup) People.kif 1525-1525 beliefGroupPercentInRegion の数値 1 引数は BeliefGroupinstance では %n
(domain religiousAffiliationOfOrganization 2 BeliefGroup) Mid-level-ontology.kif 24154-24154 religiousAffiliationOfOrganization の数値 2 引数は BeliefGroupinstance では %n

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