| 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 16593-16594 | |
| (subclass BeliefGroup GroupOfPeople) | Merge.kif 16592-16592 | BeliefGroup ist eine teilkategorie von GroupOfPeople |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain BeliefGroupMemberFn 1 BeliefGroup) | People.kif 673-673 | Die Zahl 1 Argument von BeliefGroupMemberFn ist ein fall von BeliefGroup %n{nicht} |
| (domain beliefGroupPercentInRegion 1 BeliefGroup) | People.kif 1525-1525 | Die Zahl 1 Argument von beliefGroupPercentInRegion ist ein fall von BeliefGroup %n{nicht} |
| (domain religiousAffiliationOfOrganization 2 BeliefGroup) | Mid-level-ontology.kif 24154-24154 | Die Zahl 2 Argument von religiousAffiliationOfOrganization ist ein fall von BeliefGroup %n{nicht} |
| antecedent |
|
|
| (=> (instance ?GROUP BeliefGroup) (exists (?BELIEF) (forall (?MEMB) (=> (member ?MEMB ?GROUP) (believes ?MEMB ?BELIEF))))) |
Merge.kif 16596-16602 |
|
|
|
|