BeliefGroup(信仰团体) | ![]() |
appearance as argument number 1 |
![]() |
(documentation BeliefGroup ChineseLanguage "这是一群拥有共同信念 member 的 GroupOfPeople。") | 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 | 信仰团体 是 一群人 的 subclass |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain BeliefGroupMemberFn 1 BeliefGroup) | People.kif 673-673 | BeliefGroupMemberFn 的 1 数量 是 信仰团体 的 instance |
(domain beliefGroupPercentInRegion 1 BeliefGroup) | People.kif 1526-1526 | beliefGroupPercentInRegion 的 1 数量 是 信仰团体 的 instance |
(domain religiousAffiliationOfOrganization 2 BeliefGroup) | Mid-level-ontology.kif 25800-25800 | 组织的宗教信仰 的 2 数量 是 信仰团体 的 instance |
antecedent |
![]() |
(=> (instance ?GROUP BeliefGroup) (exists (?BELIEF) (forall (?MEMB) (=> (member ?MEMB ?GROUP) (believes ?MEMB ?BELIEF))))) |
Merge.kif 16771-16777 |
![]() |
![]() |