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 16664-16665
(subclass BeliefGroup GroupOfPeople) Merge.kif 16663-16663 子類 信仰團體 and 一群人

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


(instance Agnosticism BeliefGroup) People.kif 687-687 不可知論 and 信仰團體
(instance AhmadiyyaSect BeliefGroup) People.kif 1338-1338 ahmadiyya教派 and 信仰團體
(instance Anglicanism BeliefGroup) People.kif 1216-1216 英國國教 and 信仰團體
(instance Antisemitism BeliefGroup) People.kif 1438-1438 反猶太主義 and 信仰團體
(instance Atheism BeliefGroup) People.kif 706-706 無神論 and 信仰團體
(instance Bahaism BeliefGroup) People.kif 749-749 巴哈主義 and 信仰團體
(instance Buddhism BeliefGroup) People.kif 762-762 佛教 and 信仰團體
(instance Christianity BeliefGroup) People.kif 774-774 基督教 and 信仰團體
(instance Confucianism BeliefGroup) People.kif 1299-1299 and 信仰團體
(instance DruzeSect BeliefGroup) People.kif 1352-1352 德魯茲教派 and 信仰團體
(instance EasternOrthodoxChristianity BeliefGroup) People.kif 1238-1238 東正教基督教 and 信仰團體
(instance Hinduism BeliefGroup) People.kif 1311-1311 印度教 and 信仰團體
(instance Islam BeliefGroup) People.kif 1323-1323 伊斯蘭教 and 信仰團體
(instance Jainism BeliefGroup) People.kif 1402-1402 耆那教 and 信仰團體
(instance Judaism BeliefGroup) People.kif 1417-1417 猶太教 and 信仰團體
(instance Neopaganism BeliefGroup) People.kif 1448-1448 neopaganism and 信仰團體
(instance Protestantism BeliefGroup) People.kif 1252-1252 新教 and 信仰團體
(instance RomanCatholicism BeliefGroup) People.kif 1266-1266 羅馬天主教 and 信仰團體
(instance ShiiteSect BeliefGroup) People.kif 1367-1367 什葉派 and 信仰團體
(instance Shinto BeliefGroup) People.kif 1463-1463 神道 and 信仰團體
(instance Sikhism BeliefGroup) People.kif 1478-1478 錫克教 and 信仰團體
(instance SunniSect BeliefGroup) People.kif 1386-1386 遜尼派 and 信仰團體
(instance Taoism BeliefGroup) People.kif 1493-1493 道教 and 信仰團體
(instance Zoroastrianism BeliefGroup) People.kif 1508-1508 拜火教 and 信仰團體
(subclass AntiVaxxer BeliefGroup) Medicine.kif 3056-3056 子類 AntiVaxxer and 信仰團體

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 and 信仰團體
(domain beliefGroupPercentInRegion 1 BeliefGroup) People.kif 1525-1525 beliefGroupPercentInRegion, 1 and 信仰團體
(domain religiousAffiliationOfOrganization 2 BeliefGroup) Mid-level-ontology.kif 24211-24211 組織的宗教信仰, 2 and 信仰團體

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


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


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