| 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3719-3719 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16753-16754 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16752-16752 | Belief group is a subclass of group of people |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 687-687 | Agnosticism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1339-1339 | Ahmadiyya sect is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1217-1217 | Anglicanism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1439-1439 | Antisemitism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 706-706 | Atheism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 749-749 | Bahaism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 762-762 | Buddhism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 774-774 | Christianity is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1300-1300 | Confucianism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1353-1353 | Druze sect is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1239-1239 | Eastern orthodox christianity is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1312-1312 | Hinduism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1324-1324 | Islam is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1403-1403 | Jainism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1418-1418 | Judaism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1449-1449 | Neopaganism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1253-1253 | Protestantism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1267-1267 | Roman catholicism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1368-1368 | Shiite sect is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1464-1464 | Shinto is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1479-1479 | Sikhism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1387-1387 | Sunni sect is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1494-1494 | Taoism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1509-1509 | Zoroastrianism is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3057-3057 | Anti-vaxxer is a subclass of belief group |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 673-673 | The number 1 argument of Belief group member fn is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1526-1526 | The number 1 argument of belief group percent in region is an instance of belief group |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25819-25819 | The number 2 argument of religious affiliation of organization is an instance of belief group |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16756-16762 |
|
|
|
|