Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BeliefGroup(belief group) |  | Adventism, Amish, Aristotelean, Aristotelian, Catholicism, Catholicity, Chartist, Confederate, Conservative, Dunkard, Dunker, Fabian, Huguenot, Islamist, Jansenist, Jehovah's_Witness, Jew-baiter, Luddite, Malthusian, Maoist, Mugwump, New_Waver, Newtonian, Nonconformist, Peripatetic, Platonist, Pre-Raphaelite, Rastafarian, Rastafarianism, Roundhead, Sabbatarian, Satanist, Second_Adventism, Seventh-Day_Adventism, Shavian, Stoic, Tantrist, Tory, Tractarian, Tunker, Utopian, Wesleyan, Zionist, abhorrer, abiogenist, abolitionist, absolutist, abstainer, activist, adherent... |
| appearance as argument number 1 |
|
|
| (subclass BeliefGroup GroupOfPeople) | Merge.kif 16949-16949 | Belief group is a subclass of group of people |
| (documentation BeliefGroup EnglishLanguage "A GroupOfPeople whose members share a belief or set of beliefs.") | Merge.kif 16950-16951 | Belief group is a subclass of group of people |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain religiousAffiliationOfOrganization 2 BeliefGroup) | Mid-level-ontology.kif 26437-26437 | The number 2 argument of religious affiliation of organization is an instance of belief group |
| (domain BeliefGroupMemberFn 1 BeliefGroup) | People.kif 707-707 | The number 1 argument of Belief group member fn is an instance of belief group |
| (domain beliefGroupPercentInRegion 1 BeliefGroup) | People.kif 1560-1560 | The number 1 argument of belief group percent in region is an instance of belief group |
| antecedent |
|
|
| (=> (instance ?GROUP BeliefGroup) (exists (?BELIEF) (forall (?MEMB) (=> (member ?MEMB ?GROUP) (believes ?MEMB ?BELIEF))))) |
Merge.kif 16953-16959 | If X is an instance of belief group, then there exists Y such that Z Z is a member of XZ believes Y |
|